Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

формат djvu
размер 772.51 КБ
добавлен 06 января 2011 г.

Учебное пособие для вузов, М.: МЦНМО. 1999. -291 с. ISBN: 5-900916-39-1.
Качество: Отсканированные страницы.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).

Похожие разделы

Смотрите также

Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств

формат djvu
размер 329.41 КБ
добавлен 06 января 2011 г.

Учебное пособие для вузов, М.: МЦНМО. 1999. -124 с. ISBN: 5-900916-36-7. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех инте...

Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

формат djvu
размер 464.16 КБ
добавлен 06 января 2011 г.

Учебное пособие для вузов, М.: МЦНМО. 2000. -177 с. ISBN: 5-900916-39-1. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иера...

Верещагин Н.К., Шень А. Языки и иcчисления. Лекции по математической логике и теории алгоритмов

формат pdf
размер 1.59 МБ
добавлен 11 декабря 2010 г.

Москва: МЦНМО, 2002. - 288 с. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихс...

Игошин В.И. Математическая логика и теория алгоритмов

формат djvu
размер 6.64 МБ
добавлен 28 декабря 2008 г.

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

Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

формат djvu
размер 2.52 МБ
добавлен 30 декабря 2008 г.

3 изд. , 1995. В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник...

Лекции - Математическая логика и основы теории алгоритмов

Статья

формат pdf
размер 1.54 МБ
добавлен 11 марта 2010 г.

12 лекций по математической логике и теории алгоритмов. Второй курс, СФУ ИКИТ, 2009 год, преподаватель Вепринцев Д. В. Рассматриваемые вопросы: Алгебра высказываний. Тавтологии алгебры высказываний. Признаки логического следствия. Булевы функции. Нормальные формы булевых функций. Алгебра Жегалкина. Монотонность функции. Теорема о полноте. Релейно-контактные схемы. Логика предикатов. Кванторные операции над предикатами. Аристотелева силлогистика....

Лекции по математической логике

Статья

формат doc
размер 168.15 КБ
добавлен 05 сентября 2008 г.

Лекции по математической логике. Основные понятия с примерами. Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.rn

Лекции по математической логике (компактные)

Статья

формат rtf
размер 4.75 МБ
добавлен 19 сентября 2007 г.

Теория алгоритмов. Различные подходы к определению алгоритма. Машина с неограниченными регистрами (МНР). Машина Тьюринга - Поста. Нормальные алгоритмы Маркова. Реализация функции натурального переменного. Эквивалентность трех подходов к понятию алгоритм. Булевы функции. Основные определения. Дизъюнктивные нормальные формы. Логические Исчисления. Исчисления высказывания (ИВ). Правило одновременной подстановки. Критерий выводимости в ИВ. Непроти...

Лекции по математической логике и теории алгоритмов

формат pdf
размер 1.47 МБ
добавлен 09 ноября 2010 г.

Лекции по математической логике и теории алгоритмов. Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебра Жегалкина. Высказыван...

Судоплатов С.В., Овчинникова Б.В. Математическая логика и теория алгоритмов: Учебник

формат djvu
размер 1.25 МБ
добавлен 03 октября 2010 г.

— М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004. - 224 с. - (Высшее образование). В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.