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

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 г. и сразу же вызвала много споров, которые не завершены по сей день.

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



Лучшие задания на устройство мироздания. 1-4 классы Зеленко С.

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

Словарные филворды и головоломки. Игры со словами для детей Зеленко С.

В сборник включены игровые задания в виде филвордов, кроссвордов, кейвордов, лабиринтов, ребусов и шифровок, решение которых поможет ученикам начальных классов закрепить знание словарных слов за курс младшей школы. Задания специально разработаны таким образом, чтобы сделать процесс запоминания сложной учебной информации простым и увлекательным....

Математические судоку и лабиринты. Игровые задания для детей Зеленко С.

Сборник математических судоку и лабиринтов включает занимательные задания, которые помогут ученикам начальных классов выучить и закрепить табличные случаи умножения и деления....

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