Автор: Ершов Ю.Л., Палютин Е.А.
Название: Математическая логика
Издательство: М.: ФИЗМАТЛИТ
Год: 2011
Формат: djvu
Размер: 5 mb
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может служить пособием для специальных курсов.
Рекомендовано УМС по математике и механике УМО по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям: «Математика», «Прикладная математика и информатика», «Механика».
скачать с borncash.org
скачать с startfiles.org
скачать с rusfolder.net
скачать с dfiles.ru
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12772 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Загадки советской литературы. От Сталина до Брежнева — Советский классик Константин Федин в течение почти двадцати лет возглавлял Союз писателей СССР. Через судьбу "министра советской литературы" ав . . .
Программирование на Scratch 2 — Целью книги является пропедевтика программирования, математики, естественных наук среди школьников младших классов. Книга написана на основе опыта обучения программир . . .
Энциклопедия символов — Символический язык - язык универсальный. Мы встречаем символы выбитыми на камнях древних храмов, в ритуалах Посвящений, во всех Священных Писаниях, запечатленными в таинствен . . .
На трудных дорогах войны. В борьбе за Севастополь и Кавказ — Автор книги На трудных дорогах войны после окончания Высшего военного морского училища имени М.В.Фрунзе служил и воевал на Черноморском ф . . .
Крестовые походы. Т. 1 — Впервые на русском языке издается книга, подробно и в живой увлекательной форме описывающая не только все крестовые походы, но почти двухвековую жизнь государств крестоносце . . .
Название: Новые рецепты домашних настоек. Наливки, медовухи, ликеры, бальзамы, глинтвейны Автор: Плотникова Т.В. Издательство: Феникс Год: 2009 Страниц: 224 Язык: Русский Формат: pdf / rar Размер: 102 . . .
Старый обветшавший особняк расположен на берегу озера в живописном местечке недалеко от Лондона. И вокруг этого особняка, который местные жители называют Испанским домом, разгораются страсти. Для Изаб . . .
Название: Житейская правда войны Автор: Олег Смыслов Год выпуска: 2014 Издательство: Вече ISBN: 978-5-4444-1292-3 Страниц: 320 Формат: pdf Размер: 145 Мб Язык: русский Качество: хорошее Новая книга О. . . .
Название: Обреченные Автор: Шелли Крейн Издательство: АСТ Год: 2015 Страниц: 290 Язык: русский Формат: rtf, fb2 Размер: 1 Мб Мэгги с Калебом и его кланом Джейкобсонов попадают в таинственный дворец, г . . .
Название: История и культура гуннов Автор: Отто Менхен-Хельфен Издательство: М.: Центрполиграф Год выпуска: 2014 Страниц: 255 Формат: pdf Размер: 5,97 мб Язык: Русский Большую часть своей жизни профес . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.