Книга "Математическая логика и теорема алгоритмов" автор Ю.В. Вайнштейна представляет собой изданный курс тематики, который охватывает предмет, обычно изучаемый студентами направлений подготовки Программной инженерии, Информационных систем и технологий, а также Системного анализа и управления. Однако этот курс будет также интересен и полезен для других заинтересованных специалистов.
В книге представлены такие темы, как алгебра логики, исчисление предложений, логика, исчисления предиката, а также формальные и аксиоматические математические теоремы. Это дает богатый и широкий взгляд на математическую логику, исследование алгоритмов и сложность вычислительных операций.
Книга нацелена на студентов, которые хотят углубить свои знания в данной области, но также учитывает, что многие студенты разных специальностей могут быть заинтересованы в этих темах. Такой подход к разработке книги способствует легкому восприятию содержания, понятию основных принципов, а также практическому применению и пониманию материала.
Изложены традиционные разделы математической логики и алгоритмов. Для специальных курсов в области компьютерной науки, а также для научных работников и аспирантов в этой области.
Электронная Книга «Математическая логика и теория алгоритмов» написана автором Ю. В. Вайнштейн в 2019 году.
Минимальный возраст читателя: 0
Язык: Русский
ISBN: 978-5-7638-4076-6
Описание книги от Ю. В. Вайнштейн
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
