Последние темы автора:
Канал Друзья по переписке (15 ноября - 14 декабря) [Эван-Мультипликатор]
Магия Гекаты – Защитницы женщин [Светлана Таурте]
Философский читательский клуб Ивана Негреева.Лекция 3 [Точка интеллекта]...
Работа методами КПТ с созависимостью. Интенсивный курс [МИП] [Яна Кутузова]
Первые деньги на музыке. [FamousDJs] [Александр Владимиров]
Магия Гекаты – Защитницы женщин [Светлана Таурте]
Философский читательский клуб Ивана Негреева.Лекция 3 [Точка интеллекта]...
Работа методами КПТ с созависимостью. Интенсивный курс [МИП] [Яна Кутузова]
Первые деньги на музыке. [FamousDJs] [Александр Владимиров]
Математическая логика и теория алгоритмов для программистов. (Бакалавриат). Учебное пособие.
Посмотреть вложение 887668
Описание книги
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для...
Математическая логика и теория алгоритмов для программистов. (Бакалавриат) . Учебное пособие. [Дмитрий Гринченков, Сергей Потоцкий]
Посмотреть вложение 887668
Описание книги
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для...
Математическая логика и теория алгоритмов для программистов. (Бакалавриат) . Учебное пособие. [Дмитрий Гринченков, Сергей Потоцкий]