Описание: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
Цена: 274 руб.
Знаете ли Вы, что ...
Объективное исследование
Объективное исследование - беспристрастный, спокойный, лишенный пристрастия и предвзятости. Объективное отношение. Объективный ...
Защита временем
Защита временем - уменьшение вредного действия неблагоприятных факторов рабочей среды и трудового процесса на работников за ...
Аттестация рабочих мест по условиям труда
Аттестация рабочих мест по условиям труда - оценка условий труда на рабочих местах в целях выявления вредных и (или) опасных ...
Эпидемический процесс
Эпидемический процесс - это распространение инфекционных болезней среди людей.
Шумовая болезнь
Шумовая болезнь - общее заболевание организма с преимущественным поражением слуха, центральной нервной и сердечно-сосудистой ...
