Математическая логика
Математика
  • формат djvu
  • размер 2.36 МБ
  • добавлен 11 марта 2010 г.
Шапорев С.Д. Математическая логика. Курс лекций и практических занятий
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.

416 страниц.
Похожие разделы
Смотрите также

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

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

Доклад - Математическая логика

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

Конспект лекций для экзамена по курсу Математическая логика

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

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

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

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

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

Лихтарников Л.М., Сукачева Т.Г. Математическая Логика. Курс лекций

  • формат djvu
  • размер 1.59 МБ
  • добавлен 06 июня 2009 г.
Серия Учебники для вузов. - Санкт-Петербург, Издательство "Лань", 1999 -288 с. Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Включает в себя разделы: Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы

Лупанов О.Б. Лекции по математической логике

  • формат pdf
  • размер 365.13 КБ
  • добавлен 08 января 2011 г.
МехМат МГУ, 1 курс, 2 семестр. 2004. Оглавление: Булева алгебра. k-значная логика. Схемы из функциональных элементов. Автоматы. Логика. Исчисления и предикаты. Алгоритмы. Данный документ представляет собой курс лекций "Введение в математическую логику", читаемый деканом механико-математического факультета МГУ академиков РАН О. Б. Лупановым на I курсе мехмата во втором семестре.

Маркин П.М. Математическая логика

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

Поляков К. Тренажер Логика Версия 1.2

  • формат exe
  • размер 377.59 КБ
  • добавлен 05 марта 2011 г.
Тренажер "Логика" предназначен для проведения практических занятий. по теме "Математическая логика" в игровой форме. Подобная игра была. ранее написана для компьютеров "Ямаха" (программисты П. Меняйло и. М. Щекочихин). Данная программа представляет собой реализацию этой. идеи для операционных систем линейки Windows 95/98/Me/2000/XP/2003. Главные достоинства программы. - игровая форма закрепления учебного материала. - на данный момент автору неиз...

Штанюк А.А. Лекции по математической логике и теории алгоритмов

  • формат pdf
  • размер 1.1 МБ
  • добавлен 27 июля 2011 г.
Учебное пособие, 2006. - 78. Курс Математическая логика и теория алгоритмов (МЛТА) включает 36 часов лекционных и 18 часов практических занятий. Он изучается после Дискретной математики параллельно с Программированием на языке высокого уровня. По окончанию курса проводится экзамен. Для чего будущему специалисту мира информационных систем нужен этот курс? Изучение его преследует две цели - изучить логические основы процесса написания программ и п...