Лекции по математической логике и теории алгоритмов: учебное пособие

Категория: Естественные науки | автор: Gunpowder | Просмотров: +440
Лекции по математической логике и теории алгоритмов: учебное пособие
Лекции по математической логике и теории алгоритмов: учебное пособие — Основам математической логики и теории алгоритмов посвящено это пособие. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Геделя о неполноте. Математическая логика и опирающийся на нее аксиоматический метод оказали большое влияние на развитие всех разделов математики, в частности, и потому, что классическое исчисление предикатов является той логической системой, на базе которой можно, в принципе, формализовать всю математику. Учебное пособие предназначено для студентов, обучающихся по направлению «Фундаментальная информатика и информационные технологии», дисциплина «Математическая логика и теория алгоритмов».

Название: Лекции по математической логике и теории алгоритмов: учебное пособие
Автор: Белов Ю. А., Соколов В. А.
Издательство: Ярославль: ЯрГУ
Год: 2013
Страниц: 140
Формат: DJVU
Смотрите также:




Добавление комментария


Имя:*
Текст комментария:
Введите два слова, показанных на изображении: *



Меню сайта:
Книги
Остросюжетные
Фантастика,Фентази
Любовный роман
Исусство и культура
Гуманитарные науки
Здоровье, спорт
Детские книги
Поэзия, стихи
Естественные науки
Кулинария
Компьютерная лит-ра
Программирование
Web-мастеру
Фотография и видео
Дизайн и графика
Живопись и рисование
Профессии
Бизнес
Научно-популярные
Техника
Аппаратура
Транспорт
История
Военная тематика
Психология
Строительство, ремонт
Дом и семья
Умелые руки
Шитьё и вязание
Сад ,огород ,хозяйство
Животные
Охота и рыбалка
Хобби и развлечения
Учебные пособия
Эзотерика
Разное

Журналы
Кулинарные
Детям и родителям
Развлекательные
Женские журналы
Мужские журналы
Автомобили
Охота и рыбалка
Спортивные
О здоровье
Фотография
Компьютеры
Технические
Научно-популярные
Строительство, дизайн
Рукоделие, сделай сам
Сад и дом
Военные
Бизнес
Гуманитарные
Животные
Разные

Аудиокниги
Развлечение и юмор
Детские аудиокниги
Художественные
Психология, люди
Изучение языков
Обучающие аудиокниги
Разное

Топ 10
Статистика

Copyright ©2009 All Rights Reserved
Перепечатка разрешена только при активной гиперссылке на weekbook.ru. Файлов для скачивания на сайте нет, здесь можно только купить литературу через партнёрские интернет-магазины. Мы не храним на сервере никаких нелегальных и охраняемых авторским правом материалов.
Все издания для скачивания предоставлены официальными партнёрами и администрация сайта не несет ответственность за их использование! Вы можете скачать, если такое предусмотренно, или купить книги у них.