Шапорев С.Д. Математическая логика. Курс лекций и практических занятий

формат 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 часов практических занятий. Он изучается после Дискретной математики параллельно с Программированием на языке высокого уровня. По окончанию курса проводится экзамен. Для чего будущему специалисту мира информационных систем нужен этот курс? Изучение его преследует две цели - изучить логические основы процесса написания программ и п...