Конспект лекций по математической логике (2 глава)
Шлык В.А.
Конспект лекций по математической логике. - Минск, БГПУ им. М. Танка, 2004, 10 с.
Понятие формальной аксиоматической теории
Понятия формальной выводимости и формального доказательства
Определение формальной аксиоматической теории L логики высказываний
Теорема дедукции
Полнота исчисления высказываний
Непротиворечивость исчисления высказываний
Независимость системы аксиом теории L
Понятие формальной аксиоматической теории
Понятия формальной выводимости и формального доказательства
Определение формальной аксиоматической теории L логики высказываний
Теорема дедукции
Полнота исчисления высказываний
Непротиворечивость исчисления высказываний
Независимость системы аксиом теории L
Litres
Hendak menambah kedai buku? Hubungi kami di support@z-lib.do
Tukar fail
Lebih banyak hasil carian
Faedah lain 
