Лисп (язык программирования)

Вики

ACL2

ACL2 Обзор ACL2 ACL2 — это программная система для автоматизированных рассуждений в индуктивных логических теориях.  Язык программирования ACL2 является прикладной […]

Вики

Общая объектная система Lisp

Объектная система Common Lisp Обзор объектной системы Common Lisp (CLOS) CLOS — это стандарт объектно-ориентированного программирования для Common Lisp, разработанный

Вики

Символика

Символика История Symbolics Symbolics была основана в 1960 году и стала лидером в области Lisp-машин.  Компания разработала первый коммерческий Lisp-процессор

Вики

Лисп-машина

Шепелявящая машина История и развитие Лисп-машин Лисп-машины были персональными компьютерами, разработанными для работы с языком программирования Лисп.  Они использовались для

Вики

ИИ зима

Искусственный интеллект зимой История искусственного интеллекта Искусственный интеллект (ИИ) — это область исследований, которая стремится создать машины, способные выполнять задачи,

Вики

ACL2

ACL2 Обзор ACL2 ACL2 — это программная система для автоматизированных рассуждений в индуктивных логических теориях.  Язык программирования ACL2 является прикладной

Вики

Интерлисп

Интерлисп История Interlisp Interlisp основан на языке программирования Lisp и разработан в 1966 году.  В 1970 году BBN LISP внедрен

Вики

Хэл Абельсон

Хэл Абельсон Профессиональная карьера Гарольда Абельсона Американский математик и специалист в области информатики  Профессор компьютерных наук и инженерии в MIT 

Вики

S-выражение

S-выражение Определение и использование S-выражений S-выражения — это язык программирования, используемый для представления данных и программ в Лиспе.  Они состоят

Прокрутить вверх