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