Языки и исчисления, Н. К. Верещагин, А. Шень

Языки и исчисления, Н. К. Верещагин, А. Шень
Автор: Н. К. Верещагин, А. Шень
Доступно в форматах: EPUB | PDF | FB2
Страниц: 240
Год издания: 2012
Язык: Русский
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает себя около 200 задач различной трудности.

Отзывы


Те, кто смотрел эту страницу, также интересовались:

Современные био-, бензо-, и дизель- генераторы и другие полезные конструкции, А. П. Кашкаров
Современные био-, бензо-, и дизель- генераторы и другие полезные конструкции, А. П. Кашкаров
Трехмерная ГИС анализа и оценки природных и техногенных катастроф, С.И. Кабанихин, О.И. Криворотько und И.В. Маринин
Трехмерная ГИС анализа и оценки природных и техногенных катастроф, С.И. Кабанихин, О.И. Криворотько und И.В. Маринин
Глубокая гидроочистка нефтяного сырья: высокоактивные катализаторы, Николай Максимов und Наталья Томина
Глубокая гидроочистка нефтяного сырья: высокоактивные катализаторы, Николай Максимов und Наталья Томина

Часто задаваемые вопросы

1. Какой формат книги выбрать: PDF, EPUB или FB2?
Тут все зависит от ваших личных предпочтений. На сегодняшний день, каждый из этих типов книг можно открыть как на компьютере, так и на смартфоне или планшете. Все скачанные с нашего сайта книги будут одинаково открываться и выглядеть в любом из этих форматов. Если не знаете что выбрать, то для чтения на компьютере выбирайте PDF, а для смартфона - EPUB.

2. Можно ли книги с вашего сайта читать на смартфоне?
Да. Как для iOS, так и для Android есть много удобных программ для чтения книг.

3. В какой программе открыть файл PDF?
Для открытия файла PDF Вы можете воспользоваться бесплатной программой Acrobat Reader. Она доступна для скачивания на сайте adobe.com