Математическая логика и теория алгоритмов учебное пособие
Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Инфо...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Книга |
| Язык: | Russian |
| Опубликовано: |
Самара
ПГУТИ
2024
|
| Темы: | |
| Online-ссылка: | https://e.lanbook.com/book/463655 https://e.lanbook.com/img/cover/book/463655.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 05880nam0a2200985 i 4500 | ||
|---|---|---|---|
| 001 | 463655 | ||
| 003 | RuSpLAN | ||
| 005 | 20250516154116.0 | ||
| 008 | 250516s2024 ru gs 000 0 rus | ||
| 040 | |a RuSpLAN | ||
| 041 | 0 | |a rus | |
| 044 | |a ru | ||
| 080 | |a 519.6 | ||
| 245 | 0 | 0 | |a Математическая логика и теория алгоритмов |b учебное пособие |c Старожилова О. В. |
| 260 | |a Самара |b ПГУТИ |c 2024 | ||
| 300 | |a 214 с. | ||
| 504 | |a Библиогр.: доступна в карточке книги, на сайте ЭБС Лань | ||
| 520 | 8 | |a Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать математическую логику самостоятельно. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки. | |
| 521 | 8 | |a Книга из коллекции ПГУТИ - Математика | |
| 521 | 8 | |a СЭБ | |
| 653 | 0 | |a логика | |
| 653 | 0 | |a логические парадоксы | |
| 653 | 0 | |a парадокс лжеца | |
| 653 | 0 | |a парадокс платона | |
| 653 | 0 | |a парадокс рассела | |
| 653 | 0 | |a математическая логика | |
| 653 | 0 | |a логика высказываний | |
| 653 | 0 | |a алгебра высказываний | |
| 653 | 0 | |a исчисление высказываний | |
| 653 | 0 | |a формальные теории | |
| 653 | 0 | |a аксиоматический метод | |
| 653 | 0 | |a теорема геделя | |
| 653 | 0 | |a непротиворечивость аксиоматической теории | |
| 653 | 0 | |a система аксиом исчисления высказываний | |
| 653 | 0 | |a правила вывода | |
| 653 | 0 | |a понятие вывода | |
| 653 | 0 | |a связь между ав и ив | |
| 653 | 0 | |a автоматическое доказательство теорем | |
| 653 | 0 | |a метод резолюций | |
| 653 | 0 | |a теории первого порядка | |
| 653 | 0 | |a логические операции над предикатами | |
| 653 | 0 | |a квантор всеобщности | |
| 653 | 0 | |a квантор существования | |
| 653 | 0 | |a нормальные формы лп | |
| 653 | 0 | |a аксиомы и правила вывода исчисления предикатов | |
| 653 | 0 | |a неклассические логики | |
| 653 | 0 | |a базовые понятия нечеткой логики | |
| 653 | 0 | |a основные операции с нечеткими множествами | |
| 653 | 0 | |a лингвистическая переменная | |
| 653 | 0 | |a нечеткие отношения | |
| 653 | 0 | |a нечеткие выводы | |
| 653 | 0 | |a функции принадлежности | |
| 653 | 0 | |a основные характеристики нечетких множеств | |
| 653 | 0 | |a алгоритм формализации задачи в терминах нечеткой логики | |
| 653 | 0 | |a разработка нечетких правил | |
| 653 | 0 | |a метод центра максимума | |
| 653 | 0 | |a метод наибольшего значения | |
| 653 | 0 | |a метод центроида | |
| 653 | 0 | |a многозначные логики | |
| 653 | 0 | |a логика гейтинга | |
| 653 | 0 | |a трехзначная система бочвара | |
| 653 | 0 | |a к-значная логика поста | |
| 653 | 0 | |a общие сведения об алгоритмах | |
| 653 | 0 | |a оценка сложности алгоритма | |
| 653 | 0 | |a классификация алгоритмов по сложности | |
| 653 | 0 | |a сложность проблем | |
| 653 | 0 | |a рекурсивные функции | |
| 653 | 0 | |a примитивная рекурсия | |
| 653 | 0 | |a суперпозиция частичных функций | |
| 653 | 0 | |a операция минимизации | |
| 653 | 0 | |a тезис черча | |
| 653 | 0 | |a класс p | |
| 653 | 0 | |a класс e | |
| 653 | 0 | |a недетерминированные алгоритмы | |
| 653 | 0 | |a np-трудные и np-полные задачи | |
| 653 | 0 | |a нормальные алгоритмы маркова | |
| 653 | 0 | |a алгоритм евклида | |
| 653 | 0 | |a машины тюринга-поста | |
| 653 | 0 | |a тезис тюринга | |
| 653 | 0 | |a возможности машин тюринга | |
| 653 | 0 | |a алгоритмическая машина поста | |
| 100 | 1 | |a Старожилова О. В. | |
| 856 | 4 | |u https://e.lanbook.com/book/463655 | |
| 856 | 4 | 8 | |u https://e.lanbook.com/img/cover/book/463655.jpg |
| 953 | |a https://e.lanbook.com/img/cover/book/463655.jpg | ||