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