Имя:
Пароль:


a b c d e f g h i j k l m n o p q r s t u v w x y z    0 1 2 3 4 5 6 7 8 9 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я 

Скачать Лекции по математической логике и теории алгоритмов бесплатно

25 апреля 2009 | Автор: Admin | Рубрика: Научная литература » Математика | Комментариев: 0
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает в себя около 200 задач различной трудности.


http://rapidshare.com/files/21651804/Yazyki_ischisleniya.rar

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии в данной новости.
]