Логика в информатике — Википедия
Логика в информатике Логика играет фундаментальную роль в информатике, разделяясь на три основные области. Ключевые области логики включают теорию вычислимости, […]
Вики
Логика в информатике
Вики
Интуиционистская логика — Википедия
Интуитивистская логика Интуиционистская логика основана на принципе исключенного третьего и избегает неконструктивных доказательств. Интуиционистская логика является более консервативной, чем классическая
Вики
Семантика (информатика) — Википедия
Семантика (информатика) Семантика в теории языков программирования является строгим математическим исследованием значений языков программирования. Семантика тесно связана с семантикой математических