Математическая логика и теория алгоритмов
Здесь можно купить книгу "Математическая логика и теория алгоритмов" в печатном или электронном виде. Также, Вы можете прочесть аннотацию, цитаты и содержание, ознакомиться и оставить отзывы (комментарии) об этой книге.
часть 2. Теория алгоритмов
ISBN: 978-5-4499-5081-9 (ч. 2). – ISBN 978-5-4499-5082-6
Страниц: 88
Артикул: 109152
Краткая аннотация книги "Математическая логика и теория алгоритмов"
В учебно-методическом пособии изложены основные сведения по математической логике. Учебно-методическое пособие содержит расширенный материал лекций (часть 2 — теория алгоритмов) по дисциплине «Математическая логика и теория алгоритмов», предусмотренных учебным планом и рабочей программой дисциплины.Учебно-методическое пособие предназначено для студентов всех форм обучения направления 09.03.01 «Информатика и вычислительная техника» направленности (профиля) «Автоматизированные системы обработки информации и управления».
Содержание книги "Математическая логика и теория алгоритмов "
Введение
1. Определение сложности алгоритмов
Контрольные вопросы и упражнения
2. Машина Тьюринга и функции, вычислимые по Тьюрингу
1. Описание машины Тьюринга
2. Имитация компьютера на машине Тьюринга
3. Сравнение времени работы компьютеров и машин Тьюринга
Контрольные вопросы и упражнения
3. Машины произвольного доступа и вычислимые функции
Контрольные вопросы и упражнения
4. Частично рекурсивные функции и их вычислимость
Контрольные вопросы и упражнения
5. Эквивалентность формализаций алгоритма. Проблема остановки
6. Оптимизация программ
Контрольные вопросы и упражнения
7. Математические основы программирования
7.1. Функциональное программирование
7.2. Логическое программирование. Язык Пролог
7.3. Объектно-ориентированное программирование
Контрольные вопросы и упражнения
Заключение
Список литературы
Все отзывы о книге Математическая логика и теория алгоритмов
С книгой "Математическая логика и теория алгоритмов" читают
Внимание!
При обнаружении неточностей или ошибок в описании книги "Математическая логика и теория алгоритмов (автор )", просим Вас отправить сообщение на почту help@directmedia.ru. Благодарим!
и мы свяжемся с вами в течение 15 минут
за оставленную заявку