Книга Математическая логика и теория алгоритмов
Название: Математическая логика и теория алгоритмов
Автор: Судоплатов С.В., Овчинникова Б.В.
Страниц: 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 оценок |
| Формат: | Книга |
| Уже скачали: | 12802 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Vojenska Letadla 14
Название: Vojenska Letadla 14Издательство: Amercom S.A.Год: 2011Формат: pdfРазмер: 3,9 MbКол-во страниц: 8Язык: CzechSamostatne predajné štrnáste číslo z kolekcie "Vojensk . . .
-
Japonesa Patchwork, № 12 2003
Название: Japonesa PatchworkНомер: № 12Жанр: рукоделие Язык: ЯпонскийФормат:JPGКоличество страниц: 98Размер: 39 MbОписание: Японский журнал с идеями для пэчворка. Модели + схемыСкачать: deposit.com . . .
-
Программирование на Delphi.
Название: Программирование на Delphi Автор: Кашеваров Артем Год издания: 2010 Язык: Русский Формат: EXE (autorun) Качество: хорошее Размер: 1320 Мб Описание: Программирование на Delphi - это видеокур . . .
-
Коридор (аудиокнига).
Название: Коридор (аудиокнига) Автор: Сергей Каледин Издательство: Нигде не купишь Год издания: 2011 Язык: Русский Формат: МР3 Битрейт аудио: 128 kbps Время звучания: 15 ч. 02 мин. Читает: Валерия Л . . .
-
Наш сад - выпуск № 22 - Садовый дворик.
Название: Наш сад - выпуск № 22 - Садовый дворик Автор: Алан Титчмарш Серия или выпуск: 22 Издательство: ООО Петроглиф Спб Год издания: 2011 Страниц: 66 Язык: Русский Формат: pdf Качество: хорошее Р . . .
-
SEXY DOLL - WARM BATH.
Название: SEXY DOLL - WARM BATH Автор: WS Art Страниц: 23 Язык: Английский Формат: jpg Качество: хорошее Размер: 23.28 Мб Описание: Красивая молодая девушка принимает душ и забавляет себя. filesoni . . .
-
Дети дупликатора
Автор: Владимир Николаевич Васильев Год издания: 2011 Формат: pdf Издат.: СамИздат Размер: 24,05 Мб Язык: Русский С момента событий, описанных в . . .
-
Оперативная хирургия с топографической анатомией детского возраста. 2-е...
Автор: под ред Ю.Ф. Исакова, Ю.М. Лопухина Год издания: 1989 Формат: djvu Издат.: Медицина Страниц: 592 Размер: 15.84 Mb ISBN: 5-225-01633-2 Язык:  . . .
-
Afghan Extravaganza
Автор: Simcik J., Lothrop S. Год издания: 1995 Формат: other Издат.: NS Страниц: 155 Размер: 90МВ ISBN: 978-0963803153 Язык: Английский А . . .
-
Николай Гоголь - Нос (радиоспектакль)
Николай Гоголь - Нос. Наверное, все помнят историю, приключившуюся в Санкт-Петербурге с коллежским асессором Ковалевым (предпочитавшим именоваться майором): мало того, что пропавший с его лица Нос заг . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Книга Математическая логика и теория алгоритмов. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.