Конспект лекций по математической логике (2 глава)
Шлык В.А.
Конспект лекций по математической логике. - Минск, БГПУ им. М. Танка, 2004, 10 с.
Понятие формальной аксиоматической теории
Понятия формальной выводимости и формального доказательства
Определение формальной аксиоматической теории L логики высказываний
Теорема дедукции
Полнота исчисления высказываний
Непротиворечивость исчисления высказываний
Независимость системы аксиом теории L
Понятие формальной аксиоматической теории
Понятия формальной выводимости и формального доказательства
Определение формальной аксиоматической теории L логики высказываний
Теорема дедукции
Полнота исчисления высказываний
Непротиворечивость исчисления высказываний
Независимость системы аксиом теории L
Litres
ต้องการเพิ่มร้านหนังสือ? ติดต่อเราได้ที่ support@z-lib.do
สามารถแปลงไฟล์ได้
ผลการค้นหาเพิ่มเติม
สิทธิประโยชน์อื่นๆ 
