Игошин В. И. Математическая логика и теория алгоритмов

Просмотров : 254
 Игошин В. И. Математическая логика и теория алгоритмов

Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов. Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».

Издательство: Академия
Год: 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. Математическая логика и системы искусственного интеллекта
Заключение: Всесильна ли логика в познании законов мышления?
Список литературы

Скачать Математическая логика и теория алгоритмов
Внимание! У вас нет прав для просмотра скрытого текста.










Немного информации об материале: Сегодня в 29-05-2013, 07:00 наш лучший журналист -warez нашел на просторах интернета новость - Игошин В. И. Математическая логика и теория алгоритмов и сразу же добавил ее к нам на сайт!Хотелось бы добавить, что наш журналист подобрал лучшие файлообменники для скачавания Игошин В. И. Математическая логика и теория алгоритмов , кроме того оформление новости и самого файла находится в отличном качестве, тем более можно Игошин В. И. Математическая логика и теория алгоритмов скачать бесплатно и без регистрации и смс. А так же советуем вам посетить Warez чтоб найти похожие отличные материалы, как и этот!


Ключивые слов для поисковика:

Комментариев: 0 | Категория: Warez
Вернуться
[related-news]
[/related-news]
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.

Форма входа

Реклама


Поделиться

Наши друзья

Сейчас онлайн

Юзеры (0):
Гости (44):
Гость→ Смотрит:Игошин В. И. Математическая логика и теория алгоритмов
Гость→ Смотрит:Кучерявая блондинка с пышной грудью
Гость→ Смотрит:Blackguards - Contributor Edition (2013/RUS/ENG/MULTi8) Steam-Rip от R.G. Origins
Гость→ Смотрит категорию: Музыка
Гость→ Смотрит:Немецко-русский словарь 2 в одном. Справочный и учебный словарь
Гость→ Смотрит:Walking Music - Best Lounge Chillout Music & Chillstep Sport Music Selection, Walking Time (2013)
Гость→ Просматривает страницу: Error 404
Гость→ Смотрит:Kill The Noise - Occult Classic(2015)
Гость→ Смотрит:Command & Conquer: Red Alert 3 (2008/PAL/RUSSOUND/XBOX360)
Гость→ Смотрит: Клипарты без фона - Гриль, барбекю
Гость→ Просматривает главную страницу
Гость→ Смотрит:Яблони. Выбор и разнообразие культур (2013) DVDRip
Гость→ Смотрит:Business Card Designer Plus 11.5.1 Final
Гость→ Смотрит:Королева Версаля / The Queen of Versailles (2012/HDRip/1400MB)
Гость→ Смотрит:Восприятие (3 сезон)
Гость→ Смотрит:Zoner Photo Studio Pro 18.0.1.8
Гость→ Смотрит:Portable Piriform CCleaner Professional Plus 5.07.5261
Гость→ Просматривает главную страницу
Гость→ Смотрит:Tested Bios Collection with SLiC 2.1
Гость→ Смотрит: Beatport Techno Hypnotic: Sound Pack #88 (2020)
Гость→ Смотрит: The Whistlers - Gold (2019)
Гость→ Смотрит: В Кировской области стартовал конкурс на лучшего врача
Гость→ Смотрит: Ondrej Havelka - Platinum Collection (2011)
Гость→ Смотрит:Allen & Envy - Together As One 024 (2013-12-26)
Гость→ Смотрит:Adam Beyer - Drumcode \'Live\' 240 (2015-03-06)
Гость→ Смотрит:Boston - Life, Love and Hope (2013)
Гость→ Просматривает главную страницу
Гость→ Смотрит: Hymn For The Weekend (2021)
Гость→ Смотрит:CyberLink PhotoDirector Ultra 5.0.5424
Гость→ Смотрит: Фотошаблон для фотомонтажа - Афганский воин
Гость→ Смотрит:Ashampoo ZIP Pro 1.0.3
Гость→ Смотрит:Harvard Business Review №9 (сентябрь 2014) Россия
Гость→ Смотрит:Cakewalk Sonar X2a 351 Producer Update Only + RUS X86/64
Гость→ Смотрит:88 книг из серии Военно-историческая фантастика (2008-2013)
Гость→ Смотрит:Silver Waves Exclusive Selection Vol. 3 (Mixed By Mhammed El Alami)
Гость→ Смотрит: Quik And Fast: Night House Mix (2017)
Гость→ Смотрит: С нами легко на даче №1 (январь 2015)
Гость→ Просматривает главную страницу
Гость→ Смотрит:Рыбаченко Олег - Битва за Берлин
Гость→ Просматривает главную страницу
Гость→ Смотрит:Соколова М. - Практическая фонетика английского языка
Гость→ Смотрит:Прорыв к результату за 2 месяца (2013)
Гость→ Смотрит:Internet Download Accelerator Pro 6.5.1.1471 Final + Portable
Гость→ Смотрит:Лист ожидания (2012) Смотреть онлайн бесплатно в хорошем качестве (11,12 серия)
Боты (3):
→ Просматривает категорию: Error 404
→ Смотрит:Муж трахнул сисястую жену
→ Смотрит:SolidCAM 2013 SP1-HF2 Win32 Win64 ISO-SSQ
Всего на сайте:47

Календарь

«    Март 2024    »
ПнВтСрЧтПтСбВс
 123
45678910
11121314151617
18192021222324
25262728293031

Счетчик

В наше время просмотр новых сериалов - один из способов расслабиться и отдохнуть от повседневных проблем. Это возможность попасть на время в другой мир, где все возможно. Поставить себя на место любимого героя и пройти вместе с ним весь предначертанный путь, преодолевая трудности. Можно сказать, что в последние годы сериалы стали приятной частью нашего времяпровождения. Популярные сериалы быстро набирают сотни тысяч поклонников, которые с нетерпением ожидают новые серии. Люди есть разные и кому-то нравятся русские сериалы, а кому-то зарубежная фантастика и приключения. Есть поклонники мистических сериалов, а есть те кому нравятся исторические или документальные. Но с уверенностью можно сказать, что здесь все смогут найти и скачать сериалы, которые им придут по душе. Ведь команда Терабита постоянно ищет новинки и добавляет их на сайт. Вы сможете смотреть телесериалы не отвлекаясь на постоянную рекламу, захватившую эфир телевидения. Да и не всегда там показ идет в удобное для просмотра время. Так, что все у кого есть выход в интернет могут на terabiz.org найти сериалы 2013 и 2012 года, а также прошлых лет. Мы рады новым пользователям и выполним ваши просьбы, пожелания и заказы по размещению последних серий ваших любимых сериалов или тех, что вы на нашли на сайте. Приятного вам времяпровождения.



Внимание! Наш ресурс предназначен только для взрослых. Если вам меньше 18 года - покиньте данный сайт.