Книга Математическая логика и теория алгоритмов
Название: Математическая логика и теория алгоритмов
Автор: Судоплатов С.В., Овчинникова Б.В.
Страниц: 224
Формат: PDF
Размер: 20.4 Мб
Качество: Отличное
Язык: Русский
Год издания: 2004
В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик.
Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.
Оглавление
Предисловие
Введение
Исчисление высказываний
Определение формальногo исчисления
Исчисление высказываний генценовскоro типа
Эквивалентность формул
Нормальные формы
Семантика исчислении секвенций
Исчисление высказываний гильбертовского типа
Алгоритмы проверки общезначимости и противоречивости в ИB
Логические задачи
Задачи и упражнения
Логика и исчисления предикатов
Формулы сигнатуры ?. Истинность формулы на aлгебраической системе
Секвенциальное исчисление предикатов
Эквивалентность формул в ИПС?
Нормальные формы
Теорема о существовании модели
Исчисление предикатов гильбертовского типа
Скулемизация алгебраических систем
Meтoд резолюций в исчислении предикатов
Логические программы
Задачи и упражнении
Элементы теории моделей
Элементарная эквивалентность. Teopeмы Лёвенгейма-Скулема
Элементарные теории
Типы. Основные классы моделей
Категоричность. Спектры моделей полных теорий
Система аксиом арифметики Пеано
Нестандартные модели арифметики
Задачи и упражнения
Элементы теории алгоритмов
Машины Тьюринга
Рекурсивные функции и отношении
Эквивалентность моделей алгоритмов
Универсальныe частично рекурсивные фyнкции. Теорема Райса
Рекурсивно пepeчислимые отношения
Неразрешимость исчисления предикатов. Теорема Гёделя о неполноте. Разрешимые и неразрешимые теории.
Xapaктepистики сложности aлгoритмов
Переборные задачи
Aлгоpитмы сортировки
Конечные автоматы
Задачи и упражнения
Нeклaccичecкие логики
Пропозициональные логики
Предикатные лoгики
Предикатные временные логики и их приложение к программированию
Aлгоpитмичecкиe логики
Список литeратуры
Предметный указатель
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12798 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Modelismo ferroviario Paso a paso 13
Название: Modelismo ferroviario Paso a paso 13Издательство: Ediciones Nueva LenteГод / месяц: не определенНомер: 10Серия: Modelismo ferroviario Paso a pasoЯзык: испанскийКоличество страниц: 21Формат: . . .
-
Modelismo ferroviario Paso a paso 14
Название: Modelismo ferroviario Paso a paso 14Издательство: Ediciones Nueva LenteГод / месяц: не определенНомер: 14Серия: Modelismo ferroviario Paso a pasoЯзык: испанскийКоличество страниц: 21Формат: . . .
-
Modelismo ferroviario Paso a paso 11
Название: Modelismo ferroviario Paso a paso 11Издательство: Ediciones Nueva LenteГод / месяц: не определенНомер: 11Серия: Modelismo ferroviario Paso a pasoЯзык: испанскийКоличество страниц: 21Формат: . . .
-
"Дом, сад, огород" №5, 2009
Название: Дом, сад, огородИздательство: "Слово"Номер: 5Год: 2009Страниц: 8Формат: DjvuРазмер: 5,06 МбСодержание: Лечим дупла деревьев; Обрезка яблонь, абрикоса; Весенние заботы; Нужна ли рассаде подсв . . .
-
Нежный бренд, или Рождество в Париже.
Название: Нежный бренд, или Рождество в Париже Автор: Юлия Меньшикова Издательство: Давид ISBN: 978-5-9965-0031-4 Год издания: 2010 Страниц: 384 Язык: Русский Формат: RTF,FB2 Размер: 5,8 МбОписание: . . .
-
Modelismo ferroviario Paso a paso 12
Название: Modelismo ferroviario Paso a paso 12Издательство: Ediciones Nueva LenteГод / месяц: не определенНомер: 12Серия: Modelismo ferroviario Paso a pasoЯзык: испанскийКоличество страниц: 21Формат: . . .
-
Аудиокнига «АнтиЗомбин. Система защиты от влияния окружающих».
Название: Аудиокнига «АнтиЗомбин. Система защиты от влияния окружающих» Автор: Алекс Архат Издательство: Mr.Ondatra Язык: Русский Формат: MP3 Время звучания: 01:39:46 Качество: отличное Размер: 182 . . .
-
Preziosa ( Ottobre 2011 )
название : Preziosaиздатель : Golden Agency srlномер: anno IV n.4год: Ottobre 2011 / Октябрь 2011язык : Italianформат: pdf (оригинал )страниц : 132размер : 46,68 мбPreziosa - журнал о ювелирном ры . . .
-
Анализ археологических источников (возможности формализованного подхода).
Название: Анализ археологических источников (возможности формализованного подхода) Автор: Каменецкий И.С., Маршак Б.И., Шер Я.А. Издательство: Наука Год издания: 1975 Страниц: 176 Язык: Русский Форм . . .
-
Возвращение в небо.
Название: Возвращение в небо Автор: В.Д.Лавриненков Издательство: Военное Издательство Год издания: 1983 Страниц: 239 Язык: Русский Формат: pdf Размер: 72.77 Мб Описание: Эта книга-волнующий рассказ . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Книга Математическая логика и теория алгоритмов. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.