Вторник, 18.06.2024, 01:57
Приветствую Вас Гость | RSS
Категории
Книги
Уникальные книги библиотеки бесплатно
Фильмы
Лучшие фильмы всех жанров
Софт
Скачать бесплатно программы для PC
Музыка
Музыка всех направлений
Клипы
Скачать бесплатно музыкальные клипы
Всё для мобильника
Программы и приложения для мобильника
Игры
Игры бесплатно, без регистрации
Adobe Photoshop
Всё для Photoshop
Автораздел
Автомобиль и всё что с ним связанно
Приколы
Сборник приколов нашей библиотеки
Саморазвитие
Книги, программы, статьи для саморазвития
Поиск
Статистика
Рейтинги
Календарь
«  Май 2018  »
ПнВтСрЧтПтСбВс
 123456
78910111213
14151617181920
21222324252627
28293031
Главная » Книги » Математическая логика и теория алгоритмов. Учебное пособие

14:33

Математическая логика и теория алгоритмов. Учебное пособие


Математическая логика и теория алгоритмов. Учебное пособие — Все главы этого пособия, в котором излагаются основные понятия математической логики и теории алгоритмов, снабжены контрольными вопросами и упражнениями, приведены варианты типовых заданий и тесты для самоконтроля усвоения материала. Принципиальное значение математической логики - обоснование математики, анализ основ математики. Прикладное значение математической логики в настоящее время очень велико. Применение в логике математических методов становится возможным тогда, когда суждения формулируются на некотором точном языке. Вместе с математической логикой теория алгоритмов образует теоретическую основу вычислительных наук. Теория алгоритмов — это наука, находящаяся на стыке математики и информатики, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. Материал, изложенный в пособии, соответствует государственному образовательному стандарту для направления «Информатика и вычислительная техника» и может быть использован для студентов обучающихся по разным специальностям этого направления.

Название: Математическая логика и теория алгоритмов. Учебное пособие
Автор: Галиев Ш. И.
Издательство: Казань: Издательство КГТУ им. А. Н. Туполева
Год: 2002
Страниц: 263
Формат: DJVU
Размер: 11,53 МБ
ISBN: 5-93629-031-Х
Качество: Отличное

Содержание:

Введение
Глава 1. Логика высказываний
Глава 2. Логика предикатов
Глава 3. Логическое следствие и метод резолюций
Глава 4. Дедуктивные теории
Глава 5. Неклассические логики
Глава 6. Теория алгоритмов
Глава 7. Сложность вычислений с помощью алгоритмов
Литература
Приложения

Скачать Математическая логика и теория алгоритмов. Учебное пособие
Скачать с turbobit.net
Скачать с file-upload.com
Скачать с www.up-4ever.com

Понравилась новость - поделись с друзьями:
Категория: Книги | Просмотров: 173 | Добавил: pmojka | Теги: теория, Математическая, алгоритмов, Галиев, 2002, логика | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Математическая логика и теория алгоритмов. Учебное пособие
Форма входа
Друзья сайта
Лучшие рейтинги и обзоры техники для дома
Топ Гороскоп - Твой астрологический каталог
Рецепты с фото - Вкусняшки народов Мира

Уникальная бесплатная библиотека © 2010-2024
Design by: © GoroskopTop.Ru | Хостинг от uCoz