Информация о книге

5-9221-0278-8

Главная  » Тематика определяется » Вводный курс математической логики

Верещагин Н.И. (док.тех.наук, Плиско В.Е., Успенский В.Д., Вводный курс математической логики

ФИЗМАТЛИТ, 2007 г., 128 стр., 5-9221-0278-8 , 214*140*6 мм., тираж: 6000


Описание книги

В учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.

Поделиться ссылкой на книгу




Об авторе

Успенский В.Д.
Родился в в учительской семье. В 1942 году был вместе с отцом арестован и отправлен в Сибирь. В 1944 году ушёл в армию. Был ранен. В августе 1945 года служил радистом на сторожевом корабле «Вьюга» (на Тихом океане). Демобилизовался в 1951 году. Тогда же заочно окончил Архангельский учительский институт, а в 1960 году — Литературный институт им. А. М. Горького. Впечатления юности легли в основу военных повестей «Колокол заговорил вновь», «Тревожная вахта», «Поход без привала», «Бой местного значения» и других. Работа в экспедициях по Восточной Сибири, путешествия по Дальнему Востоку дали Владимиру Успенскому большой материал для создания книг «Дальние рейсы», «Клады и загадки Таймыра», «За меньших братьев». В 1970—1980 годы написал также повести о «пламенных революционерах» — К. Е. Ворошилове и М. И. Калинине. Роман «Неизвестные солдаты» (1956—1967 гг.) был отмечен М. А. Шолоховым, как «лучшее произведение о Великой Отечественной войне». В книге рассказывается о сражениях 1942—43 годов: описаны передовая и тыл, боевые действия войск, деятельность Ставки Верховного главнокомандования. Главное произведение писателя — роман-исповедь «Тайный советник вождя» (1953—1998 гг.). Фабула романа построена как мемуары некоего тайного советника И. В. Сталина, на протяжении многих лет помогавшему руководителю СССР формировать важнейшие решения. Первая книга романа напечатана алма-атинским журналом «Простор» в 1988 г. и сразу же вызвала много споров, которые не завершены по сей день.

Последние поступления в рубрике "Тематика определяется"



Математика. Подготовка к ЕГЭ. Задачи с параметрами.10-11 классы 

В предлагаемом пособии представлен обширный материал, посвященный двум заключительным и сложным темам ЕГЭ профильного уровня: задачам с параметрами и числам и их свойствам. На многочисленных примерах с подробными решениями и обоснованиями (как и требуется на экзамене) показаны различные методы и решения задач....

План счетов бухгалтерского учета с последними изменениями 

Читателю предлагается самая последняя редакция Плана счетов бухгалтерского учета финансово-хозяйственной деятельности организаций и инструкции по его применению с учетом последних приказов Минфина РФ. План счетов - это важнейший инструмент бухгалтерского учета, настольная книга для каждого практического бухгалтера....

На ферме. Книжка с наклейками 

Игры с наклейками - занятие не только интересное, но и полезное. С этой книгой малыш познакомится с различными видами транспорта, потренируется решать простые логические задачки и находить соответствия....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Верещагин Н.И. (док.тех.наук, Плиско В.Е., Успенский В.Д., Вводный курс математической логики в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.