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

Практика 1. Логика высказываний. Логическое следствие.
Группа 1:  https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EYfiMgYN5X9DnikKN1hlGREBBt7qZMHVqhowZA_fQU-qvg?e=UA5zG7 
Группа 2:  https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/Efw1b__EV2FLjm4DPzatBW0BX_gB8_zULNirOIgo8TsdAg?e=vkmfTW 

Практика 2. Логическое следствие. Нормальные и минимальные формы.
Группа 1: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/Ef6_Ri168RNFlWBeucc_sQwBUH-SWhevfb2_YT24W9Y8Nw?e=faPgUN
Группа 2: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EfolO_UtYLNPt-f98jG9z7gBm1pKevC_brVBNCTdKWqq6g?e=dgyHGY

Практика 3. Контактные схемы.
Группа 1:  https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EQUIk7nYReNKhoV1SKF9lWYBQJbxorlZ-NHqNFhMR0qSdw?e=cK0Kan
Группа 2:  https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/ESTXvUGppaNAlm6386UQIvMBss4cz2l-AuVRWaFv7e1thg?e=ddHvzA

Практика 4. Метод резолюций в ЛВ.
Группа 1:  https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/Ed5FdPkufWtFgsbrEVUE68wBoZQNELpl4XqGTMInDk-SgQ?e=KCu9lo
Группа 2:  https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/ETSyGXQmXwNOvo5INzwUkGEBFtY6OzAnA1vfS_VWw4qGiQ?e=YsT9sL

Практика 5. Булевы функции.
Группа 1:  https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/ERVOayqYLspPgvbU_ownB8cBrP0lnc1BHH_qr_KXOWfVdA?e=rj7qoh
Группа 2: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EWj22b-puB5JpCmTHWe4_NIBnNkouxEvq-hrlFw1DQfFwA?e=v0wSV2

Практика 6. Автоматы. Понятие автомата. Приведенный (минимальный автомат)
Группа 1:  https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EeEZ8n2Mfq5JrTvPxiLF1dUBDyB2wKDQS_lM5fO66K4noQ?e=HXmgcI 
Группа 2:  https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/ETn8PopGOXhFmip6_EXlSA8B-ID5jvGhOnyGol4qHPXo_Q?e=vx33oQ 

Практика 7. Автоматы. Регулярные языки. Теорема Клини.
Группа 1: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/ERAnZEQyX_RFoDa4zzuRgAcBA02fgTTu-2R_dHNrEbnDBQ?e=BPfmdK 
Группа 2: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EQxPtxU6gOJAnyl3_pAqt6AB8D40AGg-HlRPtWCpBGDBEw?e=UI53vY 

Практики 8,9. Исчисление высказываний.
Группа 1: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EdysbWfem6pFpXSiPy_gTgQBTLKxzDY-WDgeQIYqn-dzxQ?e=Y9VZcW 
Группа 2: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EYz9ixbt3TRJrZFrGSyxQucBMnrNRsH3EbAZLP4Yi9k_Bw?e=h28hpF 

Практика 10. Предикаты (определение). Интерпретация на модели. Равносильность.
Группа 1: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/ETX9W4Gi-bJMla06ZGxCUx8B_xTElZPY8nW4ZotrykvhKw?e=kqtuaw 
Группа 2: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EbAKHcLUlidNqteuQmz-SkkBCn3gsqfOEdHbkNVG_LtajQ?e=qJ1dk9 

Практика 11. Предикаты.Равносильн.Нормальные формы логики предикатов.
Группа 1: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EYrmyB9ePohGh4U31tPw8JABNtOI9zy7tXawsPrzWjhvnw?e=tgbl3q 
Группа 2: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/ESKoIO68PppDmq9_XbdnLn4Bl10ORi9xauE1df-QRkEUNA?e=vD4TSe 

Практика 12. Предикаты.Нормальные формы логики предикатов. Логическое следствие.
Группа 1:  https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/Ee4L7AiavdVEkIlYKaQoaTABbOPy9GrRHsmclzDbG67gzA?e=fzf7pw 
Группа 2: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/ETw1cIQPJc1Isfqleawe1f8BTWLwmwQVZFsJye9IVg-moQ?e=BODzFe 

Практика 13. Метод резолюций в ЛП.
Группа 1: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EU6GblyY0f5BueRDmzhXlQIBOoDqk0_rfAWk-CF3ZHbSlA?e=YLXcZD 
Группа 2: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EfqkQ0qM_9tGrx6w-t24vGIB9lbhln4mCtsw3s2ZTn_S-A?e=m6XBao 

Практика 14. Предикаты: выполнимость,I.
Группа 1: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/Ed_rlA5CeVBBnWfL1NRutP8Bo9MW00lK9m7E5TLk8nL3qg?e=t7uKSM 
Группа 2: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/ERbPoCPxXY5HkVztgUaLUKgBlUrRwrDPJSvLMkDcbvOU3Q?e=xoZj1V 

Практика 15. Предикаты: выполнимость,II.
Группа 1: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EZuRrP9mDEtPse87jKTxNFwBeRoOHpmHkNcO1Ha6erF30g?e=NiLEH5 
Группа 2: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EQu6lQwIFWBLsyd7cPnUkXwBF4yiFX9jKnS2hffTgfvx8g?e=OsUOAJ 

Практика 15(2). Резерв. Исчисление предикатов.
Группа 1: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/Ec-aN42UooBCnJgveBjpn4wBFdf_g5TSG4-6ccNwZ5TPeg?e=F2eUgm 
Группа 2: https://urfume-my.sharepoint.com/:p:/g/personal/i_v_nagrebetckaia_urfu_me/EQnyKexKr6hJk0lY3aFQ68IByNABOgZhapCLKwVxjZtlMQ?e=vE0a6Q 

Практика 16. Автоматы. Моноид автомата. Синхронизируемые автоматы. Трансдьюсеры.

Практика 17. Автоматы. Автомат Ахо-Корасик. Построение по словарю и антисловарю.