Языки и исчисления
Языки первого порядка
Формулы и интерпретации
Формулы и интерпретации - 2
Формулы и интерпретации - 3
Формулы и интерпретации - 4
Определение истинности
Определение истинности - 2
Определение истинности - 3
Выразимые предикаты
Содержание
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий