Форма входа

Гость




Группа:
Гости

Мы очень рады что вы зашли к нам. Пожалуйста, зарегистрируйтесь или авторизуйтесь! Это займет всего несколько минут.

РЕГИСТРАЦИЯ

Меню сайта
Категории раздела
Безопасность/Антивирусы
Операционные системы
Мультимедиа
Интернет и Сеть
Запись и копирование
Сервис системы
Украшения
Игры
Фотософт
Текст офис
Обучающее видео
Aудиокниги
Мобила КПК
Другой софт
Книги и журналы
Видео
Клипы
Литература
Свежие музыка и видео
Софт и прочее
MyPC 9.5.0.6 + Portable

VueScan Pro 9.5.81 (x86/x64) + Portable

R-Undelete Home 6.1 Build 169323 + Portable

Ли Т. - Вазкор, сын Вазкора. В поисках Белой ведьмы (1994)

Нечего бояться (2016)

Maxthon Cloud Browser 5.1.0.3000 Final + Portable

RogueKiller 12.11.8.0 (x86/x64) Portable

W10Privacy 2.5.0.0 Portable

GQ №8 (август 2017) Россия

Iperius Backup 5.0.1 Rus/ML

Гастрономъ №7-8 (июль-август 2017)

Грег Иган - Город перестановок (2016)

SMPlayer 17.7.0.8615 + Portable

Freemake Video Converter Gold 4.1.10.0 + Portable

Подземелья Ватикана (1927)

Наш опрос

Как часто Вы посещаете наш сайт?

1. Каждый день
2. Несколько раз в день
3. Я первый раз на сайте
4. Несколько раз в месяц
5. Два-три раза в неделю


Результат опроса Результаты
Все опросы нашего сайта Архив опросов

Всего голосовало: 72
Главная » 2016 » Сентябрь » 29 » Дмитрий Гринченков, Сергей Потоцкий - Математическая логика и теория алгоритмов для программистов (2010)
17:49
Дмитрий Гринченков, Сергей Потоцкий - Математическая логика и теория алгоритмов для программистов (2010)

Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей,а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.

Название: Математическая логика и теория алгоритмов для программистов
Автор: Дмитрий Гринченков, Сергей Потоцкий
Год: 2010
Жанр: программирование, обучение
Издательство: Россия, Москва, КноРус
Язык: Русский

Формат: pdf
Качество: Отсканированные страницы (OCR)
Страниц: 208
Размер: 21 МБ
Скачать Дмитрий Гринченков, Сергей Потоцкий - Математическая логика и теория алгоритмов для программистов (2010)

Категория: Книги и журналы | Просмотров: 123 | Добавил: didl3 | Теги: Книги, Программирование, Математическая логика и теория алго, Обучение
Свежие версии или похожие программы




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

Поиск
Для поиска по сайту введите Ваш запрос в поле ниже и нажмите кнопку Enter.


Мы на YouTube
Календарь


Онлайн радио
Мы на однокласниках

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


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


Кто on-line?

Кто нас сегодня посетил?

Наша погода
Нажмите на нужный населенный пункт и узнайте погоду на 6 дней



Обнови браузер









%