Математическая логика и теория алгоритмов для программистов

Меню сайта

На главную Добавить новость Правила добавления новостей Обратная связь Правила tav.su Disclaimer

Для Журналистов

• Запрет на публикацию платных продуктов Microsoft
• Правила добавления новостей
• Как правильно оформить блок ссылок на скачку
• Создаем правильные теги
• Как заработать на свой сайт?
• Что необходимо для публикации?

Наша кнопка

Получается:

Популярные новости

Всемирная история (Вече). 69 книг (2016-2023)

История на пальцах (АСТ). 39 книг (2018-2024)

Историческая библиотека (АСТ). 323 книги (2001-2017)

Historia Rossica. 146 книг (1999-2024)

Проект Анонимус. Борис Акунин. 13 книг (2022-2023)

Сибирский приключенческий роман. 46 книг (2013-2023)

Бункер / Der Untergang / Downfall (2004) HDRip

Сделано в СССР. Любимый детектив. 136 книг (2014-2024)

Джон Голсуорси. Хроники семьи Форсайтов. Весь цикл в од ...

История с Наталией Басовской. 10 книг (2020-2022)

По указанному критерию материалов нет

Дмитрий Гринченков, Сергей Потоцкий - Математическая логика и теория алгоритмов для программистов (2010)

Книги » Спец. литература

didl3

Дмитрий Гринченков, Сергей Потоцкий - Математическая логика и теория алгоритмов для программистов (2010)

Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей,

программирование, обучение, книги, Математическая логика и теория алгоритмов для программистов