Четверг, 18.10.2018, 21:57
Приветствую Вас Гость | RSS


У нас можно скачать книги и журналы бесплатно, без регистрации!

Библиотека лучших книг!
Форма входа
Валюта
Новости дня
Статистика
Онлайн:

Онлайн всего: 16
Гостей: 16
Пользователей: 0

Зарегистрировано:
Всего: 886
Новых за месяц: 0
Новых за неделю: 0
Новых вчера: 0
Новых сегодня: 0
Из них:
Администраторов: 1
Модераторов: 1
Дизайнеров:
Редакторов: 5
Журналистов: 125
Обычных: 754
Забаненых: 0
Из них:
Мужчин: 499
Женщин: 387
Счетчики:
Сегодня нас посетили:
Счётчики посещений

Скачать бесплатно книги и журналы!

Главная » Файлы » Наука и образование

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
13.10.2018, 20:02
Название: Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
Автор: Верещагин Н. К., Шень А.
Издательство: МЦНМО
Год: 2012
Страниц: 240
Формат: PDF
Размер: 11,08 МБ
ISBN: 978-5-4439-0013-1
Качество: отличное
Язык: русский

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

Скачать Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Категория: Наука и образование | Добавил: pmojka | Теги: Лекции, математической, алгоритмов, теории, исчисления, языки, 2012, логике, часть
| Loads: 0 | Рейтинг: 0.0/0

Популярные книги и журналы:

Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Поиск по сайту
Лучшие журналисты

pmojka
Релизов:
23543

lorna
Релизов:
6831

zyzy
Релизов:
5570

sun68
Релизов:
3586

Чудо-чудное
Релизов:
3519

sas
Релизов:
3310

solo
Релизов:
3060

tigerz
Релизов:
2908

deller50
Релизов:
2844

Kate
Релизов:
2458

rotanit
Релизов:
2274

bolt13
Релизов:
2114

19Anton98
Релизов:
2044

gol8425
Релизов:
1647

IrinchikOK
Релизов:
935

alex_kromvel
Релизов:
898

мотя
Релизов:
746

pullin007
Релизов:
735

Irrena
Релизов:
680

kalina5
Релизов:
554
Празднуем!
Анекдоты:)
Это интересно!

Copyright ScanBOOKS.RU © 2018 Скачать бесплатно и без регистрации книги и журналы

Обращение к пользователям