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