Категория:Логика в информатике

Логика в информатике (или вычислительная логика) - это та отрасль математической логики, которая примерно находится на пересечении математической логики и информатики. Содержит:

Те исследования логики, которые опираются на приложения в информатике. Например:

Рерайтинг системы, Комбинаторная логика и Абстрактная интерпретация;

Фундаментальные понятия в информатике, естественно выражаемые в логической форме. Например:

Теория типов (используется в системы типов), Формальная семантика языков программирования, Логика Хоара, и Логическое программирование;

Приложения фундаментальных понятий, полученных из теории вычислений, которые проливают свет на вопросы чистой логики. Например:

Переписка Карри-Говарда и Игровая семантика;

Инструменты для логиков рассматриваются как прикладная информатика. Например:

Автоматическое доказательство теоремы и Проверка модели.

См. Также: Категория: Теория конечных моделей

99 str.