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

978-5-94057-322-7

Главная  » Научно-техническая литература » Прикладные науки. Техника » Радиоэлектроника. Связь » Мобильные телефоны. Фото. Видео. Аудио. » Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Верещагин Н.И. (док.тех.наук, Шень А., Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления


серия: Современные лекционные курсы
МЦНМО, 2008 г., 288 стр., 978-5-94057-322-7 , 200*128*12 мм., тираж: 1000


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

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

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




Об авторе

Верещагин Н.И. (док.тех.наук

Шень А.


Последние поступления в рубрике "Мобильные телефоны. Фото. Видео. Аудио."



Smartphone Movie Maker Smartphone Movie Maker Stoller B.

Smartphone Movie Maker is a complete beginner\"s guide to making movies with your smartphone. The film-maker\"s handbook features expert advice on all aspects of film making, from planning a story to casting, shooting and editing....

Teach Yourself VISUALLY Samsung Galaxy S6 Hart??“Davis G.

Teach Yourself VISUALLY Are you a visual learner? Do you prefer instructions that show you how to do something and skip the long??“winded explanations? If so, then this book is for you. Open it up and you???ll find clear, step??“by??“step screen sh...

Teach Yourself VISUALLY Samsung Galaxy S5 Hart??“Davis G.

Teach Yourself VISUALLY Read Less??“Learn More Are you a visual learner? Do you prefer instructions that show you how to do something and skip the long??“winded explanations? If so, then this book is for you. Open it up and you ll find clear, step...

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