Главная » 2013 » Май » 29 » Математическая логика и теория алгоритмов
00:32
Математическая логика и теория алгоритмов
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов. Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».
Название: Математическая логика и теория алгоритмов Автор: Игошин В. И. Издательство: Академия Год: 2008 Страниц: 448 Формат: DJVU Размер: 6,83 МБ ISBN: 978-5-7695-4593-1 Качество: Отличное
Содержание:
Предисловие Введение. Математическая логика в системе современного образования Глава I. Алгебра высказываний § 1. Высказывания и операции над ними § 2. Формулы алгебры высказываний § 3. Тавтологии алгебры высказываний § 4. Логическая равносильность формул § 5. Нормальные формы для формул алгебры высказываний § 6. Логическое следование формул § 7. Приложение алгебры высказываний к логико-математической практике Глава II. Булевы функции § 8. Множества, отношения, функции § 9. Булевы функции от одного и двух аргументов § 10. Булевы функции от n аргументов § 11. Системы булевых функций § 12. Применение булевых функций к релейно-контактным схемам § 13. Релейно-контактные схемы в ЭВМ § 14. О некоторых других приложениях теории булевых функций § 15. Система аксиом и теория формального вывода § 16. Полнота и другие свойства формализованного исчисления высказываний § 17. Независимость системы аксиом формализованного исчисления высказываний Глава IV. Логика предикатов § 18. Основные понятия, связанные с предикатами § 19. Логические операции над предикатами § 20. Кванторные операции над предикатами § 21. Формулы логики предикатов § 22. Равносильные преобразования формул и логическое следование формул логики предикатов § 23. Проблемы разрешения для общезначимости и выполнимости формул § 24. Применение логики предикатов к логико-математической практике § 25. Формализованное исчисление предикатов Глава V. Неформальные аксиоматические теории § 26. Аксиоматический метод в математике и аксиоматические теории § 27. Свойства аксиоматических теорий Глава VI. Формальные аксиоматические теории § 28. О формальных аксиоматических теориях § 29. Свойства формализованного исчисления предикатов § 30. Формальные теории первого порядка Глава VII. Элементы теории алгоритмов § 31. Интуитивное представление об алгоритмах § 32. Машины Тьюринга § 33. Рекурсивные функции § 34. Нормальные алгоритмы Маркова § 35. Разрешимость и перечислимость множеств § 36. Неразрешимые алгоритмические проблемы § 37. Теорема Гёделя о неполноте формальной арифметики § 38. Математическая логика и программное обеспечение компьютеров § 39. Применение компьютеров для доказательства теорем математической логики § 40. От математической логики к логическому программированию § 41. Математическая логика и информатика § 42. Математическая логика и системы искусственного интеллекта Заключение: Всесильна ли логика в познании законов мышления? Список литературы
На сайте Terraincognito всегда новый и свежий хороший Софтяк, Драйвера, Мультимедиа и Редакторы, а так же найдёте Юмор и Демотиваторы, Обои на Рабочий стол, Видеоуроки, Игры, всё для Графики и дизайна, Книги и журналы, есть много Познавательного, Загадки планеты, о событиях в мире, как реальном так и виртуальном ! Каждий у нас найдёт что скачать, причем бесплатно (для ознакомления). Уважаемые гости и посетители, всегда рады Вас видеть на сайте! Регистрируемся у Нас на сайте Terraincognito!
На сайте AvtorMuzik представлено множество все различных музыкальных клипов, сборников, песен и концертов. Такие направления и жанры, как рок, Dubstep & Drumstep, шансон, рэп, поп, dance, techno, metall и другие Вы найдете у нас. Каждый сможет подобрать Mp3 альбом по своему вкусу. Всегда рады Вас видеть!
В мире компьютерных технологий на сайте Mirinfi.info! Расскажем про цифровые технологии, много статьей о железе, обзоры конференций и выставок известных брендов IT технологий, представим рынок IT, всё о событиях в мире, как реальном так и виртуальном !
Категория: Книги и журналы |
Просмотров: 189 |
Добавил: pmojka
| Теги:
| Рейтинг: 0.0/0
