Разделы математической логики — различия между версиями
Материал из НГПУ им. К.Минина
(не показана одна промежуточная версия этого же участника) | |||
Строка 1: | Строка 1: | ||
[[Алгебра логики]] | [[Алгебра логики]] | ||
+ | |||
[[Логика высказываний]] | [[Логика высказываний]] | ||
+ | |||
+ | [[Теория доказательств]] | ||
+ | |||
+ | [[Теория моделей]] |