Материалы
2-ой коллоквиум
Коллоквиум пройдет 7 июня. Второй курс: начало в 14:50, третий курс: начало в 16:20. Более точное распределение будет разослано позже.
Примеры задач, которые могут быть на коллоквиуме. Кроме того, в подготовке можно использовать семинарские задачи из задачи из Листка 3.
Зачетные листки
Срок: 27 мая 2022
Листок №3 с задачами по темам "Теория алгоритмов, логика предикатов".
Правила сдачи листка:
Каждый студент приписан к своему принимающему. Своего принимающего и его контакты можно найти в таблице по адресу: https://docs.google.com/spreadsheets/d/14z68fZRUb2GxyzT188pvGtwQUxIbrBNBTGKxYh8QHCE/edit#gid=1892283936
Обратите внимание, что надо смотреть именно распределение на 3ий листок, т.к. оно поменялось по сравнению со 2ым.
Первые две задачи индивидуальны и инструкция по скачиванию размещена на странице http://hselogic.pythonanywhere.com/
Сданные задачи можно будет посмотреть по адресу: http://hselogic.pythonanywhere.com/
Срок: 09 апреля 2022
Листок №2 с задачами по теме "Теория множеств".
Правила сдачи листка:
Каждый студент приписан к своему принимающему. Своего принимающего и его контакты можно найти в таблице по адресу: https://docs.google.com/spreadsheets/d/14z68fZRUb2GxyzT188pvGtwQUxIbrBNBTGKxYh8QHCE/edit#gid=1892283936
Обратите внимание, что надо смотреть именно распределение на 2ой листок, т.к. оно поменялось по сравнению с 1вым.
Сданные задачи можно будет посмотреть по адресу: http://hselogic.pythonanywhere.com/
Срок: 03 марта 2022
Листок №1 с задачами по теме "Теория множеств".
Правила сдачи листка:
Каждый студент приписан к своему принимающему. Своего принимающего и его контакты можно найти в таблице по адресу: https://docs.google.com/spreadsheets/d/14z68fZRUb2GxyzT188pvGtwQUxIbrBNBTGKxYh8QHCE
Принимающие будут меняться от листка к листку, так что следите за таблицей.
Сданные задачи можно будет посмотреть по адресу: http://hselogic.pythonanywhere.com/
Материалы семинарских занятий
sem1.pdfТеория множеств I
sem2.pdfТеория множеств II
sem3.pdfТеория множеств III
sem4.pdfТеория множеств IV
Теория моделей
1-ый коллоквиум
Коллоквиум будет во время весенней сессии и будет проходить очно, (точное время и аудиторию смотрите в расписании). Вопросы к коллоквиуму. Точные правила мы опубликуем здесь чуть позже.