Математическая логика
Математика
  • формат pdf
  • размер 1.1 МБ
  • добавлен 27 июля 2011 г.
Штанюк А.А. Лекции по математической логике и теории алгоритмов
Учебное пособие, 2006. - 78.

Курс Математическая логика и теория алгоритмов (МЛТА) включает 36 часов лекционных и 18 часов практических занятий. Он изучается после Дискретной математики параллельно с Программированием на языке высокого уровня. По окончанию курса проводится экзамен. Для чего будущему специалисту мира информационных систем нужен этот курс? Изучение его преследует две цели - изучить логические основы процесса написания программ и приобрести навыки строгого, формализованного мышления. Не секрет, что мы пользуемся законами логики и в обыденной жизни, и при профессиональном общении, но плохо представляем себе суть самой логики. Математическая логика (МЛ) традиционно рассматривается под разными углами зрения.
Специалисты-математики видят в ней прежде всего обоснование самих основ математических преобразований, науку о математических доказательствах. Поскольку предметом МЛ в этом случае становится все мыслимые объекты этого мира, то она становится не просто абстрактной, а очень абстрактной, абстрагированием от абстракций.
Наша задача гораздо скромнее. Компьютерные науки, имея непосредственное отношение к математическим и техническим наукам, тем не менее носят прикладной характер и конечной их целью является создание и использование вычислительных машин для человеческих нужд. Теоретические знания подтверждаются опытом - воплощением идей в железе и получении результатов по обработке информации. Поэтому МЛ для инженера, программиста, администратора и консультанта - наука о правильных вычислениях, обоснованных алгоритмах, надежно функционирующих программах. Она не рассматривает вопросы проектирования программ, но изучает языки программирования как формальные системы и касается аспектов эффективности и релевантности тех или иных алгоритмов.
Поэтому можно считать, что МЛ для инженера информационных систем носит более узкий и прикладной характер, а поэтому отличается от традиционного курса для математиков.
Похожие разделы
Смотрите также

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

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

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

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

Гордон Е.И. Лекции по математической логике и теории алгоритмов

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

Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов

  • формат djvu
  • размер 4.29 МБ
  • добавлен 28 декабря 2008 г.
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах: I. Алгебра высказываний; II. Булевы функции; III. Формализованное исчисление высказываний; IV. Логика предикатов; V. Эл...

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

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

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

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

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

  • формат djvu
  • размер 1.64 МБ
  • добавлен 23 августа 2010 г.
4-е изд., Издательство: Физматлит, Год: 2004. - 256 с. Качество: хорошее. Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформули...

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

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

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

Статья
  • формат doc
  • размер 168.15 КБ
  • добавлен 05 сентября 2008 г.
Лекции по математической логике. Основные понятия с примерами. Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.rn

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

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