MexMat.Net
DMVN Logo
Меню
Главная
Поиск
О проекте
Control Panel
Алгебра
Анализ
Геометрия/Топология
Логика/Дискра
Механика
ОДУ/УрЧП
Оптимальное управление
ТеорВер/МатСтат
Теория чисел
Физика
ЧМ/Программирование
Курсы ЕНС
Нематематика
TeX/MetaPost
Книги
Ссылки
Wanted
Яндекс цитирования
Логика/Дискра
[2]Контрольная работа по математической логике. Преподаватель Угольников А. Б.
Судя по всему, условия задач этой контрольной хранятся на кафедре дискретной математики с момента её основания. По крайней мере, в 2003 году контрольная была такой же. Как мы видим, за два года ничего не изменилось. Документ набран и прислан нам П. Рахмоновым, за что ему спасибо. Исправлены замеченные опечатки, за что спасибо Борису Агафонцеву.
PostScript (165 Кб) — 9 июня 2007 года. PDF (42 Кб) — 9 июня 2007 года.
[2]Лекции по математической логике. Лектор Успенский В. А.
Новая версия лекций (under construction). Процесс остановлен, ибо времени нет. Доработка приветствуется.
PostScript (387 Кб) — 27 января 2006 года. PDF (210 Кб) — 27 января 2006 года.
[2]Лекции по математической логике. Лектор Лупанов О. Б.
Это результат переработки лекций, размещённых на www.vilenin.narod.ru. Переработка состояла в исправлении опечаток и неточностей, уточнении некоторых определений, улучшении и упрощении доказательств. Заново сделаны все иллюстрации. Кроме того, документ свёрстан более компактно, за счёт чего его объём уменьшился примерно в два раза.
PostScript (409 Кб) — 27 января 2006 года. PDF (320 Кб) — 27 января 2006 года.
[2]Программа экзамена по математической логике. Лектор Лупанов О. Б.
Программа экзамена 2005 года.
PostScript (117 Кб) — 28 октября 2005 года. PDF (34 Кб) — 28 октября 2005 года.
[2]Программа экзамена по математической логике. Лектор Успенский В. А.
Весьма полная и подробная программа экзамена 2003 года, а также билеты к экзамену 2004 года.
PostScript (203 Кб) — 27 октября 2005 года. PDF (87 Кб) — 28 октября 2005 года.
[2]Лекции по математической логике. Лектор Успенский В. А.
Материал взят с (ныне покойного) сайта http://www.mmat.narod.ru. К сожалению, исходники погибли, поэтому PostScript-версии нет.
PDF (277 Кб) — 2 марта 2005 года.


Copyright © 2003–2008, DMVN. All rights reserved.