LISP, КАК АЛЬТЕРНАТИВА ДЛЯ WEB-РАЗРАБОТКИ
Journal Title: Інформаційні технології в моделюванні - Year 2016, Vol 0, Issue
Abstract
В 1930 году математики пытались осознать и проанализировать, такое понятие, как вычислимость. Вскоре было создано λ-исчисление. Прошло около 30 лет. Начались работы в области создания искусственного интеллекта. В это время Джон Маккарти работая в MTI, разрабатывал Lisp, взяв за основу IPL, предназначавшийся для реализации ИИ. Данная разработка должна была предоставить возможность ИИ автоматически пользоваться теоремами математической логики. Первая версия интерпретатора Lisp работала на IBM 704.
Authors and Affiliations
Є. М. Купрін
Keywords
Related Articles
- EP ID EP434114
- DOI -
- Views 67
- Downloads 0
ОТ ТЕОРЕМЫ ФАЛЕСА ДО КЛАССИЧЕСКОЙ МЕХАНИКИ
Многие изящные задачи аффинной геометрии эффективно решаются с применением теорем Фалеса, Чевы, Менелая и принципов геометрии масс. Эти теоремы обычно применяются тогда, когда в задаче рассматриваются отношения отрезков....
СПЕЦИФИКАЦИЯ РАЗРАБОТКИ МОДЕЛИ СЕРВИСА КОНСТРУИРОВАНИЯ И ПУБЛИКАЦИИ ИНТЕРАКТИВНОЙ БАННЕРНОЙ ВИДЕОРЕКЛАМЫ
На сегодняшний день многие рекламные агентства делают ставку на видео-формат рекламы. Видеореклама давно вышла из-за пределов обычного ТВ и распространяется в сети всё шире. Многие рекламодатели желают приобрести самую и...
КОМПЛЕКСНЕ МОДЕЛЮВАННЯ МЕРЕЖЕВОЇ ФОТОЕЛЕКТРИЧНОЇ СИСТЕМИ
Запропоновано структурну схему корегування потужності нічного акумулювання електричної енергії щодо зменшення тарифів за споживання у складі мережевої фотоелектричної системи, що має наступні складові: сонячні панелі, ме...
АНАЛІЗ НАВІГАЦІЙНИХ СИСТЕМ АВТОНОМНИХ МОБІЛЬНИХ РОБОТІВ
Бостонська дослідницька компанія в рамках глобального дослідження ринку робототехніки прогнозує, що до 2025 року щорічні темпи його зростання на 10,4%.
АЛЬТЕРНАТИВНІ ПОШУКОВІ СИСТЕМИ В НАУКОВІЙ ДІЯЛЬНОСТІ
У сучасному світі розвинутих технологій Інтернет відіграє важливу роль в житті кожної людини. Велика кількість інформації, висока швидкість життєвих процесів і постійне зростання вимог що пред'являються до загального рів...