Четверг, 26.12.2024, 17:04


Главная
Регистрация
Вход
Приветствую Вас Гость | RSS  
Меню сайта

Категории каталога
Графика [110]
Книги по компьютерной графике и графическим редакторам
Программирование [1095]
Скачать книги по программированию
Прочее [25190]
Журналы [25]
Медицина [0]
Наука [273]
Природа [0]
Литература [4130]

Наш опрос
Нужна ли категория "Фильмы"
Всего ответов: 9

На правах рекламы

Главная » Книги » Прочее
Журналист месяца - zyzy

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

10.05.2018, 13:34

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

Название: Математическая логика и теория алгоритмов. Учебное пособие
Автор: Галиев Ш. И.
Издательство: Казань: Издательство КГТУ им. А. Н. Туполева
Год: 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


Похожие материалы:

Конвертация траффика в деньги


Категория: Прочее | Добавил: pmojka | Просмотров: 178 | Рейтинг: 0.0/0 |
Форма входа

Друзья сайта

Статистика сайта

Онлайн всего: 1
Гостей: 1
Пользователей: 0

Поиск

Copyright MyCorp © 2024