Ссылки на презентации в One-Drive. Доступны для редактирования

ЗАНЯТИЕ 1. Логика высказываний (ЛВ). Интерпретация. Равносильность.
https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EfXrS41AR-xNkX2Lawl7rBoBFG0wI2YwTXj2mmCEX7TBVA?e=5H67Jr 

ЗАНЯТИЕ 2.  Логическое следствие в ЛВ.
https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/ERNXZK7JhG5DqOtzbT5PtisBJsXlWOemncR2lZh9D9MHYw?e=gEgcVD 

ЗАНЯТИЕ 3.  Нормальные и минимальные формы в ЛВ.
https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/ESrG_LOJMk5HqyWq6cEdEGkBRe97fUPqxM2U3dgG4gZQiw?e=eaGu4d 

ЗАНЯТИЕ 4.  Контактные схемы.
https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EfbpMzc6SV1OkD9cGY7oSyUBwt9zr7lV_8zOpPJgVcDDfg?e=X4cbBa 

ЗАНЯТИЕ 5.  Метод резолюций в ЛВ.
https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EX6e0I4kCTBOmgMnc3pZ_1UBHt9-FlW0AtVSqo_xTNuedg?e=ps8bgl 

ЗАНЯТИЕ 6.  Булевы функции.
https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EUMRBl_fbxNFrn5dpBiOLxsBXZ3v5cZkbOGgFl9NS6OxAw?e=6cdgYr 

ЗАНЯТИЕ 7.  Предикаты, основные понятия.
https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EfRmaSDBObtJoa0T_Y9sjRoBF8hR7UnEROpK8qx4Fw6vIw?e=yfGq61 

ЗАНЯТИЕ 8. Предикаты, Равносильность. Интерпретация.
https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EXaCVFGjVdBBsYhXL3b9cY8BCK5ZlSceo2Wye4ke5SJk3A?e=WjRfLk 

ЗАНЯТИЕ 9.  Предикаты, нормальные формы. Логическое следствие.
https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EbBZGVT2P1hNoXQ25Bc4DqcBmpaJ7xc28UxmrhWQIWHPqA?e=BbtMae

ЗАНЯТИЕ 10,11. Метод резолюций в логике предикатов.
https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EbOOXkDuSvpLogq8GWMN5SIB16e9lcEs63rYK_BCFKb83g?e=bc3FJn 

ЗАНЯТИЕ 12. Выполнимость в логике предикатов.
https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EU0c5qHchepEgPvysX5zJoABg8rCxiuW81Y-vvQXNADY9A?e=ApR57H 
ЗАНЯТИЯ 13,14.  Аксиоматический метод в логике высказываний (Исчисление высказываний).
https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EQ-zxgpjX4pGi7YUELNsok0BOFgKolwH16bjxyprloSKsw?e=cdqvcN 

ЗАНЯТИЕ 15.  Аксиоматический метод в логике предикатов (Исчисление предикатов).

https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EdYQvW_BuadDmdq8U0an2zAB6fimA6GRSC2VfaglB_bvMg?e=vJ4FCc