Орехов Ю.В., Орехов Э.Ю. Математическая логика: учебное пособие

Учеб. пособие. — 2-е изд. -СПб.: СЗТУ, 2003, 104 с. Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 -"Информатика и вычислительная техника" (Специальность 220100 -"Вычислительные машины, комплексы, системы и сети") и направления подготовки бакалавров 552800 - "Информатика и вычислительная техника". В пособии...

Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2005. - 34 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов» Приводятся основные понятия и утверждения логики высказываний и предикатов. В логике высказываний даются основные методы построения вывода. В логике предикатов вводятся нормальные формы описания предметной области и получение вывода с помощью метода резолюций.

Учебно-методическое пособие. - Таганрог: Изд-во ТРТУ, 2003. - 65 с. В настоящем пособии изложены основные законы и теоремы математической логики, лежащей в основе современной теории алгоритмов, а также задачи по теории множеств. Пособие предназначено для изучения лекционных курсов "Математическая логика и теория алгоритмов" студентам специальности 07500. Подготовлено на кафедре безопасности информационных технологий ТРТУ.

Нижний новгород, 1998. 86 с. Учебное пособие представляет запись лекций по курсу "Теория алгоритмов и математическая логика" для механико-математического факультета, обучающихся по специальности "Математика". Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории.

Математическая логика в лицах. Введение. Язык логики предикатов. Синтаксис языка логики предикатов . Семантика языка логики предикатов. Логика предикатов. Исчисление предикатов. Определение формулы логики предикатов. Свободные и связные вхождения. переменных в формулы. Логические и кванторные операции. над предикатами. Применение языка логики предикатов для . записи математических предложений, . определений, построения отрицания предложений.

2-е изд., стер. — М.: Издательский центр «Академия», 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса ма...

Кожухов И. Б. Математическая логика и теория алгоритмов: Учебное пособие, Москва - МГУ, 2004. 148 с. Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алго-ритмов (машины Тьюринга и вычислительные функции), а также осно-вания теории множеств

Название: Математическая логика. Курс лекций. Автор: Тимофеева И. Л. Издательство: КДУ. Год: 2007. Страниц: 304. Формат: pdf. Размер: 1,3 mb. ISBN 978-5-98227-307-9. Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает...

Лекции по курсу. - Москва: РГУИТП, 2006. - 62с. Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания). Основными разделами математической логики является: логика высказываний, логика предикатов,...

Учебное пособие. - ПГАТИ, 2004. - 64 с. Математическая логика и теория алгоритмов являются основой курса дискретной математики, что нашло отражение в данном учебном пособии. Учебное пособие адресовано студентам, обучающимся по направлениям 210300 - радиотехника, 230000 - информатика и вычислительная техника, и по специальностям: 210401 - физика и техника оптической связи, 210402 - средства связи с подвижными объектами, 210403 - защищенные систем...