Дмитрий Гринченков, Сергей Потоцкий - Математическая логика и теория алгоритмов для программистов (2010) - 29 Сентября 2016 - Блог - Кудав.ру - Музыка, программы и онлайн фильмы

ФОРМА ВХОДА

Гость





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

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

РЕГИСТРАЦИЯ

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

SystemRescueCd 4.9.1 Beta 4

Remote Desktop Manager 3.0.4.0 + Portable

Polarity Browser 8.3.8 + Portable

CDBurnerXP 4.5.7.6462 (x86/x64) + Portable

CopyQ 2.8.1 + Portable

AviDemux 2.6.15 DC 03.12.2016 (x86/x64) + Portable

HandBrake 0.10.5 (x86/x64) DC 03.12.2016

FreeCAD 0.17.9123 (x86/x64) Dev Portable

Парни со стволами / War Dogs (2016/BDRip-AVC/3.45Gb)

MPC-BE 1.5.0.2232 (x86/x64) + Portable

SynWrite 6.29.2470 + Portable

Stellarium 0.90.0.8911 (x86/x64)

Домашняя Фотостудия 9.15 (2016) Portable by Spirit Summer

Морихеи Уэсиба. Непобедимый воин. Иллюстрированная биография основателя Айкидо

Наш опрос

Ваша любимая лезгинская группа?

1. гр.Казино
2. гр.Караван
3. гр.Самур
4. гр.Рассвет
5. гр.Даркуш
6. гр.Нур
7. гр.Аран
8. гр.Мирес


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

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

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

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

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

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




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

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


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


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

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


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

Кто on-line?

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

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



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









Связь с админом
Логин отправителя *:
E-mail отправителя *:
Тема письма:
Текст сообщения *:
Оценка сайта:




%