Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Также имеется ФРАГМЕНТ ТЕКСТА для ознакомления!
Коротко о главном в электронной книге темы Программирование с идентификатором 65761174:
Татьяна Пенькова, Виталий Вайнштейн, Ю. В. Вайнштейн работа о процессе разработки программ математика, программирование, учебники и пособия для вузов
Ниже приведены ТЕГИ, по которым можно посмотреть аналоги книг о процессе разработки ПО.
Скачать Математическая логика и теория алгоритмов ОнЛайн
Электронная книга в жанре математика, программирование, учебники и пособия для вузов логическая математика, математическая логика, модели и алгоритмы, прикладная математика, теория алгоритмов для обучения и всестороннего развития.
Скачать ОнЛайн материалы автора Татьяна Пенькова, Виталий Вайнштейн, Ю. В. Вайнштейн на устройства FB2 EPUB TXT RTF PDF HTML MOBI форматы. Цена от бесплатной до выставленной и в данном случае стоимость скачивания составляет 149.00 руб.
