Вводный курс математической логики
Название: Вводный курс математической логики
Автор: В. А. Успенский, Н. К. Верещагин, В. Е. Плиско
Издательство: ФИЗМАТЛИТ
ISBN: 5-9221-0278-8
Год издания: 2004
Страниц: 128
Язык: Русский
Формат: djvu
Размер: 0,86 Мб
Описание:
В учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Скачать с depositfiles.com
Скачать с rapidshare.com
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12807 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Журнал Форсаж №12 (декабрь 2006)
Название: Форсаж Издательство: - Номер: 13 Месяц / Год: декабрь / 2006 Страниц: 84 Формат: pdf Размер файла: 85.23 Мб Язык: русскийСодержание: Мы . . .
-
Журнал АэроХобби №4 (октябрь-декабрь 1994)
Название: АэроХобби (c 1995г "Авиация и время") Издательство: Аэрохобби Номер: 4 Месяц / Год: октябрь-декабрь / 1994 Страниц: 49 Формат: pdf Размер файла:&nbs . . .
-
Журнал АэроХобби №3 (июль-сентябрь 1994)
Название: АэроХобби (c 1995г "Авиация и время") Издательство: Аэрохобби Номер: 3 Месяц / Год: июль-сентябрь / 1994 Страниц: 59 Формат: pdf Размер файла: . . .
-
Журнал АэроХобби №2 (апрель-июнь 1994)
Название: АэроХобби (c 1995г "Авиация и время") Издательство: Аэрохобби Номер: 2 Месяц / Год: апрель-июнь / 1994 Страниц: 49 Формат: pdf Размер файла: 1 . . .
-
Журнал АэроХобби №1 (январь-март 1994)
Название: АэроХобби (c 1995г "Авиация и время") Издательство: Аэрохобби Номер: 1 Месяц / Год: январь-март / 1994 Страниц: 47 Формат: pdf Размер файла: 1 . . .
-
Машиностроение. Энциклопедический справочник. В 15 томах. Том 11
Автор: А. Д. Абрамович, С. И. Березовский, Н. Ф. Вержбицкий и др. Год издания: 1948 Формат: djvu Издат.: Государственное научно-техническое издательство машиностроительной литерату . . .
-
Международные финансовые рынки и международные финансовые институты
Автор: Моисеев С.Р. Год издания: 2003 Формат: pdf Издат.: МФПА Страниц: 245 Размер: 2,8 Мб Язык: Русский Учебное пособие формирует теоретичес . . .
-
Журнал Искусство рисования и живописи №84
Название: Искусство рисования и живописи Издательство: Де Агостини Номер: 84 Месяц / Год: 2007 Страниц: 24 Формат: pdf Размер файла: 13,05 Мб Язык:&nbs . . .
-
Журнал Вокруг света №3 2009
Название: Вокруг света Номер: 3 Месяц / Год: март/2009 Страниц: 117 Формат: -PDF Размер файла: -87.23 Мб Язык: РусскийСодержание: -МЮНХЕН: МЕЖДУ МОНАР . . .
-
Samolot transportowy Il-14 [Typy Broni i Uzbrojenia 081]
Название: Samolot transportowy Il-14 [Typy Broni i Uzbrojenia 081]Автор: Benedykt Kempski Издательство: Wydawnicstwo Ministerstwa Obrony NarodoweyISBN: 83-11-06775-9Год издания: 1982Страниц: 19Формат: . . .
![Книга Samolot transportowy Il-14 [Typy Broni i Uzbrojenia 081]](http://img-fotki.yandex.ru/get/3112/303691805.143/0_15f3ac_77293351_orig "Книга Samolot transportowy Il-14 [Typy Broni i Uzbrojenia 081]")
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Вводный курс математической логики. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.