Дать объявление бесплатно. Доски объявлений!
На нашем сайте вы найдете огромное количество бесплатного софта и программ, новинки игр для компьютера, можно бесплатно скачать и читать онлайн журналы,
а также скачать лучшие фото-обои и картинки для рабочего стола, много музыки mp3, бесплатно новинки и музыкальные хиты, мобильный софт игры заставки мелодии фильмы для мобилы, скачать фильмы сериалы новые музыкальные клипы разные видеоуроки самоучители видеокурсы. Скачать электронные книги, лучшие книги онлайн,
художественная литература, большой архив книг. Юмор, фото, прикольные рассказы и подборки смешных видео. Рецепты блюд, кулинарные рецепты, видео рецепты.


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

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



Не забудьте поделиться с друзьями:

Совет: не забудьте выставить рейтинг в данной записи - люди старались для вас!

Всего комментариев: 0

Добавить комментарий

Уважаемый посетитель, добовлять коментарии могут только зарегистрированные пользователи. Мы рекомендуем Вам зарегистрироваться либо зайти на сайт под своим именем.
Присоединяйтесь

Форма для входа

Статистика посещений

Добавить новость

Статистика


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

Юзеры онлайн:
Нас посетили:



© 2012 Разные статьи полезны интернет новости на vapec1.ucoz.ru
В случае копирования ссылка на источник обязательна!
Сделать бесплатный сайт с uCoz
Designed by CENTROARTS.com