Меню раздела
-
Бизнес. Экономика
- Антикризисное управление. Банкротство
- Бухгалтерский и управленческий учет. Налоги. Аудит
- Государственное и муниципальное управление
- Делопроизводство. Секретарское дело
- Деньги. Кредит. Банки. Валютные отношения
- Логистика
- Маркетинг
- Менеджмент
- Менеджмент в отдельных отраслях
- Мировая экономика. Внешняя торговля. Таможенное дело
- Предпринимательство. Бизнес-планирование
- Реклама. PR
- Сервис. Сфера обслуживания
- Страхование. Управление рисками
- Торговля. Товароведение. Управление продажами
- Туризм. Гостеприимство
- Управление качеством. Стандартизация
- Управление персоналом. Лидерство. Коммуникации
- Финансы. Финансовый менеджмент
- Ценные бумаги. Фондовый рынок. Инвестиции
- Ценообразование
- Экономика
- Экономика отдельных отраслей
-
Гуманитарные и общественные науки
- Антропология
- Библиотечное дело. Библиотековедение
- Биографии. Мемуары
- Дизайн. Изобразительное искусство
- Другие гуманитарные книги
- Журналистика
- Искусствоведение
- История
- Конфликтология
- Культурология. Культура
- Легкая и пищевая промышленность. Общественное питание
- Логика
- Музыка. Театр. Кинематограф. Музеи
- Обществознание
- Политология. Международные отношения
- Религиоведение
- Риторика
- Социология. Демография
- Физическая культура
- Филология. Литературоведение
- Философия
- Этика. Эстетика
- Естественные науки
- Здравоохранение. Медицина
- Компьютеры. Интернет. Информатика
- Математика. Статистика
- Педагогика. Психология. Социальная работа
-
Право. Юриспруденция
- Авторское, информационное и патентное право
- Адвокатура, Нотариат
- Административное право. Муниципальное право
- Банковское право
- Введение в специальность
- Военное право
- Гражданский процесс. Судопроизводство. Арбитраж
- Гражданское право
- Жилищное право
- Земельное право. Экологическое право
- Коммерческое право. Хозяйственное право
- Конституционное право
- Криминология. Криминалистика. Оперативно-розыскная деятельность
- Международное право. Право в зарубежных странах
- Налоговое право
- Обязательственное право
- Органы юстиции. Судебная система
- Правоведение. Теория права. История государства и права
- Правоохранительные органы
- Семейное право. Наследственное право
- Таможенное право
- Трудовое право. Право социального обеспечения
- Уголовное право. Уголовный процесс
- Финансовое право
- Юриспруденция
-
Прикладные науки. Техника
- Автоматика и управление
- Биологическая технология
- Военное дело
- Геодезия. Картография. Кадастры
- Горное дело. Нефтегазовое дело.
- Машины. Машиностроение. Приборостроение
- Металлургия
- Метрология. Стандартизация. Сертификация
- ОБЖ. Техника безопасности. Охрана труда
- Радиотехника. Телекоммуникации. Связь
- Разведка и разработка полезных ископаемых
- Строительство. Архитектура. Ремонт
- Технология производства
- Транспорт. Автомобили. Авиация. Флот
- Химическая технология
- Электротехника. Электроника
- Энергетика. Энергетическое машиностроение
- Ядерная технология
- Сельское хозяйство. Природопользование
- Словари. Энциклопедии. Справочники
- Языкознание. Иностранные языки. Словари
По уровню образования:
Математическая логика и теория алгоритмов для программистов. (Бакалавриат, Специалитет). Учебное пособие.
код 642513
Год издания: 2023 г.
ISBN:
978-5-406-09138-8
Дисциплина:
Математическая логика и теория алгоритмов
Издательство:
КноРус
Гриф:
Допущено Министерством образования и науки
Российской Федерации
в качестве учебного пособия
для студентов высших учебных заведений,
обучающихся по специальности
«Программное обеспечение вычислительной техники
и автоматизированных систем» направления
подготовки «Информатика и вычислительная техника»
Страниц:
166
Вид издания:
Учебное пособие
Оптовая цена:
599 руб.
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Для студентов вузов, обучающихся по специальностям «Программное обеспечение вычислительной техники и автоматизированных систем», «Математическое обеспечение и администрирование информационных систем» и специальностям направления «Информатика и вычислительная техника» дневной и заочной форм обучения.
Для студентов вузов, обучающихся по специальностям «Программное обеспечение вычислительной техники и автоматизированных систем», «Математическое обеспечение и администрирование информационных систем» и специальностям направления «Информатика и вычислительная техника» дневной и заочной форм обучения.
Гринченков, Д. В., Математическая логика и теория алгоритмов для программистов : учебное пособие / Д. В. Гринченков, С. И. Потоцкий.
