Оглавление
Вычислительная логика
-
Определение и значение вычислительной логики
- Вычислительная логика – это использование логики для вычислений и обоснования.
- Она связана с информатикой и инженерным делом, аналогично математической логике и философской логике.
- Это альтернативный термин для “логики в информатике”.
-
Связь с логическим программированием
- Вычислительная логика ассоциируется с логическим программированием, особенно в связи с ранними работами в Эдинбурге в начале 1970-х.
- В 1990-х годах термин использовался для описания расширений логического программирования в рамках проекта Compulog.
-
Основание и распространение термина
- Кшиштоф Апт использовал термин для основания ACM Transactions on Computational Logic в 2000 году.
- Термин “вычислительная логика” был введен Дж. Робинсоном в 1970 году и получил широкое распространение после основания журнала.
-
Историческое использование термина
- Отделение метаматематики в Эдинбургском университете было переименовано в “Отделение вычислительной логики” в 1972 году.
- Роберт С. Бойер и Джей Стротер Мур использовали термин для описания верификации программ и автоматизированного мышления.
-
Дополнительные темы
- В статье также упоминаются логическое программирование, автоматизированное доказательство теоремы, теория типов и формальная проверка.
- В конце статьи есть рекомендации по дальнейшему чтению.
Полный текст статьи: