RUSSIAN

Математическая логика и теория алгоритмов

By Агарева О.Ю. , Селиванов Ю.В.

Book information

Language
russian
Format
PDF
Filesize
602 kB (616485 bytes)
Pages
\80
Topic
Mathematics Logic
Library
twirpx
Time added
2017-08-07 07:01:42
Математика;Математическая логика

Description

Учебное пособие. — М. : МАТИ, 2011. — 80 с. ISBN 978-5-93271-611-3Учебное пособие предназначено для студентов МАТИ, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Оно ставит своей целью помочь студентам лучше усвоить теоретический и практический материал. Пособие посвящено изучению важных разделов математической логики (алгебры высказываний, логики предикатов) и теории алгоритмов. Его основу составляют конспекты лекций, которые читались студентам. Данное пособие содержит большое количество примеров, иллюстрирующих основные понятия указанных разделов математической логики и теории алгоритмов и утверждения, касающиеся этих понятий. Издание также может быть полезно для студентов других специальностей и преподавателей.

Similar books