MexMat.Net DMVN Logo
Меню
Фильтр
Яндекс цитирования Valid XHTML 1.0!
Логика/Дискра
[2]Контрольная работа по математической логике. Преподаватель Угольников А. Б.
Судя по всему, условия задач этой контрольной хранятся на кафедре дискретной математики с момента её основания. По крайней мере, в 2003 году контрольная была такой же. Как мы видим, за два года ничего не изменилось. Документ набран и прислан нам П. Рахмоновым, за что ему спасибо. Исправлены замеченные опечатки, за что спасибо Борису Агафонцеву.
PostScript 165K — 09.06.2007 PDF 42K — 09.06.2007 
[2]Лекции по математической логике. Лектор Успенский В. А.
Новая версия лекций (under construction). Процесс остановлен, ибо времени нет. Доработка приветствуется.
PostScript 387K — 27.01.2006 PDF 210K — 27.01.2006 
[2]Лекции по математической логике. Лектор Лупанов О. Б.
Это результат переработки лекций, размещённых на www.vilenin.narod.ru. Переработка состояла в исправлении опечаток и неточностей, уточнении некоторых определений, улучшении и упрощении доказательств. Заново сделаны все иллюстрации. Кроме того, документ свёрстан более компактно, за счёт чего его объём уменьшился примерно в два раза.
PostScript 409K — 27.01.2006 PDF 320K — 27.01.2006 
[2]Программа экзамена по математической логике. Лектор Лупанов О. Б.
Программа экзамена 2005 года.
PostScript 117K — 28.10.2005 PDF 34K — 28.10.2005 
[2]Программа экзамена по математической логике. Лектор Успенский В. А.
Весьма полная и подробная программа экзамена 2003 года, а также билеты к экзамену 2004 года.
PostScript 203K — 27.10.2005 PDF 87K — 28.10.2005 
[2]Лекции по математической логике. Лектор Успенский В. А.
Материал взят с (ныне покойного) сайта http://www.mmat.narod.ru. К сожалению, исходники погибли, поэтому PostScript-версии нет.
PDF 277K — 02.03.2005