Wararu.Ru
Категории раздела
| Активаторы [80] |
| Сборки Windows [442] |
| Софт - Программы [8135] |
| Фильмы [643] |
| Игры [345] |
| Книги-Журналы [14920] |
| Музыка [25750] |
| Всякая всячина [920] |
Наш опрос
Статистика
Онлайн всего: 1
Гостей: 1
Пользователей: 0
Поиск
Популярные новости
Наш банер
Если наш сайт был полезен, вы можете отблагодорить нас, разместив наш банер у вас на сайте.
| Главная » Файлы » Музыка |
Математическая логика и теория алгоритмов. Учебное пособие
| 10.05.2018, 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 | |
| html-cсылка на публикацию | |
| BB-cсылка на публикацию | |
| Прямая ссылка на публикацию |
| Всего комментариев: 0 | |
|
