Вычислительная логика

Оглавление1 Вычислительная логика1.1 Определение и значение вычислительной логики1.2 Связь с логическим программированием1.3 Основание и распространение термина1.4 Историческое использование термина1.5 Дополнительные […]

Вычислительная логика

  • Определение и значение вычислительной логики

    • Вычислительная логика – это использование логики для вычислений и обоснования. 
    • Она связана с информатикой и инженерным делом, аналогично математической логике и философской логике. 
    • Это альтернативный термин для “логики в информатике”. 
  • Связь с логическим программированием

    • Вычислительная логика ассоциируется с логическим программированием, особенно в связи с ранними работами в Эдинбурге в начале 1970-х. 
    • В 1990-х годах термин использовался для описания расширений логического программирования в рамках проекта Compulog. 
  • Основание и распространение термина

    • Кшиштоф Апт использовал термин для основания ACM Transactions on Computational Logic в 2000 году. 
    • Термин “вычислительная логика” был введен Дж. Робинсоном в 1970 году и получил широкое распространение после основания журнала. 
  • Историческое использование термина

    • Отделение метаматематики в Эдинбургском университете было переименовано в “Отделение вычислительной логики” в 1972 году. 
    • Роберт С. Бойер и Джей Стротер Мур использовали термин для описания верификации программ и автоматизированного мышления. 
  • Дополнительные темы

    • В статье также упоминаются логическое программирование, автоматизированное доказательство теоремы, теория типов и формальная проверка. 
    • В конце статьи есть рекомендации по дальнейшему чтению. 

Полный текст статьи:

Вычислительная логика — Википедия

Оставьте комментарий

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