Математическая логика и теория алгоритмов осень Лектор — асс. Мусатов Видеолекции осень Конспекты лекций выкладываются по мере написания 1. Пропозициональные формулы и булевы функции Исчисление высказываний и теорема о компактности обновлено Формальные языки Решения избранных задач 2. Пропозициональные формулы Решения избранных задач Классы булевых функций Решения избранных задач 5. Исчисление высказываний Решения избранных задач 6. Теорема о компактности для исчисления высказываний 7. Формулы первого порядка 8. Выразимость предикатов Контрольные Задачи для подготовки к первой контрольной Первая контрольная Задачи для подготовки ко второй и третьей контрольным Вторая контрольная Третья контрольная Задачи для подготовки к четвёртой и пятой контрольным. Сайт работает на WordPress.
Верхнее меню Абитуриентам Студентам Аспирантам Защиты диссертаций Контакты F. Механико-математический факультет МГУ имени М. Новости История Структура Учебный процесс Наука Ссылки Сервисы. Структура Сотрудники Администрация Отделение математики Отделение механики Учебно-методический совет по математике и механике Отделение магистерского и дополнительного образования Общеуниверситетские подготовительные курсы МГУ Отдел прикладных исследований Малый мехмат Профком Студенческие организации Служба содействия трудоустройству. Навигация Карта сайта Обратная связь. Кафедра Математической логики и теории алгоритмов. Заведующий кафедрой Успенский Владимир Андреевич Ученый секретарь Золин Евгений Евгеньевич Почтовый адрес:
Результаты жилищной лотереи 0239
https://gist.github.com/3a65f689dd98ba36e6968a599c1f03c1
https://gist.github.com/d48c081511457bf2022f952ebccac2a2