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

Агарева О.Ю., Селиванов Ю.В. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 602.04 КБ
  • добавлен 22 августа 2013 г.
Учебное пособие. — М. : МАТИ, 2011. — 80 с. ISBN 978-5-93271-611-3 Учебное пособие предназначено для студентов МАТИ, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Оно ставит своей целью помочь студентам лучше усвоить теоретический и практический материал. Пособие посвящено изучению важн...

Алгоритмы и автоматы

Курсовая работа
  • формат doc
  • размер 88.34 КБ
  • добавлен 08 июня 2013 г.
Алатырь: Чувашский государственный университет имени И.Н. Ульянова, 2009. – 19 с. Дисциплина – Математическая логика. Введение. Проблема определения понятия "алгоритм. Понятие алгоритма. Формализация понятия алгоритмов. Теория алгоритмов. История конечных автоматов: машина Поста и машина Тьюринга. Детерминированные конечные автоматы. Представление детерминированного конечного автомата в виде графа. Минимизация детерминированного конечного автомат...

Алиев Ф.К., Юров И.А. Курс лекций по математической логике и теории алгоритмов

  • формат doc
  • размер 948,60 КБ
  • добавлен 21 марта 2012 г.
Учебное пособие. М.: МИФИ, 2003. – 199 с. В настоящем учебном пособии изложены основы теории двоичных функций, исчисления предикатов, теории моделей, элементов теории алгоритмов и теории сложности вычислительных задач. Книга предназначена для студентов, специализирующихся в областях, связанных с информационной безопасностью, а также для преподавателей дискретной математики. В книге 18 лекций. Содержание. Введение Основные способы задания двоичн...

Андрійчук В., Комарницький М., Мельник І. Елементи математичної логіки та теоріі рекурсії

  • формат pdf
  • размер 764.75 КБ
  • добавлен 21 декабря 2011 г.
Навчальний посібник. - Львів: Львівський національний університет імені Івана Франка, 2007. - 152. Метою даної книжки є виклад базових тем математичної логіки, до входять до програм цього курсу для студентів механико-математичних факультетів університетів у зручній для сприйняття формі. Зміст: Розділ I. Семіотика, логічні мови і алгебра висловлень. Семіотика і загальна фнформація про мови першого порядку. Висловлення та дії над ними. Бульові алге...

Анкудинов Г.И., Анкудинов И.Г., Петухов О.A. Математическая логика и теория алгоритмов

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

Архангельский В.В. Учебная программа по дисциплине Математическая логика и теория алгоритмов

  • формат doc
  • размер 80,36 КБ
  • добавлен 19 октября 2012 г.
Киров: Вятский социально-экономический институт (ВСЭИ), 2010. – 14 с. Цель курса: формирование знаний и представлений о понятиях и методах математической логики, ее месте и роли в науке, современной математике и в школьном курсе математики. Задачи курса: - заложить основы логики и исчисления высказываний и предикатов; - дать представление о формальных математических теориях и вопросах обоснования математики; - научить применению логики предика...

Асеева Т.В. Математическая логика. Методические указания по курсу лекций

Практикум
  • формат doc
  • размер 186,94 КБ
  • добавлен 29 сентября 2012 г.
Тверь: Тверской государственный технический университет (ТГТУ), 2003. - 46 с. Настоящие методические указания предназначены для изучения основ математической логики в части логики предикатов, исчисления высказываний и исчисления предикатов. В нем также даны основные определения формальных систем. Логика высказываний и логика предикатов рассматриваются как примеры формальных систем. Конспект лекций предназначен для студентов специальности 22.01 –...

Бабаева З.В. (сост.) Теория логических информационных отношений

  • формат doc
  • размер 40.04 КБ
  • добавлен 08 февраля 2013 г.
Учебно–методический комплекс и рабочая учебная программа для студентов специальности 080801 "Прикладная информатика (в экономике)". М.: МИИТ, 2011. – 21 с. Комплекс позволит: знать определение предиката, уметь находить область определения и множество истинности предиката; знать правила построения предикатов; иметь представление об основных понятиях математической логики; строить высказывания, выполнять над ними бинарные операции; иметь предста...

Барвайс Дж. Справочная книга по математической логике: В 4-х частях. Ч. III. Теория рекурсии

Справочник
  • формат djvu
  • размер 8.88 МБ
  • добавлен 18 апреля 2013 г.
М.: Наука. Главная редакции физико-математической литературы, 1982. — 360 с. Качество: хорошее, текстовый слой, оглавление. Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств. Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в ко...

Барвайс Дж. Справочная книга по математической логике: В 4-х частях. Ч. III. Теория рекурсии

Справочник
  • формат pdf
  • размер 11.31 МБ
  • добавлен 09 октября 2016 г.
М.: Наука. Главная редакции физико-математической литературы, 1982. — 360 с. Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств. Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в которых рассматриваются более специальные вопросы...

Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика

  • формат djvu
  • размер 5.03 МБ
  • добавлен 16 мая 2009 г.
М.: Мир, 1985. - 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирант...

Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика

  • формат pdf
  • размер 15.89 МБ
  • добавлен 17 февраля 2011 г.
М.: Мир, 1985. - 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспиранто...

Белов Ю.А., Соколов В.А. Лекции по математической логике и теории алгоритмов

  • формат pdf
  • размер 19,21 МБ
  • добавлен 21 января 2017 г.
Учебное пособие. — Ярославль: ЯрГУ, 2013. — 139 с. — ISBN 978-5-8397-0908-9. Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмичес...

Беркли Э. Символическая логика и разумные машины

  • формат djvu
  • размер 1.98 МБ
  • добавлен 13 марта 2009 г.
Год издания: 1961 Количество страниц: 260 Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор переходит к современным цифровым автоматическим счетным машинам, описывает их. ст...

Беркли Э. Символическая логика и разумные машины

  • формат pdf
  • размер 7.89 МБ
  • добавлен 22 июля 2014 г.
М.: Изд-во иностранной литературы, 1961. — 260 с. Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор переходит к современным цифровым автоматическим счетным машинам, описывает...

Билеты по математической логике

Билеты и вопросы
  • формат doc
  • размер 38,28 КБ
  • добавлен 02 декабря 2012 г.
Экзамен. ПГЛУ, г. Пятигорск, Мансурова А.А., 1 курс, 2011 г., 20 вопросов. Множества. Конечное, пустое, бесконечное множество. Способы задания множеств. Подмножества. Свойства подмножеств. Операции над множествами. Объединение, пересечение Операции над множествами. Разность, дополнение. Универсальное множество. Свойства операций над множествами. Ассоциативный (сочетательный) закон. Коммутативный (переместительный) закон. Дистрибутивный (распреде...

Битюцкий В.П., Папуловская Н.В. Математическая логика. Исчисления высказываний и предикатов

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

Борщев В.Б., Partee B.H. Интеграция лексической и формальной семантики

  • формат pdf
  • размер 2.73 МБ
  • добавлен 21 сентября 2010 г.
Казань, 2003. 58 с. Курс лекций по логической семантике, прочитанный в Казанском университете в 2003 г. Содержит элементарное изложение методов, средств и проблем описания семантики естественных языков. Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка. Формальная семантика. Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой. Семантика Монтегю для именных групп. Превые шаги к интеграции формальн...

Босс В. От Диофанта до Тьюринга (Лекции по математике, Том 6)

  • формат djvu
  • размер 2.03 МБ
  • добавлен 30 сентября 2009 г.
М.: "КомКнига", 2006. - 208 с. Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительн...

Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам

  • формат pdf
  • размер 16.15 МБ
  • добавлен 21 сентября 2015 г.
М.: Наука, 1976. — 308 с. В сборнике представлены статьи по аксиоматической теории множеств, теории моделей, дескриптивной теории множеств, арифметике второго порядка, нестандартным моделям арифметики, логике предикатов высших ступеней, а также по многозначным, модальным и другим неклассическим логикам. Кановей В. Г. Определимость с помощью степеней конструктивности Введение Нормальные множества Основные определения ξK-исчисление χ-нормальные мно...

Братчиков И.Л. Конспект лекций Математическая логика и теория алгоритмов

  • формат pdf
  • размер 1,53 МБ
  • добавлен 28 января 2017 г.
СПбГУ, СПб, 2010, составлены самим лектором Братчиковым И.Л. Конспект-учебник имеет следующую структуру: Введение Основы математической логики Силлогизмы Аристотеля Исчисление высказываний Формулы исчисления высказываний Интерпретация формул исчисления высказываний Семантические деревья и алгоритм Куайна Теорема об общезначимости Эквивалентные преобразования в исчислении высказываний Упрощение релейно-контактных схем Дизъюнктивные и конъюнктивные...

Бродский И.Н. Элементарное введение в символическую логику

  • формат tif
  • размер 150 МБ
  • добавлен 20 июня 2009 г.
Элементарные и сложные высказывания; Язык логики высказываний; Семантика логических союзов; Логические условия истинности формул логики высказываний; Равносильные формулы; Тождественно истинные и тождественно ложные формулы; Конъюнктивная нормальная форма; Совершенная конъюнктивная нормальная форма; Сокращенная конъюнктивная нормальная форма; Дизъюнктивная нормальная форма; Аксиоматическое представление логики высказываний; Натуральное исчисление...

Булева алгебра

Статья
  • формат ppt
  • размер 75,11 КБ
  • добавлен 06 октября 2016 г.
Национальный исследовательский Томский политехнический университет. 2016. 10 с. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Булевы функции Элементарные булевы функции Функции одной переменной Функции двух переменных

Булос Дж., Джеффри Р. Вычислимость и логика

  • формат pdf
  • размер 17.48 МБ
  • добавлен 06 января 2010 г.
Дж. Булос, Р. Джеффри Вычислимость и логика Изд. "Мир"-М. , 1984. Счетность. Диагнолизация. Машины Тьюринга. Логика первого и второго порядка. Леммы Крейга. Теорема Рамсея.

Булос Дж., Джеффри Р. Вычислимость и логика

  • формат djvu
  • размер 9.81 МБ
  • добавлен 02 мая 2010 г.
Пер. с англ. - М., Мир, 1994 - 396 с., ил. Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980 1989 гг. ). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знамен...

Быкова С.В., Буркатовская Ю.Б. Булевы функции

Практикум
  • формат pdf
  • размер 426.41 КБ
  • добавлен 23 августа 2009 г.
Методическое пособие, ТПУ 2002г Булевы константы и векторы Булево пространство, интервал в булевом пространстве Булевы переменные, булевы функции, фиктивные переменные Формулы и равносильности Двойственная функция и двойственная формула Разложение булевой функции по переменным и совершенные нормальные формы Дизъюнктивная нормальная форма Сокращенная, кратчайшая, минимальная и безызбыточная ДНФ Минимизация булевых функций

Валицкас А.И. Конспект лекций по математической логике

  • формат pdf
  • размер 1.69 МБ
  • добавлен 15 января 2011 г.
Учебно-методическое пособие для студентов физико-математических факультетов педвузов. Тобольск, 2010. – 186 c. Рекомендовано УМО по математике педвузов Волго-Вятского региона в качестве учебного пособия для студентов физико-математических специальностей высших учебных заведений. Учебно-методическое пособие представляет конспект курса лекций по математической логике, читаемого автором в течение ряда лет на математическом факультете в Тобольской...

Верещагин Н.К. Введение в математическую логику

  • формат pdf
  • размер 468.87 КБ
  • добавлен 02 июля 2011 г.
Лекции для 1-го курса мехмата МГУ. Логика высказываний: - высказывания и операции, - полные системы связок. Исчисление высказываний, интуиционистская пропозициональная логика. Языки первого порядка: - формулы и интерпретации, - определение истинности, - выразимые и невыразимые предикаты, - автоморфизмы, - элиминация кванторов. Исчисление предикатов: - общезначимые формулы, - аксиомы и правила вывода, - корректность исчисления предикатов, - вы...

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

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

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

  • формат pdf
  • размер 987,61 КБ
  • добавлен 17 октября 2012 г.
4-е изд., доп. — М.: МЦНМО, 2012. — 112 c. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150 задач...

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

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

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

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

Верещагин Н.К., Шень А. Начала теории множеств

  • формат pdf
  • размер 907.47 КБ
  • добавлен 04 октября 2009 г.
М.: МЦНМО, 2002 г. - 128 с. 150 задач различной трудности. По материалам лекций и семинаров для студентов младших курсов мехмата МГУ. Основные понятия "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Содержание: 1. Множества и мощности. 1.1. Множества. 1.2. Число элементов. 1.3. Равномощные множества. 1.4. Счётные множества. 1.5. Теорема Кантора-Бернштейна. 1.6. Теорема Кантора. 1.7. Функции. 1.8....

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

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

Волченко Ю.М. Логика и множества

  • формат pdf
  • размер 368,49 КБ
  • добавлен 10 февраля 2012 г.
Лекция с анимацией. Высказывания. Операции над высказываниями. Тавтологии. Теоремы. Предикаты. Множества, операции над ними. Отношения между множествами. Анимация переключательной схемы. Знакомство с системой Mathematica. Ее применение для проверки истинности высказываний и выполнения операций над ними, для решения простых задач теории множеств.

Вольфенгаген В.Э., Исмаилова Л.Ю., Косиков С.В. Модели вычислений. Конспект лекций

  • формат pdf
  • размер 1,43 МБ
  • добавлен 17 ноября 2015 г.
Москва: Изд-во МИФИ, 2007. — 306 с. Изложен основной круг задач, сводимых к исчислению объектов - от простого к сложному. Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и λ-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих...

Воротников С.М. Введение в математическую логику

  • формат doc
  • размер 1,01 МБ
  • добавлен 19 января 2015 г.
Учебно-практ. пособие. – Комсомольск-на-Амуре: Государственное образовательное учреждение высшего профессионального образования «Комсомольский-на-Амуре гос. техн. ун-т», 2003. – 61 с. Данное пособие является методической основой для самостоятельного изучения следующих вводных разделов математической логики и ее приложений: формулы логики высказываний и операции над ними; упрощение записи формул; доказательство равносильности, тождественной истинн...

Галиев Ш. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 7.14 МБ
  • добавлен 28 января 2010 г.
Пособие содержит следующие разделы. Логику высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики. Теорию алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные функции и их взаимосвязи. Понятие о сложности вычислений, различн...

Галиев Ш.И. Математическая логика и теория алгоритмов

  • формат djvu
  • размер 1.27 МБ
  • добавлен 04 января 2012 г.
Казань: Издательство КГТУ им. А. Н. Туполева, 2002. - 270 с. Пособие содержит следующие разделы: Логика высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики. Теория алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные...

Галуев Г.А. Математическая логика и теория алгоритмов

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

Гамова А.Н. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 761.91 КБ
  • добавлен 21 января 2011 г.
Саратов: Изд-во СГУ, 1999. - 76 с. Данное учебное пособие представляет собой курс лекций, которые автор читает на механико-математическом факультете Саратовского государственного университета, начиная с 1993 года. Содержание курса составили два раздела математической логики: исчисления и алгоритмы. Подбор материала лекций определялся задачей развития у слушателей навыков использования методов математической логики для изучения других математическ...

Гедель К. Совместимость аксиомы выбора и обобщенной континуум-гипотезы с аксиомами теории множеств

Статья
  • формат pdf
  • размер 5,99 МБ
  • добавлен 23 февраля 2016 г.
Из журнала "Успехи математических наук" 1948 г., т. 3, вып. 1(23), стр. 96-149 Принстонские лекции 1938/39 г. В этих лекциях доказано, что аксиома выбора и обобщённая канторова континуум-гипотеза совместимы с остальными аксиомами теории множеств, если эти последние совместимы.

Герасимов А.С. Курс математической логики и теории вычислимости

  • формат pdf
  • размер 2,27 МБ
  • добавлен 1 апреля 2015 г.
Учебное пособие. — 4-е изд., перераб. и доп. — СПб.: Лань, 2014. — 416 c. — (Учебники для вузов. Специальная литература). — ISBN 978-5-8114-1666-0. Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчислени...

Герман О.В. Неклассические логические исчисления

  • формат pdf
  • размер 6,35 МБ
  • добавлен 15 октября 2016 г.
Учебно—методическое пособие. — Минск: БГУИР, 2012. — 124 с. Пособие посвящено теоретико—прикладным проблемам неклассических логик. Рассматриваются вопросы представления знаний, построения машин вывода для моделей знаний, использующих неклассические логические формализации. Описаны вопросы, связанные с мотивацией введения многозначных логических исчислений из-за логических парадоксов и аномалий, их причины и способы преодоления. Предназначено дл...

Гильберт Д., Аккерман В. Основы теоретической логики

  • формат pdf
  • размер 17,39 МБ
  • добавлен 08 ноября 2015 г.
2-е изд. — М.: Государственное издательство иностранной литературы, 1947. — 306 с. Текстовый слой, оглавление. Перевод руководства по элементам математической логики Д.Гильберта и В.Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д.Гильберта и написана его учеником Аккерманом. Философские проблемы, связанные с математической логикой и ее приложениям...

Гильберт Д., Аккерман В. Основы теоретической логики

  • формат djvu
  • размер 4,44 МБ
  • добавлен 17 октября 2015 г.
2-е изд. — М.: Государственное издательство иностранной литературы, 1947. — 306 с. +OCR, Оглавление. Перевод руководства по элементам математической логики Д.Гильберта и В.Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д.Гильберта и написана его учеником Аккерманом. Философские проблемы, связанные с математической логикой и ее приложениями к основа...

Гиндикин С.Г. Алгебра логики в задачах

  • формат djvu
  • размер 3.18 МБ
  • добавлен 23 января 2009 г.
В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблеммы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах.

Гладкий А.В. Математическая логика

  • формат djvu
  • размер 4.83 МБ
  • добавлен 27 ноября 2009 г.
М.: Изд. центр РГГУ, 1998. - 478 с. Учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основных идей и тщательной проработке деталей. Книга содержит много задач и упражнений.

Глухов М.М. Математическая логика

  • формат djvu
  • размер 9,75 МБ
  • добавлен 1 апреля 2015 г.
Учебное пособие, М.: 1981. - 117 с. Множества с отношениями и операциями. Алгебры высказываний и предикатов. Исчисление предикатов. Булевы функции и их обобщения. Реализация булевых функций. Элементы теории алгоритмов. Сложность алгоритмов и вычислений.

Глухов М.М., Шишков А.Б. Математическая логика. Дискретные функции. Теория алгоритмов

  • формат djvu
  • размер 2,54 МБ
  • добавлен 1 апреля 2015 г.
СПб.: Лань, 2012. — 406 с. Учебное пособие содержит полное изложение материала учебных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стандарта высшего профессионального образования по специальностям «Компьютерная безопасность», «Информационная безопасность автоматизированных систем» и некоторым другим смежным специальностям. Пособие состоит из трех взаимосвязанных частей, составляющ...

Голованов М.И. Нестандартные логики. Реляционная семантика

  • формат pdf
  • размер 683.29 КБ
  • добавлен 01 февраля 2012 г.
Курс лекций / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 103с. Содержание: Введение. Краткий экскурс в историю логических исследований. Определение пропозициональной логики. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ? Расширение логики Lp с помощью связки : Трансляции. Свойства некоторых расширений ло...

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

  • формат pdf
  • размер 7.53 МБ
  • добавлен 02 октября 2010 г.
НГУ. Новосибирск. 2007. - 141 с. Содержание: Модели и алгебраические системы фиксированной сигнатуры; Гильбертовское исчисление предикатов; Секвенциальное исчисление предикатов; Нормальные формы в исчислении предикатов; Непротиворечивые множества формул; Теория Хенкина; Теорема Гёделя о полноте; Аксиоматическая теория множества ZF; Арифметика Пеано; Примитивно рекурсивные функции и отношения; Теоремы о представимости; Гёделевская нумерация; Алгор...

Гончаров С.С. Лекции по математической логике. Часть 1

  • формат pdf
  • размер 595,87 КБ
  • добавлен 18 февраля 2017 г.
Новосибирск: Новосибирский государственный университет, 2006. — 157 с. В представленном пособии изложены лекции по математической логике (I часть), которые читались в Новосибирском государственном университете в 2006/07 учебном году.

Гончаров С.С. Счетные булевы алгебры и разрешимость

  • формат djvu
  • размер 3.56 МБ
  • добавлен 27 февраля 2011 г.
Новосибирск: Научная книга, 1996, — 364 с., — (Сибирская школа алгебры логики). Третий том учрежденной в 1995 г. Сибирским фондом алгебры логики математической книжной серии «Сибирская школа алгебры логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгеб...

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

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

Гринченков Д.В., Потоцкий С.И. Математическая логика и теория алгоритмов для программистов

  • формат pdf
  • размер 11,46 МБ
  • добавлен 1 апреля 2015 г.
М.: КНОРУС, 2010. — 207 c. — ISBN: 9785406001202 Пособие помогает освоить главные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с применением разных моделей, а также получить прикладные умения по пользованию методов математической логики и теории алгоритмов для решения прикладных задач и их программной реализации. Для студентов вузов, учащихся...

Гудстейн Р.Л. Математическая логика

  • формат djvu
  • размер 3.68 МБ
  • добавлен 22 ноября 2010 г.
М.: ИЛ, 1961. - 162 с. Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р. Л. Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при неболь...

Гулай Т.А., Мелешко С.В., Невидомская И.А. Математическая логика. Типовые расчёты

Практикум
  • формат pdf
  • размер 7,97 МБ
  • добавлен 19 января 2014 г.
Методические указания и контрольные задания. - Ставрополь: СтГАУ, 2013. - 28 с. Приведены основные понятия и утверждения математической логики (алгебры высказываний), руководство к решению типовых задач и образцы решений. Предложены варианты контрольных заданий.

Гуров С.И. Исчисления высказываний классической логики

  • формат pdf
  • размер 885.7 КБ
  • добавлен 14 декабря 2015 г.
М.: Издательский отдел факультета ВМиК им. М. В. Ломоносова (лицензия ИД  05899 от 24.09.2001 г.); МАКС Пресс, 2012. - 134 с. Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Классическая алгебра логики. Алгебра высказываний. Бинарные отношения на множестве формул. Характеризация формул алгебра высказываний. Исчисления высказываний. Гильберт...

Гуц А.К. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 1.21 МБ
  • добавлен 15 сентября 2008 г.
Учебное пособие. — Омск: Наследие. Диалог-Сибирь, 2003 г. — 107 с. Омский гос. ун-т. Кафедра кибернетики. Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского государственного университета в 2002 году. Для студентов, обучающихся по специальности 075200 - «Компьютерная безопасность» и по специаль...

Гуц А.К. Математическая логика и теория алгоритмов

  • формат djvu
  • размер 867.4 КБ
  • добавлен 09 ноября 2010 г.
Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. основу пособия составляют конспекты лекций, которые читались студентам вторго курса отделения компьютерных наук Омского гос. универститета в 2002 г. Для студентов специальностей 075200 - "Компьютерная безопасность" и по специальности 220100 - "Вычислительные машины, комплексы, системы и сети". Содержание разделов: Логика. Классическая логика. Логика высказываний....

Девис М. Прикладной нестандартный анализ

  • формат djvu
  • размер 2,13 МБ
  • добавлен 16 января 2012 г.
М.: Изд-во МИР, 1980, - 236 с. Книга посвящена актуальному, но совершенно недостаточно освещенному в монографической литературе разделу математической логики - теории нестандартных моделей математического анализа. Этот раздел представляет фундаментальный общематематический интерес, так как позволяет по-новому взглянуть на логические основы анализа, заложенные еще Лейбницем и Ньютоном. Изложение очень отчетливое и не требует специальных знаний. кн...

Депман И.Я. Первое знакомство с математической логикой

  • формат djvu
  • размер 1.28 МБ
  • добавлен 28 ноября 2009 г.
Ленинград: Знание, 1963. - 57 с. Учебное пособие, для тех. кто начинает изучать математическую логику. Все очень доступно и с многочисленными примерами. Есть раздел о истории математической логики.

Депман И.Я. Первое знакомство с математической логикой

  • формат pdf
  • размер 3.14 МБ
  • добавлен 20 марта 2016 г.
2-е изд., испр. — Л.: Знание. Ленинградская организация, 1965. — 59 с. Математическая логика — эти слова все чаще можно услышать в разговорной речи, увидеть в газетных и журнальных статьях. Их употребляют не только ученые, инженеры и техники, машиностроители и учителя. Человек издавна стремился к созданию приборов и машин, которые выполняли бы за него не только физическую, но и умственную работу. В настоящее время человечество имеет такие машины....

Депман И.Я. Первое знакомство с математической логикой

  • формат djvu
  • размер 1,32 МБ
  • добавлен 19 марта 2016 г.
2-е изд., испр. — Л.: Знание; Ленинградская организация, 1965. — 59 с. Из истории математической логики. Знакомство с математической логикой. Начальные идеи алгебры логики. Правила обычной алгебры. Алгебра высказываний. Некоторые особенности алгебры высказываний. Физическое истолкование сложения и умножения в алгебре логики. Решение логических уравнений. Напоминание начинающему. Примечания к решению задач и ответы к упражнениям. Второй способ реш...

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

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

Доксиадис А., Пападмитриу Х. Логикомикс

  • формат pdf
  • размер 143,26 МБ
  • добавлен 1 апреля 2015 г.
Доксиадис А., Пападимитриу X. Логикомикс. Поиски истины. [пер. с англ. С. Чернышов]. М.: Карьера Пресс, 2014. - 336 с. ISBN Я72 -5-Я04Я4 Ь-70-2 Самая уникальная графическая история всех времен. Главный герой графической новеллы - Бертран Рассел. Он одержим великой Миссией - установить незыблемые логические основания математики. На пути поисков абсолютной правды он должен еще обустроить и свое личное счастье, но при этом не соскользнуть в безумие....

Дрозд Ю. Основи математичної логіки (на укр. языке)

  • формат pdf
  • размер 664.47 КБ
  • добавлен 01 ноября 2010 г.
К.: Київський університет імені Т. Шевченка, 2003. - 96 с. Учебник создан за материалами курса математической логики, который преподается в Киевском университете имени Тараса Шевченка. Этот курс играет огромную роль в формировании математического мышления и понимания построения математики как науки. Разделы учебника: Логика высказываний, Логика отношений, Формальная математика.

Дурнев В.Г. Элементы теории множеств и математической логики

  • формат djvu
  • размер 11.03 МБ
  • добавлен 05 октября 2009 г.
Ярославль, Ярославский государственный университет, 1978. -117 с. Настоящее учебное пособие предназначено для студентов 1го курса университета. Оно может служить введением в теорию множеств и математическую логику. В первой части пособия излагаются основные элементарные понятия и теоремы теории множеств, большое внимание уделяется аксиоме выбора.

Ершов Ю.Л. Теория нумераций

  • формат djvu
  • размер 3.39 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1977. - 416 с. Предисловие: Книга представляет собой введение в проблематику и методы теории нумераций — развивающегося раздела теории алгоритмов. Насколько известно автору, впервые идею о систематическом изучении нумерованных множеств высказал А. Н. Колмогоров в середине пятидесятых годов. Реализацией этой идеи для вычислимых нумераций в то время занялся В. А. Успенский. Параллельно ряд зарубежных математиков (Райе, Деккер, Майхилл,...

Ершов Ю.Л., Палютин Е.А. Математическая логика

  • формат pdf
  • размер 11.76 МБ
  • добавлен 25 ноября 2011 г.
М.: Наука, 1987. - 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Ершов Ю.Л., Палютин Е.А. Математическая логика

  • формат djvu
  • размер 4,70 МБ
  • добавлен 13 октября 2014 г.
М.: ФИЗМАТЛИТ, 2011. — 356 с. 6-е изд., испр. ISBN 978-5-9221-1301-4. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может...

Ершов Ю.Л., Палютин Е.А. Математическая логика: Учеб. пособие для вузов

  • формат djvu
  • размер 5.22 МБ
  • добавлен 28 декабря 2008 г.
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Ершов Ю.Л., Палютин Е.А., Тайцлин М.А. Математическая логика. Лекции для студентов-математиков НГУ

  • формат pdf
  • размер 14,80 МБ
  • добавлен 08 февраля 2012 г.
Новосибирск, Новосибирский государственный университет, 1973, 160 с. Книга представляет собою учебник, содержащий весь обязательный материал по разделам: исчисление высказываний, теория множеств, теория моделей, исчисление предикатов.

Ефимов Д.Б., Полещиков С.М. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 717,64 КБ
  • добавлен 22 февраля 2014 г.
Учебное пособие. — Сыктывкар : СЛИ, 2012. — 100 с. ISBN 978-5-9239-0352-2. Пособие содержит теоретический материал и упражнения по некоторым основным темам курса математической логики и теории алгоритмов. В каждом разделе изложены базовые понятия, подробно рассмотрены разнообразные типовые примеры. В конце каждого раздела приведены задачи для самостоятельного решения. Издание предназначено для студентов всех направлений бакалавриата, специальност...

Журавлев Ю.И., Флеров Ю.А., Вялый М.Н. Дискретный анализ. Формальные системы и алгоритмы

  • формат pdf
  • размер 1,45 МБ
  • добавлен 21 сентября 2012 г.
Учебное пособие. — М.: Контакт Плюс, 2010. — 336 с.: ил. — ISBN 978–5–86567–092–1. Эта книга является учебным пособием по математической логике и теории алгоритмов. Она написана на основе материалов курса «Дискретный анализ», читаемого многие годы для студентов факультета управления и прикладной математики Московского физико-технического института. Для студентов, специализирующихся на прикладной математике.

Задачи по математической логике (+примеры решения и комментарии)

Контрольная работа
  • формат rtf
  • размер 5.68 МБ
  • добавлен 27 апреля 2011 г.
Задачи по математической логике (+примеры решения и комментарии). Содержание: Элементы алгебры высказываний. Логические операции над высказываниями. Равносильные формулы алгебры высказываний. Нормальные формы. Логические следствия. Решение задач с помощью алгебры высказываний. Исследование рассуждений. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез реле...

Задачи по математической логике (+примеры решения)

Контрольная работа
  • формат rtf
  • размер 3.34 МБ
  • добавлен 27 апреля 2011 г.
Задачи по математической логике. Решебник содержит подробное решение задач по основным темам математической логики в т. ч. способы решения логических задач типа "Кто есть кто? " методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объединения. Буквенные ребусы и примеры со звездочками.rn

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

  • формат pdf
  • размер 1,88 МБ
  • добавлен 09 января 2015 г.
Екатеринбург: УрГУ (Мат. – Мех. фак.), 2008. - 273 с. Пособие разбито на семь глав. Оно содержит теоретический материал, подборку задач, а также ответы и указания к ряду задач и решение некоторых из них. В отличие от многих учебников по математической логике и теории алгоритмов, пособие содержит изложение метода резолюций, критерия полноты функций k-значной логики, значительный материал по сложности алгоритмов. В пособии значительное внимание уде...

Зарипова Э.Р., Кокотчикова М.Г., Севастьянов. Л.А. Дискретная математика. Часть II. Математическая логика

  • формат pdf
  • размер 1,70 МБ
  • добавлен 02 октября 2013 г.
Учебное пособие. — М.: РУДН, 2013. — 116 с. — ISBN 978-5209-04949 В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Предназначено для студентов I, II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов. Математическая логика является частью науки дискретной математики. Дискретн...

Зуев Ю.А., Садыкова А.Р. Дискретная математика

  • формат doc
  • размер 211.09 КБ
  • добавлен 17 марта 2010 г.
Учебное – практическое пособие для студентов специальностей 2202 и 2713 всех форм обучения Содержание. Множества. Определения и обозначения. Операции над множествами. Свойства операций. Мощность множества. Прямое произведение множеств. Вопросы для самоконтроля по теме. Тест по теме. Отношения, функции, алгебраические. структуры, морфизмы. Бинарные отношения. Функции. Алгебраические структуры и морфизмы. Вопросы для самоконтроля по теме. Тест по...

Зыков А.Г., Поляков В.И., Скорубский В.И. Математическая логика

  • формат pdf
  • размер 6.37 МБ
  • добавлен 31 августа 2014 г.
СПб: НИУ ИТМО, 2013. — 131 с. В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических схем. Рассматриваются методы решения задач в логике высказываний и...

Зюзьков В.М., Шелупанов А.А. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 1.73 МБ
  • добавлен 16 апреля 2010 г.
ТУСУР, 2001, 154с. Томский межвузовский центр дистанционного образования (ТУСУР). Содержание: Основы теории множеств. Логика высказываний. Булевы алгебры. Логика предикатов. Исчисления. Теория алгоритмов. Логические парадоксы. Многозначные логики.

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

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

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

  • формат pdf
  • размер 20,19 МБ
  • добавлен 08 марта 2016 г.
Учебное пособие. — 3-е изд. — М.: Академия, 2007. — 304 с. — ISBN 5-7695-3728-0. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах: алгебра высказываний; булевы функции...

Игошин В.И. Математическая логика + CD-R

  • формат djvu
  • размер 12,97 МБ
  • добавлен 13 ноября 2016 г.
Учебное пособие. — М.: Инфра-М, 2016. — 399 с. + CD-R. — (Высшее образование). — ISBN 978-5-16-005204-5. Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Матем...

Игошин В.И. Математическая логика + CD-R

  • формат pdf
  • размер 23,46 МБ
  • добавлен 04 декабря 2015 г.
Учебное пособие. — М.: Инфра-М, 2016. — 399 с. + CD-R. — (Высшее образование). — ISBN 978-5-16-005204-5. Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Матем...

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

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

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

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

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

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

Игошин В.И. Теория алгоритмов

  • формат djvu
  • размер 3,04 МБ
  • добавлен 03 ноября 2015 г.
Учебное пособие. — М.: Инфра -М, 2016. — 318 с. — (Высшее образование). — ISBN 978-5-16-005205-2. Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгорит...

Игошин В.И. Теория алгоритмов

  • формат pdf
  • размер 11,56 МБ
  • добавлен 22 ноября 2015 г.
Учебное пособие. — М.: Инфра -М, 2016. — 318 с. — (Высшее образование). — ISBN 978-5-16-005205-2. Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгорит...

Ильиных А.П. Математическая логика

  • формат pdf
  • размер 622.58 КБ
  • добавлен 30 марта 2009 г.
Пособие является курсом лекций по математической логике и предназначено для студентов математических факультетов. В первой части приведено исчисление высказываний; во второй части изучается формализованный аксиоматический метод построения математических теорий. Рассмотрены его основные составные части: язык, аксиомы, правила вывода. Приведены основные результаты, связанные с аксиоматическим методом в математике.

Ишмуратов А.Т. Логические теории временных контекстов (Временная логика)

  • формат djvu
  • размер 3,33 МБ
  • добавлен 04 мая 2015 г.
Киев: Наукова думка, 1981. — 150 с. В монографии рассматриваются логико-грамматические особенности временных контекстов — выражений естественного языка, истинностное значение которых определимо относительно конкретного отрезка времени, в контексте речевой ситуации. Описываются основные типы семантики временной логики и различные её формализации: аксиоматическая, секвенциальная, аналитико-табличная. Рассматривается временные исчисления с неклассич...

Каверин С.В. Лекции по математической логике и теории алгоритмов

  • формат djvu
  • размер 383.65 КБ
  • добавлен 15 октября 2011 г.
Тольятти, Волжский университет им. Татищева, 2002 г. - 45 стр. Содержание: Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебр...

Калужнин Л.А. Что такое математическая логика

  • формат djvu
  • размер 5,69 МБ
  • добавлен 04 марта 2013 г.
М.: Наука, 1964. - 152 с. Качество: хорошее, текстовый слой, оглавление. Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики.

Калужнин Л.А. Элементы теории множеств и математической логики в школьном курсе математики

  • формат djvu
  • размер 3,80 МБ
  • добавлен 17 марта 2013 г.
М.: Просвещение, 1978. - 89 с. Качество: хорошее, текстовый слой, оглавление. Краткое изложение элементов теории множеств и математической логики. Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики. Содержание: Как возникла формальная и математическая логика. Начала теории множ...

Канатников А.Н. Математическая логика и теория алгоритмов. Конспект лекций

  • формат pdf
  • размер 9,23 МБ
  • добавлен 1 апреля 2015 г.
М.: МГТУ им. Н.Э.Баумана, 2009, 163 с. Лекции читаются на 4-ом семестре (2-й курс) в МГТУ имени Н.Э. Баумана студентам кафедры ИУ-9, специальность "Прикладная математика и информатика". Содержание Алгебра высказываний. Введение. Алгебра логики. Тавтологии и эквивалентность формул. Функции алгебры логики Исчисление высказываний. Основные положения теории N. Правила естественного вывода. Глобальные свойства теории N Алгебра предикатов. Предикаты...

Кановей В.Г. Аксиома выбора и аксиома детерминированности

  • формат djvu
  • размер 1.01 МБ
  • добавлен 28 ноября 2010 г.
М.: ФИЗМАТЛИТ, 1984. - 65 с. Содержится популярное введение в разделы теории множеств, связанные с аксиомой выбора и аксиомой детерминированности. Рассматривается вопрос о том, какая из этих аксиом и в какой степени полезна в различных областях математики. Для лиц, интересующихся вопросами оснований математики, начиная со студентов-математиков первых курсов университетов и пединститутов. Созданная Георгом Кантором в конце прошлого века теория мно...

Карпенко А.С. Логики Лукасевича и простые числа

  • формат djvu
  • размер 3.27 МБ
  • добавлен 12 июля 2011 г.
Москва, издательство "Наука", 2000. - 317 с. В книге впервые устанавливается прямая связь между логикой и простыми числами. Хотя многозначные логики Лукасевича явились результатом опровержения аргумента Аристотеля, их функциональные свойства имеют чисто теоретико-числовую природу. Изучение этого факта позволило дать определение понятия простого числа в логических терминах. Появилась реальная возможность выявить структуру последних. В итоге просты...

Карри Х.Б. Основания математической логики

  • формат djvu
  • размер 3.78 МБ
  • добавлен 25 сентября 2010 г.
М.: Мир, 1969. 568 с. Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструк...

Катаев А.В., ВолгГТУ, Минимизация ФАЛ

Практикум
  • формат docx
  • размер 252.64 КБ
  • добавлен 23 января 2012 г.
Постановка задачи минимизации функций алгебры логики. Этапы минимизации. Методы минимизации. Расчетный метод. Карты Карно. Геометрический метод. Примеры минимизации. Метод Квайна.rn

Катаев А.В., ВолгГТУ. Алгебра логики

Практикум
  • формат docx
  • размер 102.45 КБ
  • добавлен 23 января 2012 г.
Алгебра логики. Функции алгебры логики. Таблицы истинности. Пропозициональные формулы. Равносильные формулы. Основные тождества алгебры логики. Двойственные функции. Полные системы связок. Конъюнктивные и дизъюнктивные нормальные формы. Совершенные КНФ и ДНФ. Тавтологии. Противоречия. Проблема разрешимости в алгебре логики. Логические следствия. Основные схемы доказательств.rn

Катаев А.В., ВолгГТУ. Исчисление высказываний

Практикум
  • формат docx
  • размер 199.77 КБ
  • добавлен 23 января 2012 г.
Формальная модель высказываний. Законы построения правильных рассуждений. Исчисление высказываний, как формальная система. Проверка выводимости правильных умозаключений. Алгоритм Квайна. Правило резолюций. Алгоритм Вонга. Проблемы аксиоматического исчисления высказываний

Кац М., Улам С. Математика и логика

  • формат djv
  • размер 3.16 МБ
  • добавлен 04 октября 2009 г.
М., Мир, 1971г. 252 с. Книга видных американских учёных Марка Каца и Станислава Улама подготовлена для выпускаемой издательством Британской энциклопедии серии обзоров, посвящённых состоянию и ближайшим перспективам развития различных наук. Особое место уделяется взаимодействию и взаимозависимости математики и других наук, обогащающих, по мнению авторов, как чистую математику, так и все использующие математические методы направления научной мысли...

Клини С. Введение в метаматематику

  • формат pdf
  • размер 10.14 МБ
  • добавлен 23 февраля 2011 г.
М.: Издательство иностранной литературы, 1957. - 526 с. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и н...

Клини С.К. Математическая логика

  • формат pdf
  • размер 19.53 МБ
  • добавлен 02 июня 2009 г.
1973 г. Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах: таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Она привлечет также внимание всех занимающихся или интересующихся математической логикой.

Коган Д.И., Бабкина Т.С. Концепции конечного автомата и регулярного языка. Операции над регулярными языками

Практикум
  • формат doc
  • размер 91,79 КБ
  • добавлен 12 августа 2012 г.
Нижний Новгород: НГУ им. Н.И. Лобачевского, 2000. — 44 с. Методическая разработка предназначена для самостоятельной работы студентов специальности «Прикладная информатика» над материалом темы «Концепции конечного автомата и регулярного языка. Операции над регулярными языками», входящей в состав учебного курса «Теория алгоритмов и математическая логика». Вводятся понятие формального языка и действия над формальными языками, включая основные теорет...

Коган Д.И., Бабкина Т.С. Учебно-методическая разработка для самостоятельной работы по курсу Теория алгоритмов и математическая логика

Практикум
  • формат pdf
  • размер 430.4 КБ
  • добавлен 01 мая 2011 г.
Нижний Новгород, НГУ им. Н. И. Лобачевского, 2000 г., -44 стр. Методическая разработка предназначена для самостоятельной работы студентов по специальности «Прикладная информатика» над материалом темы «Концепции конечного автомата и регулярного языка. Операции над регулярными языками», входящей в состав учебного курса «Теория алгоритмов и математическая логика». Вводятся понятие формального языка и действия над формальными языками, включая основны...

Кожухов И.Б. Математическая логика и теория алгоритмов: Учебное пособие

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

Колмогоров А.Н, Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

  • формат djvu
  • размер 3.34 МБ
  • добавлен 23 января 2010 г.
М.: КомКнига, 2006. - 240 с. Классический университетский учебник. В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся...

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику

  • формат djvu
  • размер 1.5 МБ
  • добавлен 12 января 2010 г.
Учебное пособие предназначено для ничинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных знаний и расчитано для студентов младших курсов. М:. Издательство Моск. ун-та, 1982, 120с. Игу ИМЭИ, 2 курс 3-4 семестр 010101 - Математика

Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы

  • формат djvu
  • размер 1.77 МБ
  • добавлен 25 июня 2011 г.
Учебное пособие. М.: Издательство Московского университета, 1984, - 120 с. Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику» (Изд-во Моск. ун-та, 1982 г. ), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Ги...

Кондратенко Н.Р. Комп’ютерний практикум з математичної логіки

Практикум
  • формат pdf
  • размер 903,11 КБ
  • добавлен 14 ноября 2012 г.
Вінниця : ВНТУ, 2010. – 117 с. В навчальному посібнику викладено базові поняття та методи математичної логіки, які використовуються для проектування комбінаційних схем, автоматів та інших засобів електронно-обчислювальної техніки. Наведено приклади розв’язання задач з математичної логіки за допомогою комп’ютерних пакетів. Розроблено індивідуальні та тестові завдання. Навчальний посібник відповідає вимогам державних стандартів України та навчальні...

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

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

Контрольная - Булевы функции

Контрольная работа
  • формат rtf
  • размер 174.39 КБ
  • добавлен 01 мая 2011 г.
СПб. : 2011 г - 38 стр. Содержание. Основные понятия булевой алгебры. Способы задания булевых функций. Булевы функции одной и двух переменных. Основные законы и тождества булевой алгебры. Аналитическое представление булевых функций. Функционально полные системы булевых функций. Минимизация булевых функций. Метод Квайна. Метод Квайна-Мак-Класки. Метод диаграмм Вейча. Карты Карно. Особенности минимизации булевых функций большим числом переменных....

Контрольная работа по булевым функциям

Контрольная работа
  • формат doc
  • размер 500 КБ
  • добавлен 03 августа 2011 г.
Контрольная работа, 6 заданий: Операцию вычитания заменить операцией сложения с использованием дополнительного кода. Сложить в двоичном и двоично – десятичном кодах числа. Булевы выражения минимизировать с помощью карт Карно. Начертить логическую схему. Составить уравнения алгебры логики по схеме, изображенной на рисунке, упростить полученное выражение, построить схему. Реализовать в базисе И-НЕ логическую функцию. Построить DC, преобразующий одн...

Контрольные работы - Булевы функции в СДНФ и СКНФ, карты карно

Контрольная работа
  • формат doc
  • размер 1.91 МБ
  • добавлен 05 августа 2011 г.
Две контрольные работы в архиве. По заданной таблице истинности записать Булевы функции в СДНФ и СКНФ, минимизировать полученные функции с помощью тождеств алгебры логики и карт Карно. Начертить логическую схему, реализующую полученное выражение. Булевы функции, заданные в СДНФ, минимизировать с помощью карт Карно и тождеств алгебры логики. Построить схемы, удовлетворяющие преобразованным выражениям.

Коротков М.А., Степанов Е.О. Основы формальных логических языков

  • формат pdf
  • размер 823.66 КБ
  • добавлен 24 апреля 2011 г.
Санкт-Петербург: Санкт-Петербургский Государственный институт Точной Механики и Оптики, 2003, 84 с. Данное пособие посвящено основам формальных логических языков. В нем дается краткое изложение языков логики первого и второго порядков, элементов теории доказательств, теории моделей и формальной теории множеств. Пособие основано на курсе лекций, читаемом на кафедре Компьютерных технологий Санкт-Петербургского Государственного института Точной Меха...

Косовская Т.М. Машины Тьюринга

Статья
  • формат pdf
  • размер 1.17 МБ
  • добавлен 18 сентября 2011 г.
Косовская Т.М., кандидат физико-математических наук, доцент кафедры математики Государственного Морского Технического Университета. Математическое понятие алгоритма. Основные определения. Как же работает машина Тьюринга? Модификации машин Тьюринга. Многоленточные машины Тьюринга. Многоголовчатые машины Тьюринга. Недетерминированные машины Тьюринга. Для чего же нужны машины Тьюринга?

Крючкова Е.Н. Основы математической логики и теории алгоритмов

  • формат pdf
  • размер 1.07 МБ
  • добавлен 20 сентября 2011 г.
Учебное пособие. - Барнаул: Изд-во АлтГТУ, 2010. – 277 с. Содержание: Введение. Формальные теории. Формальные модели. Исчисление высказываний. Исчисление предикатов. Другие логические теории. Частично-рекурсивные функции. Свойства алгоритмов. Примитивно–рекурсивные функции. Оператор минимизации. Ограниченный оператор минимизации. Быстро растущие функции. Частично–рекурсивные функции и тезис Черча. Рекурсивные и рекурсивно перечислимы...

Кузичев А.С. Диаграммы Венна

  • формат djvu
  • размер 4.05 МБ
  • добавлен 21 марта 2011 г.
М.: «Наука», 1968. - 253 с. Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надёжных алгоритмов из не вполне надёжных элементов. В книге разбирается ряд задач, сформулированных Булем, Джевонсом, Порецким и другими логиками, и показывается развитие метода диагр...

Кузичев А.С. Диаграммы Венна

  • формат pdf
  • размер 11,84 МБ
  • добавлен 02 июня 2012 г.
М.: Наука, 1968. - 253 с. Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надёжных алгоритмов из не вполне надёжных элементов. В книге разбирается ряд задач, сформулированных Булем, Джевонсом, Порецким и другими логиками, и показывается развитие метода диаграм...

Курсовая работа - Кванторные теории

Курсовая работа
  • формат doc
  • размер 6.95 МБ
  • добавлен 11 июня 2010 г.
Определение кванторов, Аксиомы кванторных теорий, Свойства кванторов, Типовые кванторы, Обобщенные позитивно-образованные формулы (ПОФ), Граф позитивно-образованной формулы, Алгоритм метода редукции (алгоритм построения ), Теорема редукций, Исключение независимых типовых кванторов -27 стр

Курсовая работа - нормальные алгоритмы Маркова

Курсовая работа
  • формат doc
  • размер 277.66 КБ
  • добавлен 18 октября 2011 г.
Курсовая написана студенткой АГПИ, состоит из 43стр. В курсовую работу входят такие главы как: неформальное понятие алгоритма, основные требования к алгоритмам, необходимость в математическом уточнение понятия алгоритма, нормальны алгоритмы Маркова, присоединяющее алгоритмы, сокращающие алгоритмы,сокращающий алгоритм, удваивающий алгоритм, вприменение теории нормальных алгоритмов,

Курсовая работа - Основные динамические свойства и их классификация

Курсовая работа
  • формат docx
  • размер 147.26 КБ
  • добавлен 04 апреля 2011 г.
Функционирующие и развивающиеся системы. Основные переменные в динамике систем. Определение функционирующей системы. Некоторые способы задания функционирующих систем. Система процессов. Определение системы процессов; процессы. Некоторые замечания о природе процессов и среды. Основные динамические свойства и их классификация. Основные и неосновные переменные динамики систем, множества их значений, типовые кванторы. Определения динамических свойств...

Курсовая работа - Теорема о неподвижной точке

Курсовая работа
  • формат doc
  • размер 113.5 КБ
  • добавлен 15 июня 2010 г.
Введение. Теорема о неподвижной точке. Неподвижная точка и отношения эквивалентности. Системный трюк: ещё одно доказательство. Несколько замечаний. Практическая часть. Заключение. Список литературы.

Лабораторная работа - Основы логики

Лабораторная
  • формат ppt
  • размер 434.5 КБ
  • добавлен 27 мая 2011 г.
Презентация включает себя краткую историю развития логики, цель и задачи логики, основные понятия и таблицы истинности. Все в очень доступной и наглядной форме. Материал изложен кратко и схематично. Рекомендуется для студентов нематематических специальностей.

Лабораторные работы по нечеткой логике

Лабораторная
  • формат archive, dict, doc, exe, hlp, html, image, matlab, pdf, ppt, txt
  • размер 7,86 МБ
  • добавлен 25 февраля 2012 г.
Содержит 3 лабораторных работы. В каждой имеется подробное описание изучаемого раздела с примерами. Лаб1 содержит материалы по разделам: основы нечеркой логики, T и S нормы, нечеткие множества и вероятность, нечеткая логика, статья Лотфи Заде. Лаб2 содержит: надстройка FuzzyXL, реализующая нечеткие вычисления в MS Excel. Лаб3 содержит: надстройка Fuzzy Logic, реализующая нечеткие вычисления в MATLAB с демонстрационными примерами. Имеется игра, ос...

Лавров И.А. Математическая логика

  • формат djvu
  • размер 2.3 МБ
  • добавлен 04 мая 2011 г.
Учеб. пособие для студ. высш. учеб. заведений / И. А. Лавров; под ред. Л. Л. Максимовой. — М.: Издательский центр «Академия», 2006. — 240 с. — (Университетский учебник. Сер. Прикладная математика и информатика). ISBN 5-7695-2735-8 В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиомат...

Лавров И.А. Математическая логика

  • формат pdf
  • размер 10,18 МБ
  • добавлен 26 июля 2014 г.
Учеб. пособие для студ. высш. учеб. заведений / И. А. Лавров; под ред. Л. Л. Максимовой. — М.: Издательский центр «Академия», 2006. — 240 с., — (Университетский учебник. Сер. Прикладная математика и информатика). - ISBN 5-7695-2735-8, Русский. Математическая логика создавалась как наука, призванная исследовать фундаментальные понятия математических наук, способы возможных доказательств, решения вопросов философского осмысления математики. По это...

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

  • формат djvu
  • размер 3,43 МБ
  • добавлен 23 марта 2016 г.
Новосибирск: Новосибирский Государственный университет, 1970. - 110 с. - Пособие для студентов-математиков НГУ Предисловие Теория множеств Операции над множествами Отношения и функции Специальные бинарные отношения Кардинальные числа Ординальные числа Действия над кардинальными числами Математическая логика Исчисление высказываний Алгебра высказываний Язык узкого исчисления предикатов (УИП) Выполнимость формул УИП Узкое исчисление предикатов Акси...

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

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

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

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

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

  • формат pdf
  • размер 15,33 МБ
  • добавлен 26 июня 2014 г.
5-е изд., исправл. — М.: Физматлит, 2004. — 256 с. — ISBN 5-9221-0026-2. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в...

Лапшева Е.Е. Элементы математической логики

  • формат pdf
  • размер 530,54 КБ
  • добавлен 09 февраля 2012 г.
Саратов: СГУ им. Н.Г.Чернышевского, 2007. - 21 с. Приведен материал по математической логике для профильного курса информатики в средней школе. Рассматривваются понятие алгебры логики, история логики, понятие "высказывание", таблицы истинности, логические функции, основные логические операции, законы логики, упрощение логических выражений, решение логических уравнений, логические элементы ЭВМ, построение функциональных схем, решение задач с испол...

Лекции - Введение в математическую логику. Части 1 - 2

Статья
  • формат doc
  • размер 2.5 МБ
  • добавлен 17 июля 2009 г.
По содержанию данное пособие, является методической основой для изучения следующих вводных разделов математической логики и ее приложений: формулы логики высказываний и операции над ними; упрощение записи формул; доказательство равносильности, тождественной истинности и тождественной ложности формул; приведение формул логики высказываний к нормальным формам; использование формул логики высказываний в теории конечных автоматов; формулы логики пред...

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

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

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

Статья
  • формат doc
  • размер 1.31 МБ
  • добавлен 04 марта 2011 г.
Бахтадзе Н. Н. (Институт проблем управления им. В. А. Трапезникова РАН). Логика высказываний. Алгебра высказываний. Исчисление высказываний. Метод дедуктивного вывода. Принцип резолюции. Проблемы исчисления высказываний. Описание высказываний на языке Prolog. Логика предикатов. Алгебра предикатов. Исчисление предикатов. Проблемы в исчислении предикатов. Логическое программирование.

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

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

Лекции по булевым функциям

Статья
  • формат doc
  • размер 869 КБ
  • добавлен 07 ноября 2009 г.
Булевы переменные и функции. Операции булевой алгебры. Эквивалентные формулы. Основные эквивалентности. Дизъюнктивная нормальная форма (ДНФ). Совершенная ДНФ. Минимизация ДНФ. Конъюнктивная нормальная форма (КНФ). Совершенная КНФ. Минимизация КНФ. Полиномиальное разложение: СПНФ. Канонический полином Жегалкина. Арифметический полином.

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

Статья
  • формат doc
  • размер 386.76 КБ
  • добавлен 14 февраля 2007 г.
Операции логики Буля. Формы представления булевых операций. Методы доказательства в логике Буля. Задания на практическую работу по логике высказываний. Введение в логику высказываний. Построение доказательств в логике высказываний. Аксиоматический метод. Таблицы истинности. Метод Вонга. Метод натурального исчисления. Задания на практическую работу по логике высказываний. Примеры решения задач. Доказать методом натурального исчисления истинность с...

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

Статья
  • формат doc
  • размер 529.13 КБ
  • добавлен 17 ноября 2007 г.
Элементы математической логики, логические операции, логические функции, функцией алгебры логики, Свойства конъюнкции, дизъюнкции и отрицания, Свойства функций сложения по модулю 2, импликации, штриха Шеффера и стрелки Пирса (функции Вебба), Основные классы ФАЛ, Минимальные формы, Карты Карно, Тождественно истинные формулы, Отношение равносильности и эквивалентность, Элементы теории графов, Деревья на множестве вершин, Экстремальное дерево, Дерев...

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

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

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

Статья
  • формат doc
  • размер 47.43 КБ
  • добавлен 20 декабря 2008 г.
Логика высказываний. Лингвистические соображения,форулы. Таблицы истинности, общезначимость. Правило подстановки, совокупность общезначимых формул. Отношение следования. Сокращенные таблицы истиности. Доказуемость и выводимость. Теорема о дедукции. Непротиворечивость,правила введения и удаления. Полнота. Логика предикатов. Лингвистические соображения, формулы. Общезначимость. Следование. Доказуемость и выводимость. Теорема о дедукции. Непротиворе...

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

Статья
  • формат doc
  • размер 440 КБ
  • добавлен 14 июня 2009 г.
Сентенциональные связки. Элементарные формулы. Составные формулы. Истинностные функции. Исчисления высказывания. Тавтологии в исчислении высказываний. Эквивалентность высказываний. Теоремы об эквивалентности. Логические следствия. Основные теоремы о логическом следствии. Метод доказательства от противного. Основные понятия теории исчисления предикатов.

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

Статья
  • формат doc
  • размер 152.65 КБ
  • добавлен 09 января 2010 г.
2 курс 1 семестр, множество, машины Тьюринга, нормальные алгоритмы, предикаты, формальные теорииrn

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

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

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

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

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

Статья
  • формат doc
  • размер 303,21 КБ
  • добавлен 16 октября 2014 г.
Лекции по математической логике и теории алгоритмов - Викентьева О.Л. Пермь - 2007. Логика высказываний. Логические исчисления. Логика и исчисление предикатов. Автоматическое доказательство теорем. Теория алгоритмов.

Линдон Р. Заметки по логике

  • формат djvu
  • размер 1.25 МБ
  • добавлен 22 февраля 2010 г.
М.: Мир, 1968. - 128 с. Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выразил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими описаниями.

Линдон Р. Заметки по логике

  • формат pdf
  • размер 3.64 МБ
  • добавлен 16 августа 2010 г.
М.: Мир, 1968. Книга посвящена идейным и формальным аспектам логики. Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выявил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими описаниями. Приводится набор задач, которые призваны привить вкус к самостоятельным исследованиям.

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

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

Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Ч.1. Курс лекций. Ч.2. 3адачник-практикум и решения

  • формат pdf
  • размер 9,35 МБ
  • добавлен 1 апреля 2015 г.
Учеб. пособие. - СПб.: Издательство "Лань". 1999, - 288 с., - (Серия "Учебники для вузов. Специальная литература"). - ISBN 5- 8114- 0082- 9, Русский. Настоящее учебное пособие "Математическая логика. Курс лекций и задачник-практикум" предназначено для студентов университетов и педагогических институтов изучающих математическую логику. Книга "Математическая логика" содержит две части: Курс лекций (С.с.: 1-173) - Теория. Задачник-практикум и ре...

Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Часть 2. Задачник-практикум и решения

  • формат pdf
  • размер 7.57 МБ
  • добавлен 16 января 2010 г.
СПб.: Издательство "Лань", 2008. - 288 с. - (учебник для вузов. специальная литература). Вторая часть учебника содержит упражнения по разделам, рассмотренным в первой части: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы. в конце ответы.

Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Часть 2. Задачник-практикум и решения

  • формат djvu, pdf
  • размер 4,11 МБ
  • добавлен 1 апреля 2015 г.
Учебное пособие. — СПб.: Издательство "Лань", 1999. — 111 с. — (Серия "Учебники для вузов. Специальная литература"). — ISBN 5- 8114- 0082- 9. Архив содержит эту книгу, но только 2-ю часть из неё - Часть вторая: Задачник-практикум и решения (с подробными решениями) - (в 2-х форматах: PDF = 3,02 Mb & DjVu = 1,36 Mb). Это учебное пособие авторов "Математическая логика. Курс лекций и задачник- практикум" предназначено для студентов университетов...

Лобанов В.И. Решебник по русской логике

  • формат pdf
  • размер 962.24 КБ
  • добавлен 04 августа 2011 г.
Москва, 2002. - 112 стр. Данное пособие является общедоступной иллюстрацией применения методов и алгоритмов Русской, истинно математической логики при решении логических задач. Все решения задач наглядны, легко проверяются с позиции математики и здравого смысла. Книга полезна школьникам и академикам, «физикам» и «лирикам», теоретикам и практикам. Книга доступна школьник; и полезна специалисту. Содержание. Синтез и минимизация логических функций....

Лобанов В.И. Русская логика для школьников (азбука математической логики)

  • формат pdf
  • размер 2.31 МБ
  • добавлен 14 марта 2011 г.
М.: Эндемик, 2004. - 122 с. Азбука математической логики. Данное пособие является общедоступным изложением основ Русской, истинно математической логики. Вскрывая противостояние Русской и классической логики, автор показывает, что силлогистика Аристотеля не имеет никакого отношения к логике здравого смысла. Книга полезна школьникам и академикам, "физикам" и "лирикам".

Логика высказываний

Статья
  • формат ppt
  • размер 56,31 КБ
  • добавлен 24 октября 2016 г.
Национальный исследовательский Томский политехнический университет. 2016. 13 с. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Аналогичное знание о формах мысли История математической логики Высказывания Операции над высказываниями Таблицы истинности

Логика предикатов. Приложение к решению задач

  • формат doc
  • размер 87,76 КБ
  • добавлен 28 сентября 2013 г.
Дипломная работа, защищена в МГГУ им. М.А Шолохова в 2010 г. В дипломной работе автор изучила теоретические аспекты и выявила природу "Логики предикатов", определила актуальность проблемы " Логики предикатов " в современных условиях, рассмотрела задачу по «Логике предикатов» и его решение на Прологе.

Логика предикатов. Приложение к решению задач

  • формат ppt
  • размер 151,21 КБ
  • добавлен 20 сентября 2013 г.
Презентация к дипломной работе "Логика предикатов. Приложение к решению задач"Дипломная работа, защищена в МГГУ им. М.А Шолохова в 2010 г. В дипломной работе автор изучила теоретические аспекты и выявила природу "Логики предикатов", определила актуальность проблемы " Логики предикатов " в современных условиях, рассмотрела задачу по «Логике предикатов» и его решение на Прологе.

Лоскутова Е.С., Нахман А.Д. Математическая логика. Типовые расчёты

  • формат pdf
  • размер 342.57 КБ
  • добавлен 22 января 2010 г.
Краткая теория + Пример выполнения типового расчёта (12 задач с решением) + Варианты заданий. Методические указания. Тамбов. Изд. ТГТУ, 2008 г. - 20 с. Основные понятия и утверждения математической логики (алгебры высказываний), руководство к решению типовых задач и образцы решений. Для студентов инженерно-технических специальностей. Содержание: I. Теоретическая часть 1. Понятие высказывания. 2. Логические операции над высказываниями 3. Формул...

Лупанов О.Б. Введение в математическую логику

  • формат pdf
  • размер 1.28 МБ
  • добавлен 21 октября 2009 г.
Мех-мат, МГУ. - 2007 г. - 192 с. Учебное пособие для студентов и аспирантов. Функции алгебры логики. Функции k-значной логики. Логические схемы. Конечные автоматы. Алгоритмы и вычислимые функции. Исчисление высказываний. Логика предикатов. Исчисление предикатов.

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

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

Любомудров А.А. Логические базисы. Теорема Поста

Практикум
  • формат pdf
  • размер 381,54 КБ
  • добавлен 22 апреля 2012 г.
Учебно-методическое пособие для практических занятий. -Москва : НИЯУ МИФИ, 2010. 24 с. Не распознано. Содержание (6 глав): Основные понятия и определения. Элементарные логические функции. Классы функций. Теорема Поста. Функциональная полнота. Логические базисы. Тесты. Список литературы.

Манин Ю.И. Лекции по математической логике. Часть 1

  • формат djvu
  • размер 1.55 МБ
  • добавлен 08 января 2011 г.
1974. -135 с. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. В первой части рассматриваются язык высказываний, язык предикатов, проблема континуума. Качество файла - среднее. Скан-то неплохой, просто сам оригинал представляет собой набранный на печатной машинке текст с рукописными формулами. Почему ни одно хорошее издание тех лет не взя...

Манин Ю.И. Лекции по математической логике. Часть 2

  • формат djvu
  • размер 893.93 КБ
  • добавлен 08 января 2011 г.
1974. -71 с. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. Основной объект изучения второй части курса - детерминированный процесс вычисления, или переработки нечисловой информации - алгоритм.

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

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

Марков А.А. Элементы математической логики

  • формат djvu
  • размер 944.37 КБ
  • добавлен 16 января 2009 г.
Книга обладает большой оригинальностью в изложении традиционных начал математической логики и отражает взгляды и установки автора на предмет изложения. Особое внимание уделяется теории логико-математических языков и семантике таких языков. Для студентов и аспирантов математических специальностей и специалистов, интересующихся основаниями математики. Издательство Московского университета, 1984 г. Количество страниц - 80.

Марченков С.С. Функциональные системы с операцией суперпозиции

  • формат djvu
  • размер 762.34 КБ
  • добавлен 22 февраля 2011 г.
Москва: Физматлит, 2004. -104 с. В книге с единых позиций рассматриваются функциональные системы с операцией суперпозиции и «традиционными» множествами функций — функций многозначной логики, функций натурального аргумента и автоматных функций. Основное содержание книги концентрируется вокруг двух взаимосвязанных тем: построение и анализ порождающих множеств и проблема полноты. Излагаются ставшие классическими результаты А. В. Кузнецова, С. В. Яб...

Маслов Ю.С. Теория дедуктивных систем и ее применения

  • формат djvu
  • размер 8,98 МБ
  • добавлен 21 июня 2014 г.
М.: Радио и связь, 1986. - 136 с. (Серия Кибернетика). Книга посвящена молодой, активно развивающейся области математической логики и кибернетики - теории исчислений. Излагается математический аппарат теории и новейшие ее обобщения применительно к моделированию различных технологических, биологических и экономических процессов. Рассмотрена связь теории с проблематикой искусственного интеллекта и конструктирования ЭВМ. Для инженерно-технических ра...

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

Контрольная работа
  • формат image
  • размер 100,10 МБ
  • добавлен 23 августа 2013 г.
КНИТУ, Чистопольский филиал, преп. Мухаметзянов, Варианты 7, 15, 22, 25 К/раб из учебника Галиев Ш.И. Математическая логика и теория алгоритмов Логика высказываний Логика предикатов Логические следствия и метод резолюций Нормальный алгоритм и машина ТьюрингаТрехзначная логика Лукасевича Нечёткие множества

Математическая логика и теория алгоритмов

  • формат djvu
  • размер 3.45 МБ
  • добавлен 10 ноября 2010 г.
Отв. редактор С. Л. Соболев М.: Наука, 1982. - 177 с. В сборник входят работы, представляющие важные результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики.

Математическая логика и теория алгоритмов

Статья
  • формат doc
  • размер 1005,55 КБ
  • добавлен 05 июля 2012 г.
МГАПИ, Москва, проф. Мацнев А.П., 2004 г. Основы математической логики. Алгебра логики. Введение в формальные системы. Исчисление высказываний. Исчисление предикатов и теории первого порядка. Неклассические логики. Теория алгоритмов.

Математическая логика и теория алгоритмов

Статья
  • формат doc
  • размер 2,12 МБ
  • добавлен 02 ноября 2012 г.
– 53 с. (Автор не указан.) Данный курс служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для постановки и решения задач в области информатики, для корректного понимания ограничений, возникающих при создании вычислительных структур, алгоритмов и программ обработки информации. Содержание: Назначение курса. Логические представления. История развитая математической логики. Основы математической логики. Логика...

Математическая логика и теория алгоритмов

Лабораторная
  • формат doc
  • размер 56,61 КБ
  • добавлен 19 февраля 2016 г.
304 кафедра МАИ. Лабораторные работы по курсу. «Математическая логика и теория алгоритмов». Лабораторная работа № 1. Логика высказываний. Лабораторная работа № 2. Логика предикатов.

Матурін Ю.П. Елементи математичної логіки та теорії алгоритмів. Частина 1

  • формат pdf
  • размер 349,45 КБ
  • добавлен 25 июня 2015 г.
Дрогобич: Дрогобицький державний педагогічний університет ім. Івана Франка, 2012. — 49 с. Посібник написано відповідно до програми навчальної дисципліни Математична логіка та теорія алгоритмів для студентів галузі знань 0402 Фізико-математичні науки, напряму підготовки 6.040201 "Математика", затвердженої вченою радою Дрогобицького державного педагогічного університету імені Івана Франка, містить виклад теоретичного матеріалу з даної дисципліни, п...

Мельников В.Н. Логические задачи

  • формат djvu
  • размер 11,77 МБ
  • добавлен 11 марта 2016 г.
К.; Одесса: Выща школа, 1989. — 344 с. — ISBN 5—11—001395—0. Рассмотрены элементы логики классов, логики высказываний и логики предикатов, а также традиционная силлогистика. Кроме изложения теоретических проблем, каждый параграф содержит серию задач и методические пояснения к ним. Большое количество задач (свыше 1800), их различия по степени сложности дают возможность разнообразить задания студентам В отличие от других учебников содержится матери...

Мендельсон Э. Введение в математическую логику

  • формат pdf
  • размер 3.85 МБ
  • добавлен 26 июля 2015 г.
М.: Наука; Физматлит, 1971. — 320 с. Под ред. С.И. Адяна. В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Изложение материала в книге ясное и лаконичное....

Мендельсон Э. Введение в математическую логику

  • формат epub
  • размер 11,58 МБ
  • добавлен 13 августа 2015 г.
М.: Наука; Физматлит, 1971. — 320 с. Под ред. С.И. Адяна. В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Изложение материала в книге ясное и лаконичное....

Мендельсон Э. Введение в математическую логику

  • формат pdf
  • размер 20,52 МБ
  • добавлен 23 ноября 2015 г.
2-е изд. — Москва: Наука, 1976. — 320 с. Текстовый слой, Оглавление. В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Изложение материала в книге ясное и...

Мендельсон Э. Введение в математическую логику

  • формат djvu
  • размер 5,41 МБ
  • добавлен 26 октября 2015 г.
2е изд., испр. — Москва: Наука, 1976. — 320 с. Текстовый слой, Оглавление. В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Изложение материала в книге яс...

Минимизация булевой функции

Контрольная работа
  • формат doc
  • размер 170,93 КБ
  • добавлен 12 декабря 2014 г.
Хабаровск, вуз-ТОГУ, преподаватель: Ватолина О.В., 2014, вариант N2. 12 с. Дисциплина: "Моделирование систем" Специальность: Прикладная информатика в экономике Заданы номера набора аргументов на элементах сети (задание 2), на которых логическая функция истинна. Записать функцию указанных наборов в СДНФ и провести ее исследование методами Куайна, Карно и аналитическим путем. Определить минимизированное значение функции и доказать истинность. Приве...

Минимизация булёвых функций с помощью карты Вейча

Статья
  • формат ppt
  • размер 50,28 КБ
  • добавлен 01 октября 2016 г.
Национальный исследовательский Томский политехнический университет. 2016. 10 с. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Метод для функций с малым числом переменных Отличия двух соседних ячеек Кпарты Вейча Примеры

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

  • формат pdf
  • размер 704.77 КБ
  • добавлен 29 апреля 2010 г.
Содержание. Высказывания. Формулы логики высказываний. Анализ рассуждений. Метод резолюций для ЛВ. Введению в теорию множеств. Отношения и функции. Основные результаты теории множество. Логика предикатов. Теорема Эрбрана. Метод резолюций для ЛП. Семантический вывод. Теорема Геделя. Модальная логика. Нечеткие логики.

Михайлов А.Б., Рыжова Н.И., Швецкий М.В. Упражнения по основам математической логики. Формальные системы первого порядка

  • формат djvu
  • размер 2,86 МБ
  • добавлен 11 июля 2013 г.
Учеб. пособие — СПб: РГПУ, 1997. — 127 с. Пособие предназначено для поддержки курса "Основы математической логики и теории алгоритмов". Содержит упражнения по разделу математической логики "Формальные системы первого порядка", которые можно рассматривать в качестве обязательных результатов обучения. Упражнения выбраны и как форма обучения студентов, поэтому оглавление отражает поурочный план практических занятий по данному разделу. Для студентов...

Михайлов А.Б., Швецкий М.В. Лекции по основам математической логики. Формальные системы первого порядка

  • формат pdf
  • размер 13,53 МБ
  • добавлен 09 января 2017 г.
Санкт-Петербург: РГПУ им.А.И.Герцена. 1998. — 172 с. Пособие предназначено для поддержки курса "Математическая логика и теория алгоритмов". Содержит лекционный материал по разделу "Формальные системы первого порядка". Для студентов математических факультетов педагогических вузов.

Михайлов А.И. (ред). Исследования по неклассическим логикам и теории множеств

Статья
  • формат djvu
  • размер 11,93 МБ
  • добавлен 07 февраля 2015 г.
М.: Наука, 1979. — 375 с. Сборник продолжает цикл сборников: (1972) Исследования по математической лингвистике, математической логике и информационным языкам (1974) Исследования по формализованным языкам и неклассическим логикам (1976) Исследования по теории множеств и неклассическим логикам (1979) Исследования по неклассическим логикам и теории множеств (1983) Исследования по неклассическим логикам и формальным системам В сборнике анализируются...

Множества и операции над ними - 1

Статья
  • формат ppt
  • размер 96,37 КБ
  • добавлен 17 октября 2016 г.
Национальный исследовательский Томский политехнический университет. 2016. 14 с. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. «Множество есть многое, мыслимое нами как единое». Понятие множества Элементы множества Способы задания множества Действия над множествами

Множества и операции над ними - 2

Статья
  • формат ppt
  • размер 104,86 КБ
  • добавлен 12 октября 2016 г.
Национальный исследовательский Томский политехнический университет. 2016. 12 с. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Объединение множеств (сложение) Свойства операции объединения Пересечение множеств Свойства операции пересечения Операцию объединения и операцию пересечения объединяют два… Разность множеств Свойства разности множеств

Набебин А.А., Кораблин Ю.П. Математическая логика и теория алгоритмов

  • формат doc
  • размер 295.09 КБ
  • добавлен 13 января 2011 г.
2, 3, 4, 5, 6, 7 главы в формате DOC Полное соответствие печатному изданию. Насколько я понимаю это эскиз для издательства ибо труд титанический т. к. использовался редактор формул. 87 страниц A4.rn

Нагел Э., Саппс П., Тарский А. (ред.) Математическая логика и ее применения

  • формат djvu
  • размер 3,99 МБ
  • добавлен 29 января 2013 г.
М.: Мир. 1965. 341с. Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник включены наиболее интересные доклады по математической логике, теории множеств, теории моделей, теории алгоритмов, основаниям математики и математической лингвистике, не только осв...

Нагель Э., Ньюмен Дж. Р. Теорема Гёделя

  • формат djvu
  • размер 1.28 МБ
  • добавлен 24 сентября 2010 г.
Книга посвящена теореме Геделя о неполноте. Эта теорема была изложена в 1931 году в небольшой статье К. Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки - проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых матем...

Нагель Эрнст, Ньюмен Джеймс Рой. Теорема Гёделя

  • формат fb2
  • размер 131,69 КБ
  • добавлен 17 марта 2015 г.
М.: "Красанд", 2011 г. ISBN 978-5-396-00321-7, 978-5-396-00092-6; 120 с. Книга посвящена теореме Геделя о неполноте. Эта теорема была изложена в 1931 году в небольшой статье К. Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки - проблем непротиворечивос...

Нахман А.Д. Математическая логика и теория алгоритмов

Практикум
  • формат pdf
  • размер 221,42 КБ
  • добавлен 21 февраля 2012 г.
Методические указания. Тамбов. Издательство ТГТУ, 2011. -16с. Приведены краткие теоретические сведения, алгоритмы и образцы решения типовых задач и контрольные задания. Предназначены для студентов заочного факультета, изучающих математическую логику и теорию алгоритмов

Непейвода Н.Н. Прикладная логика

  • формат pdf
  • размер 2.31 МБ
  • добавлен 19 сентября 2010 г.
Учебное пособие. Ижевск, 2000. 529 с. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы. Предикаты и элементарные формулы. Некоторые обозначения. Запись высказываний. Логические формулы. Связка ‘и’. Связка ‘или’. Связка ‘следует’....

Непейвода Н.Н. Прикладная логика

  • формат doc
  • размер 952,05 КБ
  • добавлен 01 февраля 2012 г.
Учебное пособие. — Ижевск, изд-во Удм. ун-та, 1996. — 498 с. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы. Предикаты и элементарные формулы. Некоторые обозначения. Запись высказываний. Логические формулы. Связка ‘и’. Связка ‘и...

Непейвода Н.Н. Прикладная логика

  • формат djvu
  • размер 2,98 МБ
  • добавлен 31 января 2012 г.
Учебное пособие. — Новосибирск, 2000. — 521 с. Пособие - простейшее введение в язык современной математической логики. Рекомендовано для студентов и аспирантов специальностей: "Прикладная математика", "Структурная прикладная лингвистика", "Философия" и др.

Непейвода Н.Н. Прикладная логика

  • формат pdf
  • размер 1,92 МБ
  • добавлен 17 января 2014 г.
Учебное пособие. — Ижевск, изд-во Удм. ун-та, 1997. — 385 стр. Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его молено использовать совместно с обучающими программами высокого уровня. Рекомендуется для студентов и аспирантов специальностей - математика, прикладная математика, структурная прикладная лингвистика, философия, когнитивная психология. Содержание: Введение. Язык...

Никитин В.В. Сборник логических упражнений. Пособие для учителей математики

Практикум
  • формат djvu
  • размер 1,19 МБ
  • добавлен 30 января 2015 г.
Учебное пособие. — М.: Просвещение, 1970. — 96 с. Единственное — но непременное!—условие успешного усвоения материала книги состоит в том, чтобы ни один "ученый" термин ее не воспринимался как «само собой понятный» до того, как читатель действительно усвоит его содержание. Впрочем, это условие было бы полезно соблюдать при чтении и многих других книг. Что же касается этой, то она безусловно сможет принести пользу как учителям (настоящим и будущим...

Никольская И.Л. Математическая Логика

  • формат djvu
  • размер 1.06 МБ
  • добавлен 09 августа 2009 г.
Учебник. - М., Высш. школа, 1981, 127 с., ил. Книга предназначена для учащихся техникумов (колледжей) по специальности "Прикладная математика" и содержит теоретич. материал, соответств. программе "Математическая логика", а также упражнения для активного усвоения курса и приобретения необходимых навыков. Изложение базируется на знаниях по математике 8 летней школы. Ясно и последовательно изложен материал. Предназначается для учащихся средних специ...

Новиков П.С. Избранные труды. Теория множеств и функций. Математическая логика и алгебра

  • формат djvu
  • размер 5,06 МБ
  • добавлен 25 февраля 2014 г.
Москва, Наука, 1979. — 396 с. Настоящий том избранных трудов П. С. Новикова (1901—1975) состоит из двух частей. В первую часть включены все основные работы по дескриптивной теории множеств и теории функций. Вторая часть включает работы по математической логике и алгебре. Обзор научных работ П. С. Новикова. Список печатных работ П. С. Новикова. Теория множеств и теория функций. О неявных функциях, измеримых В. Об одном свойстве аналитических множе...

Новиков П.С. Элементы математической логики

  • формат djvu
  • размер 6.3 МБ
  • добавлен 27 июня 2009 г.
Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие ее основное содержание (логика и исчисление высказываний, ло...

Одинцов С.П., Сперанский С.О., Дробышевич С.А. Введение в неклассические логики

  • формат pdf
  • размер 995,75 КБ
  • добавлен 09 декабря 2014 г.
Новосибирск: РИЦ НГУ (Механико–математический факультет), 2014. – 133 с. Оглавление: Начальные сведения. Конструктивные логики Разрешимость и другие фундаментальные свойства. Модальные логики. Список литературы.

Орехов Ю.В. Математическая логика. Ответы на зачет

Шпаргалка
  • формат doc
  • размер 362,79 КБ
  • добавлен 12 декабря 2016 г.
Зачет. УГАТУ, преп. Орехов Ю.В. Уфа, 2016. 75 вопросов. 25 с. Алгебра высказываний. Примеры высказываний. Правильно построенные формулы. Таблица истинности. ДНФ, КНФ. Исчисление высказываний. Понятие доказательства в исчислении высказываний. Понятие алгебраической системы. Алгебра предикатов. Алфавит и язык алгебры предикатов. Понятие алгебраической системы данной сигнатуры. Теория алгоритмов. Схема построения модели алгоритма. Устройство машин...

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

  • формат pdf
  • размер 1,13 МБ
  • добавлен 11 ноября 2016 г.
Учебное пособие. — Уфа: УГАТУ, 2005. — 158 с. Настоящее учебное пособие содержит изложение основных разделов математической логики (алгебра высказываний, исчисление высказываний, алгебра предикатов) и основ теории алгоритмов. В пособие включены разделы, посвященные практическому решению типовых задач, а также вопросы для повторения, призванные способствовать активному изучению данного курса. Предназначено для студентов специальности 010503 – «Мат...

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

  • формат djvu
  • размер 3.63 МБ
  • добавлен 20 ноября 2010 г.
УГАТУ, 2006г. Учебное пособие содержит изложение основных разделов математической логики (алгебра высказываний, исчисление высказываний, алгебра предикатов) и основ теории алгоритмов. В пособие включены разделы, посвященные практическому решению типовых задач, а также вопросы для повторения, призванные способствовать активному изучению данного курса.

Основные схемы логически правильных рассуждений

Статья
  • формат ppt
  • размер 78,20 КБ
  • добавлен 09 октября 2016 г.
Национальный исследовательский Томский политехнический университет. 2016. 16 с. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Схемы логически правильных рассуждений Правило заключения - утверждающий модус Правило отрицания - отрицательный модус Правила утверждения - отрицания Правила отрицания – утверждения Правило транзитивности Закон противоречия Правило контрапозиции Правило сло...

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

  • формат pdf
  • размер 77.01 МБ
  • добавлен 27 июня 2010 г.
Учебное пособие, Барнаул, Барнаульский государственный педагогический университет, 2006. -168 с.

Пензов Ю.Е. Элементы математической логики и теории множеств

  • формат djvu
  • размер 1.51 МБ
  • добавлен 12 февраля 2011 г.
Издательство Саратовского университета, 1968. - 141с. Основные понятия теории множеств Подмножество. Дополнение подмножества. Пересечение и объединение подмножеств Упорядоченные системы элементов Декартово произведение множеств Арифметическое пространство п измерений n-отношение Функция Отображение множествач на множество. Взаимно-однозначное отображение Алгебра высказываний Логические операции над высказываниями Составные высказывани...

Перетятькин М.Г. Конечно аксиоматизируемые теории

  • формат djvu
  • размер 2.73 МБ
  • добавлен 05 октября 2010 г.
Новосибирск: Научная книга, 1997. 322 с. Четвертый том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому с...

Платонова О.Ю. Решение некоторых алгоритмических проблем в группах Артина с древесной структурой

Дисертация
  • формат pdf
  • размер 279,09 КБ
  • добавлен 21 декабря 2016 г.
Автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 - Математическая логика, алгебра и теория чисел. — Тульский государственный педагогический университет им. Л.Н. Толстого. — Ярославль, 2013. — 15 с. Научный руководитель: доктор физико-математических наук, профессор Безверхний В.Н. Целью данной работы является изучение конечно порожденных групп Артина с древесной структурой, а также доказательство р...

Платонова О.Ю. Решение некоторых алгоритмических проблем в группах Артина с древесной структурой

Дисертация
  • формат pdf
  • размер 2,89 МБ
  • добавлен 30 января 2017 г.
Диссертация на соискание ученой степени кандидата физико-математических наук: 01.01.06 - Математическая логика, алгебра и теория чисел. — Тульский государственный педагогический университет им. Л.Н. Толстого. — Тула, 2013. — 115 с. Научный руководитель: доктор физико-математических наук, профессор Безверхний В.Н. Введение Проблема сопряженности в группах Артина с древесной структурой Диаграммы над группой Артина с древесной структурой Решение п...

Подниекс К.М. Вокруг теоремы Геделя

  • формат pdf
  • размер 902,22 КБ
  • добавлен 29 января 2015 г.
Рига:Зинатне, 1992. – 191 с. Вер. книги: 18.7.2013 Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. Предлагается следующая методологическая оценка теоремы Геделя о неполноте: Всякая формальная теория с методологической точки зрения является моделью некоторой застывшей систе...

Поздняков С.Н., Рыбин С.В. Математическая логика и теория алгоритмов. Учебное пособие

  • формат pdf
  • размер 391.83 КБ
  • добавлен 08 октября 2010 г.
СПбГЭТУ "ЛЭТИ", 2004. , 65с.: ил. Рассматриваются основные идеи, понятия и методы математической логики, интерес к которым вырос благодаря новым приложениям, появившимся за последнее время в связи с развитием информационных технологий. Может использоваться как для студентов дневной формы обучения, так и для вечерних и заочных факультетов технических вузов. Бинарные отношения и графы Логика высказываний Булевы функции

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

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

Пономарев В.Ф. Математическая логика учебное пособие

  • формат doc
  • размер 345.62 КБ
  • добавлен 20 декабря 2008 г.
Калининградский государственный технический университет: Логика высказываний. Алгебра высказываний. Логические операции. Правила записи сложных формул. Законы алгебры логики. Эквивалентные преобразования формул. Нормальные формы формул. Алгоритм приведения к нормальной форме. Алгоритм преобразования ДНФ к виду СДНФ. Алгоритм преобразования КНФ к виду СКНФ. Исчисление высказываний. Интерпретация формул. Аксиомы исчисления высказываний. Правила в...

Пономарев И.Н. Введение в математическую логику и роды структур

  • формат pdf
  • размер 1.48 МБ
  • добавлен 24 сентября 2010 г.
Учебное пособие. М.: МФТИ, 2007. 240 с. В этом пособии, написанном по материалам семинаров, проводившихся автором на кафедре прикладных концептуальных методов в Московском физико-техническом институте, изложены элементы классической логики, а также аппарат родов структур Бурбаки. Применяется стандартная (не бурбаковская) терминология и аксиоматика логики и теории множеств, что позволяет использовать это пособие совместно с другими учебниками. П...

Пономарёв И.Н. Введение в математическую логику и роды структур

  • формат pdf
  • размер 1,58 МБ
  • добавлен 29 января 2015 г.
М.: МФТИ, 2007. — 244 с. — ISBN 5-7417-0174-4 В учебном пособии, написанном по материалам семинаров, проводившихся автором в Московском физико-техническом институте, изложены элементы классической логики и аксиоматической теории множеств, а также аппарат родов структур Бурбаки. В книге применяется стандартная (не бурбаковская) терминология и аксиоматика логики и теории множеств, что позволяет использовать это пособие совместно с другими учебникам...

Порецкий П.С. Логические равенства. О способах решения логических равенств и об обратном способе математической логики

  • формат pdf
  • размер 44,07 МБ
  • добавлен 12 декабря 2015 г.
Москва: Русская Правда 2011, — 160 с. Русская вероятностная логика. Впервые после 1884 года издан уникальный труд "О способах решения логических равенств и об обратном способе математической логики" знаменитого русского ученого, приват—доцента Казанского университета Платона Сергеевича ПОРЕЦКОГО – основоположника Русской вероятностной логики. Для широкого круга читателей. Рекомендовано для факультативного изучения студентам всех учебных заведени...

Порецкий П.С. О способах решения логических равенств и об обратном способе математической логики

  • формат doc
  • размер 257,05 КБ
  • добавлен 14 декабря 2015 г.
Москва: Русская Правда 2011, — 165 с. Русская вероятностная логика. Два сообщения, читанные 27 февраля и 23 марта 1882 г. В заседаниях математических секции Общества Естествоиспытателей при Императорском Казанском университете астроном-наблюдателем университета. Впервые после 1884 года издан уникальный труд "О способах решения логических равенств и об обратном способе математической логики" знаменитого русского ученого, приват—доцента Казанского...

Порецкий П.С. О способах решения логических равенств и об обратном способе математической логики

  • формат pdf
  • размер 2,27 МБ
  • добавлен 07 января 2016 г.
Москва: Русская Правда 1884, — 165 с. (качество изначально компьютерное) Русская вероятностная логика. Два сообщения, читанные 27 февраля и 23 марта 1882 г. В заседаниях математических секции Общества Естествоиспытателей при Императорском Казанском университете астроном-наблюдателем университета. Впервые после 1884 года издан уникальный труд "О способах решения логических равенств и об обратном способе математической логики" знаменитого русского...

Поречный С.С., Михтанюк А.А., Юсупова Л.Р. Элементы математической логики

Практикум
  • формат pdf
  • размер 1,26 МБ
  • добавлен 20 сентября 2016 г.
Практикум; Уфимск. гос. авиац. техн. ун-т. — Уфа: УГАТУ, 2013. — 119 с. — ISBN 978-5-4221-0427-7. Изложены основы алгебры высказываний, логики предикатов, теории алгоритмов и методы решения основных типов задач. Все необходимые определения сформулированы в первой части практикума. Приведены примеры решения задач и задания для самостоятельной работы.

Пособие по Математической Логике

  • формат doc
  • размер 335 КБ
  • добавлен 09 января 2011 г.
Содержание. Введение. Исчисление высказываний. Высказывания. Формулы. Выполнимые и общезначимые формулы. Алгебраический подход. Дизъюнкты и нормальные формы. Логический вывод. Прямой вывод. Доказательство «от противного». Метод резолюций. Фразы Хорна. Примеры использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Исчисление предикатов. Предикаты. Применение логических связок. Кванторы....

Построение управляющей системы, основанной на нечеткой логике

Лабораторная
  • формат doc, ppt
  • размер 1,61 МБ
  • добавлен 18 марта 2012 г.
Ивановский Государственный Химико-Технологический Университет, 2009 В ходе лабораторной работы изучается использование инструмента MatLab Fuzzy Logic Toolbox для создания систем управления, основанных на нечеткой логике. Создана система управления поливом цветов в зависимости от температуры в помещении и ширине листьев растений. Лабораторная работа содержит: Отчет (Задание, пошаговое выполнение, вывод), 7 стр. Файл с настройками системы Flowers....

Потапов Д.К. Неклассические логики

  • формат pdf
  • размер 2,98 МБ
  • добавлен 08 сентября 2012 г.
Учебное пособие. – СПб.: СПбГУ, 2006. – 108 с. В пособии рассматриваются неклассические логики, используемые для представления знаний, спецификации и анализа поведения программ. Излагаются элементы неклассических логик, аппарат нечёткой логики, рассмотрена программная реализация моделей нечёткой логики с помощью инструментального средства математической системы MATLAB 7.0.4 – пакета Fuzzy Logic Toolbox (пакет нечёткой логики). Книга охватывает с...

Потапов Д.К. Неклассические логики

  • формат djvu
  • размер 10,00 МБ
  • добавлен 29 февраля 2016 г.
Учебное пособие. – СПб.: СПбГУ, 2006. – 108 с. В пособии рассматриваются неклассические логики, используемые для представления знаний, спецификации и анализа поведения программ. Излагаются элементы неклассических логик, аппарат нечёткой логики, рассмотрена программная реализация моделей нечёткой логики с помощью инструментального средства математической системы MATLAB 7.0.4 – пакета Fuzzy Logic Toolbox (пакет нечёткой логики). Книга охватывает с...

Презентация - Голованов М.И. Нестандартные логики. Реляционная семантика

Практикум
  • формат pdf
  • размер 3.58 МБ
  • добавлен 01 февраля 2012 г.
Наглядное пособие / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 136 слайдов. Содержание: Введение. Классическая пропозициональная логика. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ? Расширение логики Lp с помощью связки. Трансляции. Свойства некоторых расширений логики Lp. Модальные логики, нормальные...

Презентация - Основы логики

Презентация
  • формат ppt
  • размер 103.5 КБ
  • добавлен 24 августа 2011 г.
16 страниц.Логическое высказывание В алгебре логики простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита. Виды сложных высказываний Соединительные виды Разделительные виды Условные виды Эквивалентные Высказывания с внешним отрицанием Основная задача математической логики Логические операции Обозначение операции в алгебре высказываний Обозначение в языках Обозначение в языках про...

Прийма С.М. Математична логіка і теорія алгоритмів

  • формат pdf
  • размер 1,17 МБ
  • добавлен 07 июля 2013 г.
Навчальний посібник – Мелітополь: ТОВ „Видавничий будинок ММД, 2008. - 134 с. ISBN 978-966-8563-84-3 У посібнику викладено основні розділи математичної логіки і теорії алгоритмів. Теоретичний матеріал ілюстровано численними прикладами та доповнено практичним курсом, що дозволяє закріпити вивчений матеріал. Навчальний посібник призначено для студентів вищих педагогічних навчальних закладів.

Расева Е., Сикорский Р. Математика метаматематики

  • формат djvu
  • размер 5.46 МБ
  • добавлен 24 января 2009 г.
Пер. с англ. - М.: Наука, 1972. – 592 с. Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд. Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые...

Раскин М.А. Сверхслова, меры на них и их полупрямые произведения

Дисертация
  • формат pdf
  • размер 595,85 КБ
  • добавлен 1 апреля 2015 г.

Рвачев Л.А. Математика и семантика. Номинализм как интерпретация математики

  • формат djvu
  • размер 687,65 КБ
  • добавлен 29 июня 2012 г.
Киев: Наукова думка, 1966. — 81 с. Книга посвящена пограничным вопросам математики и семантики. Новый подход делает основные разделы единственными в литературе, поэтому изложение начато с простейших понятий. Несмотря на строгость изложения книга является доступной широкому кругу читателей. Содержание: Предисловие. Описание интуитивной модели. Псевдофизический язык. Прообразы множеств, предикатов и функций. Интерпретация математики. Интерпретаци...

Реферат - Комплексная система поддержки принятия решения

Реферат
  • формат doc
  • размер 104.5 КБ
  • добавлен 11 ноября 2010 г.
ТТИ ЮФУ, ФАВТ, САиТ(230102),2курс,3 семестр.2010г. 13 листов+титульник. Содержит: Введение. История создания СППР. Классификации СППР. теория принятия решения. Проблема эргодичности. Принятие решений в условиях неопределённости. Выбор при неопределённости. Пари Паскаля — выбор при неопределённости. Ошибки первого и второго рода. Альтернативы теории вероятностей. Парадокс выбора. Моделирование принятия решений.

Реферат - Логические уравнения

Реферат
  • формат doc
  • размер 46 КБ
  • добавлен 22 ноября 2009 г.
Реферат: Решения дифференциальных логических уравнений, алгоритм «Селигер», Алгоритм «ТВАТ», Литература.

Реферат - Формальні моделі алгоритмів та алгоритмічно обчислюваних функцій

Реферат
  • формат doc
  • размер 703.5 КБ
  • добавлен 23 апреля 2010 г.
Зміст: 1. машини із натуральнозначними регістрами(МНР). 2. машини Тьюрінга. 3. нормальні алгоритми Маркова. 4. системи Поста. 5. обчислювальність квазиарних функцій на множині натуральних чисел. 6. очислюваність п-арних функцій на множині натуральних чисел. 7. програмовані функцій на множині натуральних чисел. 8. теза Чорча

Романов В.Ф. Математическая логика и теория алгоритмов. Задачник

  • формат pdf
  • размер 11.52 МБ
  • добавлен 21 сентября 2010 г.
Издательство ВлГУ, 24 стр. , 2003 г. ISBN 5-89368-423-0. Приведено компактное множество задач по основам курса "Математическая логика и теория алгоритмов". Задачник предназначен и для активного изучения других дисциплин, связанных с математической логикой и программированием. Во второй части издания даны ответы и указания к решениям задач, а так же полные решения задач из раздела "Формальные системы и логический вывод". Структура и содержание со...

Романович В.А. (сост.) Введение в теорию множеств и математическую логику

  • формат pdf
  • размер 7,46 МБ
  • добавлен 21 августа 2015 г.
Учебное пособие. — Томск: Изд-во Том. ун-та, 1986. — 74 с. Пособие содержит простейшие сведения о множествах, знакомит с начальными понятиями математической логики и снабжено достаточным количеством задач и упражнений. Для студентов математических факультетов университетов и пединститутов. Алгебра множеств Бинарные отношения Отображения (функции) Мощность множества Алгебра высказываний Логика предикатов Литература

Рояк М.Э., Рояк С.Х. Математическая логика

Практикум
  • формат pdf
  • размер 556,32 КБ
  • добавлен 28 января 2012 г.
Методические указания к практическим занятиям и выполнению РГР. по курсу «Дискретная математика». - Новосибирск: НГТУ. - 1998. - 62с. Содержание: Теория множеств. Переключательные функции. Формальная логика и исчисление высказываний. Логика и исчисление предикатов. Список рекомендуемой литературы.

Садыкова А.Р. Математическая логика и теория алгоритмов

  • формат doc
  • размер 64,78 КБ
  • добавлен 09 октября 2012 г.
М.: Московский государственный университет технологий и управления (МГУТУ), 2005. - 8 с. Методические рекомендации и контрольные задания для студентов специальности 230102 (2202) всех форм обучения. Процесс изучения предмета «Математическая логика и теории алгоритмов» состоит из следующих этапов: проработка установочных и обзорных лекций; самостоятельная работа над учебниками и учебными пособиями; систематическая работа над задачами в коде пр...

Самохин А.В. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 1,91 МБ
  • добавлен 17 июля 2012 г.
Москва: МГТУ ГА, 2003. - 237 с. В пособии доступно для студентов технического вуза изложен сложный абстрактный материал в сочетании с содержательными примерами и программами на языке C. В основном тексте содержится более двухсот задач теоретической направленности; ещё около 480 задач содержится в последнем разделе, предназначенном для практических занятий, домашних заданий и контрольных работ.

Самсонов Б.Б., Филоненков А.И. Математическая логика и теория алгоритмов. Тестовые задания

Тест
  • формат pdf
  • размер 1,12 МБ
  • добавлен 08 июня 2014 г.
Учебное пособие. — Ростов н/Д.: Ростовский государственный университет путей сообщения, 2008. — 110 с. Приведены кодификатор и тесты по дисциплине "Математическая логика и теория алгоритмов" для специальностей 230 101 и 230 201, разработанные в соответствии с приказом проректора по учебной работе. Банк тестовых заданий. Кодификатор. Логика высказываний. Логика предикатов. Нечеткая логика. Модальная и темпоральная логики. Формальные теории и систе...

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

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

Серебрянников О.Ф. Эвристические принципы и логические исчисления

  • формат djvu
  • размер 2.2 МБ
  • добавлен 11 июля 2011 г.
М.: Наука, 1970. - 283 с. В книге рассматриваются проблемы выражения эвристических принципов мышления в исчислениях современной логики. Содержание Современная формальная логика и научная эвристика Общие замечания о методах формальной дедукции Аналоги принципов эвристической деятельности в логических исчислениях Системное выражение эвристических принципов в логических исчислениях Роль принципов логики в развитии научного знания Критерии нетриви...

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

  • формат doc
  • размер 3.27 МБ
  • добавлен 02 августа 2009 г.
Методические указания к практическим занятиям. Содержание. Алгебра Буля и её модели. Представление булевых функций формулами. Сводка тавтологий. Совершен-ные формы. Конструирование и упрощение релейно-контактных схем. Логические функции (предикаты) и операции над ними. Общезначимые формулы. Представление формул логики предикатов в предваренной нормальной форме. Логика предикатов и алгебра множеств. Уравнения и неравенства как логи-ческие функции...

Слупецкий Е., Борковский Л. Элементы математический логики и теории множеств

  • формат djvu
  • размер 2.33 МБ
  • добавлен 10 сентября 2010 г.
Перевод с польского О. Ф. Серебрянникова, Издательство Прогресс, Москва, 1965. Книга известных польских логиков, посвящена изложению основ современной формальной логики и теории множеств для читателей гуманитарного профиля. В ней содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, а также освещаются некоторые важнейшие методологические аспекты математической логики и оснований математики.

Смальян Р. Теория формальных систем

  • формат djvu
  • размер 3.92 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1981. - 207 с. Серия "Математическая логика и основания математики" В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгорифма. Фундаментальным теоретическим обобщением выработанных...

Смирнов В.А. Теория логического вывода

  • формат doc
  • размер 1,19 МБ
  • добавлен 1 апреля 2015 г.
М.: РоссПЭН, 1999. — 318 с. Сборник содержит основные труды выдающегося отечественного логика профессора В.А.Смирнова по теории логического вывода, в том числе основополагающую монографию «Формальный вывод и логические исчисления». В приложении имеется полная библиография работ В.А.Смирнова. Книга предназначена для логиков, философов и всех интересующихся проблемами логической науки. Содержание Некоторые логические идеи В.А.Смирнова. Формальный...

Сосинский А.Б. Невычислимость, неразрешимость, недоказуемость

  • формат pdf
  • размер 146,04 КБ
  • добавлен 08 февраля 2017 г.
М.: Дубна. 2001. - 9 стр. Лекции летней школы: "Современная математика"., г. Дубна. 2001-2010. Математика. Лекции представлены в виде "Занятий с подробными примерами": Машины Тьюринга Дано понятие "Машин Тьюринга", их примеры. Также даётся формулировка Тезиса Чёрча и с его помощью доказываются основные теоремы Машин Тьюринга от двух переменных. Кодирование Даны различные примеры кодирования алфавита множеств. Также даётся определение "Вычислимых...

Сперанский Д.В. (сост.) Математическая логика и теория алгоритмов

  • формат doc
  • размер 81,40 КБ
  • добавлен 15 февраля 2013 г.
Учебно–методический комплекс для студентов специальности 230101.65 "Вычислительные машины, комплексы, системы и сети". – М.: МИИТ, 2011. – 13 с. В комплексе даются базовые понятия дискретной математики, основы математической логики и теории алгоритмов. В комплексе представлены указания и рекомендации по выполнению лабораторного практикума, практических занятий.

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

  • формат pdf
  • размер 1 МБ
  • добавлен 04 января 2012 г.
Оренбург: ГОУ ОГУ, 2004. – 106 с. Пособие предназначено студентам экономических и естественнонаучных специальностей для выработки конструктивных знаний в области формальной логики и алгоритмизации.

Степанова, Плешкова, Гусев. Математическая логика и теория алгоритмов (методичка)

Практикум
  • формат djvu
  • размер 1.02 МБ
  • добавлен 28 января 2011 г.
Темы: Алгебра высказываний. Исчисления высказываний. Логика предикатов. Исчисление предикатов. Машины Тьюринга. Владивосток, Вгуэс, 2010.

Столл Роберт Р. Множества. Логика. Аксиоматические теории

  • формат djvu
  • размер 4.22 МБ
  • добавлен 11 июня 2009 г.
Пер. с англ. Ю. А. Гастева и И. Х. Шмаина. Под ред. Ю. А. Шихановича. М., "Просвещение", 1968. 231 стр. В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций над множествами), математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории булевых алгебр.

Столяр А.А. Логическое введение в математику

  • формат djvu
  • размер 1.46 МБ
  • добавлен 21 сентября 2010 г.
Издательство "Вышэйшая школа", Минск 1971. Книга содержит изложение вводного курса, предназначенного для студентов первого года обучения математических специальностей педагогических вузов. Цель этого курса - привить студентам навыки современного математического мышления и его точного, краткого и ясного выражения, облегчить им последующее изучение различных математических дисциплин и методики современного преподавания математики в школе. В книге...

Стукачев А.И. Sigma-определимость в наследственно-конечных надстройках и пары моделей

Статья
  • формат pdf
  • размер 265,04 КБ
  • добавлен 31 октября 2013 г.
Статья из журнала "Алгебра и логика", 2004, том 43, № 4, с. 459-481 (УДК 510.5) Аннотация: в данной работе изучается понятие sigma-определимости алгебраических систем в настедственно-конечных надстройках, которое позволяет, в частности, ввести аналоги понятия конструктивности для несчетных моделей. В работе вводится понятие относительной неразличимости, посредством которого единым способом даются критерии sigma-определимости несчетной модели c-пр...

Судоплатов С.В. Проблема Лахлана

  • формат pdf
  • размер 1,42 МБ
  • добавлен 06 мая 2016 г.
Новосибирск: Изд-во НГТУ, 2008. — 271 с. В книге излагается генерическая конструкция, приводящая к реализации основных характеристик эренфойхтовых теорий, т.е. полных теорий с конечным, но большим единицы, числом попарно неизоморфных счетных моделей. На основе этой конструкции, а также генерической конструкции Хрушовского — Хервига представляется решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. Для интересующихся математи...

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

  • формат pdf
  • размер 16,40 МБ
  • добавлен 12 июля 2015 г.
М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004. – 224 с. Оглавление Предисловие Введение Исчисление высказываний Определение формальногo исчисления Исчисление высказываний генценовскоro типа Эквивалентность формул Нормальные формы Семантика исчислении секвенций Исчисление высказываний гильбертовского типа Алгоритмы проверки общезначимости и противоречивости в ИB Логические задачи Задачи и упражнения Логика и исчисления предикатов Формулы сигнат...

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

  • формат pdf
  • размер 19,82 МБ
  • добавлен 18 июня 2015 г.
Учебник — М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004. — 224 с. — (Высшее образование). — ISBN: 5-16-001975-8, 5-7782-0458-2 В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов. Оглавление Предиcловие Введение...

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

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

Таланов В.А. Математическая логика и модели вычислений

  • формат djvu
  • размер 2.61 МБ
  • добавлен 28 октября 2011 г.
Учебное пособие.- Нижний Новгород: изд. ННГУ, 1994. – 118 с. В учебном пособии содержатся начала логики предикатов и теории алгоритмов. Она предназначена для студентов, обучающихся по специальности прикладная математика и информатика в рамках университетского учебного плана, содержащего курс "Дискретная математика". Материал содержит примеры, иллюстрирующие основные понятия математической логики, и достаточно большое число упражнений.

Тарский А. Введение в логику и методологию дедуктивных наук

  • формат djvu
  • размер 5,07 МБ
  • добавлен 19 октября 2015 г.
Москва: Государствениое издательство иностранной литературы, 1948. — 328 c. OCR, Оглавление. А.Тарский (1902-1983) - польский логик и математик, основоположник формальной семантики, главный представитель львовско-варшавской школы. Работы Тарского по семантике и металогике оказали большое влияние на развитие семиотики. Предлагаемая читателям книга, несмотря на используемый в ней символический язык формул, представляет собой общедоступное введение...

Тарский А. Введение в логику и методологию дедуктивных наук

  • формат pdf
  • размер 20,84 МБ
  • добавлен 27 октября 2015 г.
Москва: Государствениое издательство иностранной литературы, 1948. — 328 c. Текстовый слой, Оглавление. А.Тарский (1902-1983) - польский логик и математик, основоположник формальной семантики, главный представитель львовско-варшавской школы. Работы Тарского по семантике и металогике оказали большое влияние на развитие семиотики. Предлагаемая читателям книга, несмотря на используемый в ней символический язык формул, представляет собой общедоступно...

Тесты по Элементам математической логики

Тест
  • формат doc
  • размер 164,69 КБ
  • добавлен 29 января 2013 г.
ЯрГк, группа ДОЗ-ИС, 2013, 6 стр. Тесты по электронной книге "Элементы математической логики". Всего четыре теста + аттестационный. Каждый тест соответствует разделу книги: элементы теории множеств, логика Буля, логика высказываний, логика предикатов. В тестах есть несколько диаграмм, которые не копируются. Отвечать надо самому по разделу книги логика Буля.

Тихомирова Л.С. Методы минимизации булевых функций

  • формат doc
  • размер 205.86 КБ
  • добавлен 22 июня 2008 г.
Геометрический метод. Метод неопределенных коэффициентов. Метод минимизирующих карт Карно. Метод Квайна. Метод Патрика нахождение всех возможных тупиковых форм. Метод Мак-Класки. Метод диаграмм Вейча.

Тождества булевой алгебры

Статья
  • формат ppt
  • размер 80,51 КБ
  • добавлен 22 сентября 2016 г.
Национальный исследовательский Томский политехнический университет. 2016. 13 с. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Ассоциативный закон Коммутативный закон Дистрибутивный закон Свойства дизъюнкции и конъюнкции Операция поглощения Обобщенное склеивание Получение эквивалентных формул

Трохименко В.С. Конспект лекцій з математичної логіки та теорії алгоритмів

  • формат pdf
  • размер 748.08 КБ
  • добавлен 13 сентября 2010 г.
Вінниця, 2007. Конспект лекцій відповідає діючій програмі з математичної логіки і теорії алгоритмів для математичних спеціальностей педагогічних університетів. Зміст: Вступ. 1. Логіка висловлень. Логічні операції над висловленнями. Логічне слідування в логіці висловлень. Рівносильність формул логіки висловлень. Нормальні форми. Повні системи булевих функцій. Алгебра Жегалкіна. Замкнені класи булевих функцій. Теорема про функціональну повноту. 2....

Усенко В.В. Логические системы управления

  • формат djvu
  • размер 803.04 КБ
  • добавлен 20 марта 2010 г.
Приведено описание основ математической логики, законов и свойств логических операций, методов оценки сложности логических форм и способов их упрощения. Рассматриваются примеры построения простых логических схем и их реализация. Показывается, что сегодня математическая логика является не только теоретической базой обоснованности алгоритмов управления, но и в значительной мере техническим средством их реализации. Особое внимание уделяется вопросам...

Успенский В.А. Лекции о вычислимых функциях

  • формат pdf
  • размер 27.65 МБ
  • добавлен 22 января 2011 г.
М.: Государственное издательство физико-математической литературы, 1960. - 492 с. Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. Их роль в математике середины XX в. можно, пожалуй, сравнить с ролью понятия множества в математике конца XIX в. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая"...

Успенский В.А. Теорема Гёделя о неполноте в элементарном изложении

Статья
  • формат pdf
  • размер 2,98 МБ
  • добавлен 30 января 2016 г.
Из журнала "Успехи математических наук", 1974 г. т.XXIX, вып. 1(175), стр.3-47 Теорема Гёделя о неполноте отрицает возможность такой системы аксиом и правил вывода, при которой совокупность утверждений, выводимых из аксиом, совпадает с совокупностью истинных утверждений арифметики (более того, для всякой непротиворечивой системы может быть эффективно построено истинное, но не выводимое утверждение). Статья посвящена доказательству этой теоремы, о...

Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики

  • формат djvu
  • размер 862.87 КБ
  • добавлен 01 ноября 2009 г.
М.: Физматлит,2004г. — 128 с. В уч. пособии содержится материал осн. курса «Введение в мат. логику», читаемого на мех. -мат. фак. МГУ. Излагаются элементы теории множеств, осн. понятия, относящиеся к семантике формализованных логико-матем. языков 1-го порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов матем. факультетов университетов, пед. институтов, а также др. вузов...

Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики

  • формат pdf
  • размер 10,31 МБ
  • добавлен 20 марта 2016 г.
М.: Физматлит, 2004. — 128 с. — ISBN 5-9221-0278-8. В пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков 1-го порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов мате...

Формулы логики высказываний

Статья
  • формат ppt
  • размер 39,47 КБ
  • добавлен 11 октября 2016 г.
Национальный исследовательский Томский политехнический университет. 2016. 14 с. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Тавтологии Формулы, принимающие значение “истина” Формулы, принимающие значение “ложь”

Фрейденталь Х. Язык логики

  • формат tif
  • размер 9,80 МБ
  • добавлен 17 февраля 2012 г.
Перевод с английского Ю.А.Петрова. Под редакцией Ю.А.Гастева. — М.: Наука, 1969. — 135 с. В 1961 г. в Хаарлеме (Нидерланды) вышла небольшая книжка «Exacte logica» («Точная логика»). Автор ее профессор X. Фрейденталь — известный голландский математик с весьма широкими интересами; развивая традиции отечественной школы интуиционистов, он еще в 30-е годы внес существенный вклад в построение интуиционистской топологии; в последние годы большую популяр...

Фролов И.С. (сост.) Задачи по математической логике

Практикум
  • формат pdf
  • размер 277,41 КБ
  • добавлен 23 января 2015 г.
Методические указания к практическим занятиям для студентов механико-математического факультета. — Самарский государственный университет, 2000. — 20 с. Методические указания предназначены для студентов 2 курса специальности "математика". Набор задач соответствует программе курса "Математическая логика" и включает в себя темы: логические формулы, эквивалентные преобразования формул, нормальные формы, логическое следование, прикладные задачи, логич...

Фролов И.С. Элементы математической логики

  • формат pdf
  • размер 859.63 КБ
  • добавлен 08 ноября 2011 г.
Самара: Изд-во Самарского государственного университета, 2001 г., 80 с. Учебное пособие написано на основе курса лекций, читаемого автором в течение ряда лет студентам-математикам. В нем рассматриваются основные понятия и вопросы, относящиеся к элементарным разделам математической логики: логические функции, нормальные формы, исчисление высказываний, формальные теории. Изложение сопровождается примерами и иллюстрациями вводимых понятий и применяе...

Хан Сун Э. Математическая логика

  • формат pdf
  • размер 2,29 МБ
  • добавлен 16 декабря 2016 г.
Хабаровск: Изд-во Тихоокеан. гос. ун-та, 2013. — 91 с. — ISBN 978-5-7389-1141-5. В учебном пособии в доступной форме изложены основы математической логики. Даны понятия алгебры высказываний, исчисления высказываний, логики и исчисления предикатов, приведены вопросы, задачи и упражнения для закрепления теоретического материала. Представлен современный библиографический список. Для студентов, обучающихся по специальностям «Прикладная математика», «...

Хромой Я.В. Збірник вправ і задач з математичної логіки

  • формат djvu
  • размер 3,42 МБ
  • добавлен 02 июля 2015 г.
Київ, Видавниче об'єднання "Вища школа", 1978, 160 с. Розділ 1. Алгебра висловлень Розділ 2. Числення висловлень Розділ 3. Логіка предикатів Відповіді Символи і позначення Список літератури Сборник составлен соответственно программе по математической логике для педагогических институтов, поэтому его содержание ограничизается алгеброй высказьваний, исчислением высказываний, теоретико-множественной логикой предикатов и не включает упражнений на фор...

Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем

  • формат djvu
  • размер 3.29 МБ
  • добавлен 24 декабря 2009 г.
М.: Наука, 1983. - 360 с. Книга посвящена детальному изложению круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем искусственного интеллекта.

Черкасов М.Ю. Проблема Кука - проблема ли?

Статья
  • формат pdf
  • размер 140,03 КБ
  • добавлен 23 августа 2016 г.
Международный журнал прикладных и фундаментальных исследований. — 2016. — № 7-1. — С. 131-131. Рассматривается задача Выполнимость, суть которой заключается в поиске значений набора логических переменных, при которых заданное логическое выражение принимает значение Истина или Ложь. Показывается, что нет необходимости рассматривать все возможные варианты. По правилам логики, если выражение содержит только связки Или, то для его истинности достаточ...

Чёрч А. Введение в математическую логику. Том 1

  • формат djvu
  • размер 5.11 МБ
  • добавлен 02 мая 2010 г.
Пер. с англ. В. С. Черняевского, под редакцией В. А. Успенского. Издательство иностранной литературы. Москва, 1960. Эта монография принадлежит перу одного из самых известных современных специальистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую пр...

Чёрч А. Введение в математическую логику. Том 1

  • формат pdf
  • размер 19,77 МБ
  • добавлен 21 января 2016 г.
М.: Издательство иностранной литературы, 1960. — 484 с. Пер. с англ. В. С. Черняевского, под редакцией В. А. Успенского. Изложение автора книги отличается необычайной полнотой — как в смысле полноты рассмотрения каждого вопроса, так и в смысле полноты круга рассматриваемых вопросов. Эта монография принадлежит перу одного из самых известных современных специальистов в области математической логики. Она задумана автором в качестве учебника для студ...

Чудинов К.М. (состав.) Математическая логика и теория алгоритмов

  • формат doc
  • размер 422.67 КБ
  • добавлен 17 июня 2010 г.
Методические указания для студентов II курса заочного отделения специальности ИСТ. / Сост. К. М. Чудинов; Пермь: Изд-во Перм. гос. техн. ун-та, 2007. 48 с. Приводятся необходимые для изучения курса «Математическая логика и теория алгоритмов» теоретические сведения, примерами решения задач, задачи для самостоятельного решения и список рекомендуемой литературы. Программа курса: Логика высказываний. Логические операции. Формулы логики высказываний...

Шапиро С.И. Решение логических и игровых задач (логико-психологические этюды)

  • формат djvu
  • размер 4.82 МБ
  • добавлен 18 июля 2011 г.
Москва: Радио и связь, 1984. - 155 с. Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др. Для интересующихся проблемами кибернетики и вычислительной техники.

Шаповалов C П. Теория алгоритмов и математическая логика

  • формат pdf
  • размер 3.18 МБ
  • добавлен 04 марта 2011 г.
Учебное пособие. - Сумы: СумДУ Основной целью дисциплины является освоение принципов построения и анализа алгоритмов, математическому обоснованию их применения. В результате изучения дисциплины студенты должны получить: Знание - построения и применения основных алгоритмов при программировании; анализа алгоритмов и выбора наиболее эффективного алгоритма, Умение - генерировать входные данные и настройки применения алгоритма; составлять и от...

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

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

Шенфилд Д. Математическая логика

  • формат djvu
  • размер 3.21 МБ
  • добавлен 02 марта 2010 г.
«Наука», 1975г. , 529 стр., пер. с английского. Книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все теоремы, заслужившие всеобщее признание специалистов, в области математической логики, теории моделей и теории алгоритмов....

Шенфилд Дж. Степени неразрешимости

  • формат djvu
  • размер 2.46 МБ
  • добавлен 04 сентября 2011 г.
М.: Наука, 1977. - 192 с. Терминология и обозначения. Рекурсивные функции. Изоморфизмы. Относительная рекурсивность. Рекурсивная перечислимость. Степени. Оценка степеней. Несравнимые степени. Верхние и нижние грани. Операция скачка. Минимальные степени. Простые множества. Метод приоритета. Теорема о разложении. Максимальные множества. Бесконечные нарушения. Индексные множества. Ветвящиеся степени. Дополнения. К.Е.М. Ейтс. Три теоремы о степенях р...

Шлык В.А. Конспект лекций по математической логике (1 глава)

  • формат doc
  • размер 1,16 МБ
  • добавлен 31 мая 2013 г.
Конспект лекций по математической логике. - Минск, БГПУ им. М. Танка, 2004, 15 с. Высказывания и операции над ними Формулы. Таблицы истинности Тавтологии. Противоречия. Выполнимые формулы Проблема разрешения. Равносильные формулы Нормальные формы СДНФ и СКНФ, их существование и единственность Закон двойственности

Шлык В.А. Конспект лекций по математической логике (2 глава)

  • формат doc
  • размер 1,06 МБ
  • добавлен 08 июня 2013 г.
Конспект лекций по математической логике. - Минск, БГПУ им. М. Танка, 2004, 10 с. Понятие формальной аксиоматической теории Понятия формальной выводимости и формального доказательства Определение формальной аксиоматической теории L логики высказываний Теорема дедукции Полнота исчисления высказываний Непротиворечивость исчисления высказываний Независимость системы аксиом теории L

Шпоры по математической логике

pottee
  • формат doc
  • размер 336.5 КБ
  • добавлен 15 июня 2009 г.
Исчисление высказываний (ИВ). Основные понятия. Алгебра высказываний. Основные логические операции. Правила записи сложных суждений. Законы эквивалентных преобразований формул. Проблемы разрешимости формул. Таблицы истинности. Метод дедуктивного вывода. Modus ponens. Метод дедуктивного вывода. Modus tollens. Основные аксиомы вывода. Принцип резолюции. Исчисление предикатов. Основные понятия. Алгебра предикатов. Основные логические операции. Прави...

Шпоры по математической логике

pottee
  • формат doc
  • размер 1.02 МБ
  • добавлен 07 января 2010 г.
Ответы по темам за 1 семестр математической логики. Ответы на экзаменационные билеты по математической логике всего 24 вопроса. Вопросы по темам от: 1) Двузначная логика, булевы функции, до 24) Множества и операции над ними.

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

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

Эвнин А.Ю. Математическая логика. Конспект лекций и задачи

  • формат pdf
  • размер 555.08 КБ
  • добавлен 06 января 2011 г.
Учебное пособие составлено в соответствии с программой курса мат. логики для специальности "прикладная математика", содержит теоретический материал и задачи по темам алгебра высказываний, логический исчисления. все изложено доступным языком, снабжено примерами.

Эдельман С.Л. Математическая логика

  • формат djvu
  • размер 1.48 МБ
  • добавлен 13 марта 2009 г.
Учеб. пособие для ин-тов. М. Высшая школа. 1975. -176 с.: илл В учебнике рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.

Эдельман С.Л. Математическая логика

  • формат pdf
  • размер 2,95 МБ
  • добавлен 26 сентября 2015 г.
Учебное пособие. — М.: Высшая школа, 1975. — 176 с.: ил. Изображение с текстовым слоем и закладками. Книга предназначена для студентов и соответствует программе курса «Математическая логика» для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому и...

Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста

  • формат pdf
  • размер 3.03 МБ
  • добавлен 21 сентября 2010 г.
М.: Наука, 1966. 120 с. Работа состоит из двух частей. В первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. Рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части. Во второй части строятся замкну...

Яковлев А.В. Лекции по математической логике

  • формат pdf
  • размер 443.21 КБ
  • добавлен 08 января 2011 г.
Конспект лекций. Авторское электронное издание(изначально компьютерное). Количество страниц: 52. Место и год издания не установлены.

Ячменева Н.Н. Математическая логика

  • формат pdf
  • размер 502.72 КБ
  • добавлен 22 октября 2009 г.
Метод. пособие по логике. Ростов-на-Дону. 2007г. – 42 с. Примеры решения задач по матем. логике. Темы пособия: 1. Алгебра высказываний. 2. Исчисление высказываний ИС генценовского типа. 3. Исчисление высказываний ИВ гильбертовского типа. 4. Общезначимость формул. 5. Логические программы.

Barwise J. (ed.) Handbook of Mathematical Logic

Справочник
  • формат djvu
  • размер 21.44 МБ
  • добавлен 01 ноября 2011 г.
Издательство Elsevier, 1977, -1165 pp. The Handbook of Mathematical Logic is an attempt to share with the entire mathematical community some modern developments in logic. We have selected from the wealth of topics available some of those which deal with the basic concerns of the subject, or are particularly important for applications to other parts of mathematics, or both. Mathematical logic is traditionally divided into four parts: model theor...

Bergmann M., Moor J., Nelson J. The Logic Book

  • формат pdf
  • размер 84.59 МБ
  • добавлен 03 марта 2011 г.
McGraw-Hill, 2003. - 576 pages. This outstanding book is a leading text for symbolic or formal logic courses. All techniques and concepts are presented with clear, comprehensive explanations and numerous, carefully constructed examples. Its flexible organization (all chapters are complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose.

Bibel W. Deduction: Automated Logic

  • формат djvu
  • размер 2.01 МБ
  • добавлен 14 сентября 2011 г.
Academic Press, 1993. - 253 Pages. Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise and comprehensive manner. This book features broad coverage of deductive methods on the level of propositional and first-order logic, the strategic aspects of automated deduction, the applications of deduction mechanisms to a range of different areas, and their realization in concrete systems. This book can be use...

Bilanuik S. A Problem Course in Mathematical Logic

  • формат pdf
  • размер 676.29 КБ
  • добавлен 01 ноября 2011 г.
Department of Mathematics Trent University, 1991, -186 pp. This is a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of propositional and first-order logic through the Soundness, Completeness, and Compactness Theorems. Volume II, Computation, covers the basics of computability using Turing machines and recursive functions, the Incompleteness Theorems, and complexity theory through the P and NP. It co...

Carroll Lewis. Symbolic Logic

  • формат djvu
  • размер 1.88 МБ
  • добавлен 07 января 2010 г.
Title Page [Титул] Syllogism [Силлогизм] Advertisement [Замечания] Preface to the Fourth Edition [Предисловие к четвертому изданию] Introduction to Learners [Обращение к учащимся] Table of Contents [Оглавление] Book I Things and Their Attributes [Книга I. Предметы и их признаки] Chapter I Introductory [Глава I. Введение] Chapter II Classification [Глава II. Классификация] Chapter III Division [Глава III. Разбиение на подклассы] Chapter IV Names...

Chaitin G.J. The Unknowable

  • формат pdf
  • размер 527.56 КБ
  • добавлен 31 января 2012 г.
Издательство Springer, 1999, -128 pp. Having published four books on this subject, why a fifth? Because there’s something new: I compare and contrast G?del’s, Turing’s and my work in a very simple and straight-forward manner using LISP. Up to now I never wanted to examine G?del’s and Turing’s work too closely - I wanted to develop my own viewpoint. But there is no longer any danger. So I set out to explain the mathematical essence of three very...

Crossley J.N. What is Mathematical Logic?

  • формат djvu
  • размер 882.84 КБ
  • добавлен 22 декабря 2011 г.
C. J. Ash (Author), J. N. Crossley (Author), C. J. Brickhill (Author), J. C. Stillwell (Author), N. H. Williams (Author) This introduction to the main ideas and results of mathematical logic is a serious treatment geared toward non-logicians. Starting with a historical survey of logic in ancient times, it traces the 17th-century development of calculus and discusses modern theories, including set theory, the continuum hypothesis, and other ideas.

Detlefsen M., McCarty D.C., Bacon J.B. Logic from A to Z

  • формат pdf
  • размер 1.1 МБ
  • добавлен 30 ноября 2011 г.
Routledge, 1999. - 128 pages. First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy. Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of. * Logic: Argument, Turing Machine, Variable. * Set and model theory: Isomorphism, Function. * Computability theory: Algor...

Dov M. Gabbay. Handbooks of logic in computer science. Volume 5

Справочник
  • формат pdf
  • размер 27.86 МБ
  • добавлен 22 декабря 2011 г.
Volume 5. Logic and Algebraic Methods. The present Volume 5 continues with logical and algebraic methodologies basic to computer science. Chapter 1 covers Martin-L0f's type theory, originally developed to clarify the foundations of constructive mathematics it now plays a major role in theoretical computer science. The second chapter covers categorial logic, the interaction area between category theory and mathematical logic. It builds on the basi...

Doxiadis A., Papadimitriou Ch. Logicomix: An Epic Search for Truth

  • формат pdf
  • размер 121,85 МБ
  • добавлен 03 мая 2012 г.
Монография в картинках. 2009, Bloomsbury, New York, 2009, 347 стр. Первая в мире математическая монография в жанре комикса, посвященная жизни, творчеству и научным идеям выдающегося логика и философа Бертрана Рассела.

Ebbinghaus H.-D., Flum J., Thomas W. Mathematical Logic

  • формат djvu
  • размер 1.99 МБ
  • добавлен 01 ноября 2011 г.
Издательство Springer, 1984, -113 pp. Some of the central questions of mathematical logic are: What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers, the most pleasing of which is given by G?del's completeness theorem: It is possible to exhibit (in the...

Enderton H.B. A Mathematical Introduction to Logic

  • формат djvu
  • размер 3.18 МБ
  • добавлен 25 июня 2011 г.
Harcourt/Academic Press, 2001. - 317 Pages. An accessible, flexible introduction to the subject of mathematical logic, the second edition of this popular and widely-adopted text has been revised to be appropriate for courses enrolling either advanced undergraduates or graduate students. Like the First Edition, this book is an introduction to the concepts of proof, truth, and computability. This Second Edition has additional examples and explana...

Gibilisco S. Math Proofs Demystified

  • формат pdf
  • размер 2.61 МБ
  • добавлен 16 декабря 2010 г.
Математическая логика для чайников McGraw-Hill Professional, 2005. - 290 pages. Almost every student has to study some sort of mathematical proofs, whether it be in geometry, trigonometry, or with higher-level topics. In addition, mathematical theorems have become an interesting course for many students outside of the mathematical arena, purely for the reasoning and logic that is needed to complete them. Therefore, it is not uncommon to have ph...

Hamburger H., Richards D. Logic and Language Models for Computer Science

  • формат pdf
  • размер 16.21 МБ
  • добавлен 25 декабря 2010 г.
Prentice Hall, 2002. - 341 Pages. This book invites the reader to explore abstractions that are crucial to computer science. The authors bring a sense of excitement to logics, formal languages and automata-motivating topics by linking them to computing and to computational applications, sometime with whole chapters. They achieve exceptional clarity through a plethora of examples and figures, yet without-losing sight of, and indeed celebrating, t...

Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications

Справочник
  • формат pdf
  • размер 8.35 МБ
  • добавлен 14 ноября 2011 г.
'Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic, applied areas such as planning, scheduling, operations research and combinatorial optimization, but also theoretical issues on the theme of complexity and much more, they all are connected through SAT. My personal interest in SAT stems from actual solving: The increase in power of modern SAT solvers over the past 15 years has been phenomenal. It has b...

Hedman S. A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

  • формат pdf
  • размер 6.84 МБ
  • добавлен 03 декабря 2011 г.
Oxford University Press, 2004. - 452 pages. The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering...

Hinman P.G. Fundamentals of Mathematical Logic

  • формат djvu
  • размер 6.61 МБ
  • добавлен 11 октября 2011 г.
AK Pеters, 2005. - 896 pages. This introductory graduate text covers modern mathematical logic from propositional, first-order, higher-order and infinitary logic and G?del’s Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author’s more than 35 years of teaching experience, the book develops students’ intuition by presenting complex ideas in the simplest context f...

Kneebone G.T. Mathematical Logic and the Foundations of Mathematics. An Introductory Survey

  • формат djvu
  • размер 4.75 МБ
  • добавлен 01 ноября 2011 г.
Издательство Van Nostrand, 1963, -224 pp. This introduction to mathematical logic and the philosophy of mathematics is based on courses of lectures given in the University of London, and attended both by undergraduates in the final year of an honours course in mathematics and by graduates beginning research for higher degrees. Planned with a variety of needs in mind, it is addressed both to readers who require only a general survey of the topics...

Levitz K., Levitz H. Logical and Boolean Algebra

  • формат djvu
  • размер 984.18 КБ
  • добавлен 22 февраля 2011 г.
Copyright 1979 by Barren's Educational Series. This book was intended for students who plan to study in the humanities and in the social and management sciences. Students interested in the physical and natural sciences, however, might also find its study rewarding. All that is presupposed is some high school algebra. The authors strongly urge that the topics be studied in the order in which they appear and that no topics be skipped. In recent ye...

Mendelson E. Introduction to Mathematical Logic

  • формат pdf
  • размер 10.39 МБ
  • добавлен 25 июня 2011 г.
Chapman & Hall/CRC, 1997. - 456 pages. The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and a...

Michael huth, Mark ryan. Logic in computer science modelling and Reasoning about Systems

  • формат pdf
  • размер 2.13 МБ
  • добавлен 22 декабря 2011 г.
Our motivation for (re)writing this book One of the leitmotifs of writing the first edition of our book was the observation that most logics used in the design, specification and verification of computersystems fundamentally deal with a satisfaction relation M ? where M is some sort of situation or model of a system, and ? is a specification, a formula of that logic, expressing what should be true in situation M. At the heart of this set-up is th...

Nienhuys-Cheng S.-H., de Wolf R. Foundations of Inductive Logic Programming

  • формат pdf
  • размер 8.28 МБ
  • добавлен 06 ноября 2011 г.
Издательство Springer, 1997, -248 pp. One of the most interesting recent developments within the field of automated deduction is inductive logic programming, an area that combines logic programming with machine learning. Within a short time this area has grown to an impressive field, rich in spectacular applications and full of techniques calling for new theoretical insights. This is the first book that provides a systematic introduction to the...

Padawitz P. Deduction and Declarative Programming

  • формат djvu
  • размер 1.4 МБ
  • добавлен 31 января 2012 г.
Издательство Cambridge University Press, 1992, -285 pp. This monograph promotes specification and programming on the basis of Horn logic with equality. As was pointed out in [Pad88a], this theoretical background equips us with a number of deductive methods for reasoning about specifications and designing correct programs. The term declarative programming stands for the combination of functional (or applicative) and relational (or logic) programmi...

Paulson L.C. Logic and Computation. Interactive Proof with Cambridge LCF

  • формат djvu
  • размер 1.5 МБ
  • добавлен 06 февраля 2012 г.
Издательство Cambridge University Press, 1987, -316 pp. Growing numbers of computer scientists recognise the importance of formal methods of system design [48]. LCF and ML are often mentioned, seldom understood. There is a wide literature, as the bibliography attests. Gordon, Milner, and Wadsworth [41] describe Edinburgh LCF, with a few remarkable examples. The present book aims to make Cambridge LCF accessible to a wide audience. Serious stude...

Rautenberg W. A Concise Introduction to Mathematical Logic

  • формат pdf
  • размер 2.44 МБ
  • добавлен 11 декабря 2010 г.
Springer, 2006. - 260 pages. Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguisti...

Sacks G.E. Mathematical Logic in the 20th Century

  • формат pdf
  • размер 35.39 МБ
  • добавлен 23 декабря 2010 г.
World Scientific Publishing Company, 2003. - 708 Pages. This invaluable book is a collection of 31 important — both in ideas and results — papers published by mathematical logicians in the 20th Century. The papers have been selected by Professor Gerald E Sacks. Some of the authors are G?del, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin.

Schlechta K. Nonmonotonic Logics: Basic Concepts, Results, and Techniques

  • формат pdf
  • размер 5.06 МБ
  • добавлен 06 ноября 2011 г.
Издательство Springer, 1997, -248 pp. Nonmonotonic logics were created as an abstraction of some types of common sense reasoning. They have the surprising property - for logicians trained on classical logic - of being nonmonotonic in the following sense: increasing the axiom set will not necessarily result in an increase in the set of formulas deducible from these axioms. Such situations arise naturally, e.g., in the use of information of differ...

Shoenfield J.R. Mathematical Logic

  • формат djvu
  • размер 4.59 МБ
  • добавлен 25 августа 2011 г.
AK Pеters/CRС Prеss, 2001. - 356 pages. This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and accessible f...

Simpson S.G. Mathematical Logic

  • формат pdf
  • размер 769,48 КБ
  • добавлен 16 мая 2014 г.
USA.: The Pennsylvania State University. 2000. - 77p. English. Хорошо составленный курс лекций по математической логике (на английском языке), читаемый автором в университете штата Пенсильвания, США. Содержит: 1. Исчисление высказываний: теоремы полноты и компактности в них; 2. Исчисление предикатов: теоремы полноты и компактности в них; 3. Теория доказательств: система доказательства Hilbert-стиля, системы доказательства Gentzen-стиля, теорема и...

Smith P. Introduction to G?del's Theorems

  • формат pdf
  • размер 907.25 КБ
  • добавлен 01 ноября 2011 г.
Издательство Cambridge University Press, 2005, -173 pp. In 1931, the young Kurt G?del published his First and Second Incompleteness Theorems; very often, these are simply referred to as ‘G?del’s Theorems’. His startling results settled (or at least, seemed to settle) some of the crucial questions of the day concerning the foundations of mathematics. They remain of the greatest significance for the philosophy of mathematics – though just what tha...

Smullyan R.M. Logical Labyrinths

  • формат pdf
  • размер 3.64 МБ
  • добавлен 18 октября 2011 г.
AK Peters, 2009. - 275 pages. This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for...

Smullyan Raymond What is the Name of This Book? The Riddle of Dracula & Other Logical Puzzles

  • формат pdf
  • размер 7.03 МБ
  • добавлен 18 апреля 2011 г.
New Jersey, Englewood Cliffs: Prentice-Hall, 1978. - 241p In his most critically acclaimed work, a well-known mathematician, magician, and author spins a logical labyrinth of more than 200 increasingly complex and challenging problems — puzzles that delve into some of the deepest paradoxes of logic and set theory. Solutions. "The most original, most profound, and most humorous collection of recreational logic and math problems ever written. " —...

Steen S.W.P. Mathematical Logic with Special Reference to the Natural Numbers

  • формат pdf
  • размер 24.12 МБ
  • добавлен 16 августа 2011 г.
Cambridge University Press, 1972. - 654 pages. This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a symbolic language in which ideas about natural numbers can be stated precisely and meaningfully, and t...

Troelstra A.S., Schwichtenberg H. Basic Proof Theory

  • формат djvu
  • размер 4.79 МБ
  • добавлен 31 января 2012 г.
Издательство Cambridge University Press, 1996, -353 pp. The discovery of the set-theoretic paradoxes around the turn of the century, and the resulting uncertainties and doubts concerning the use of high-level abstractions among mathematicians, led D. HUbert to the formulation of his programme: to prove the consistency of axiomatizations of the essential parts of mathematics by methods which might be considered as evident and reliable because of...

Turing maschine

  • формат exe
  • размер 72.07 КБ
  • добавлен 13 января 2012 г.
Данная программа служит эмулятором машины Тьюринга. На вход подаются данные и машина используя три операции влево вправо и заменить символ выполняет всяческие операции по изменению строки или числовых данных. Для работы требуется NetFraimwork 2.0rn

Van Benthem J.F., ter Meulen A. Handbook of Logic and Language

Справочник
  • формат pdf
  • размер 66.99 МБ
  • добавлен 21 декабря 2011 г.
Elsevier, 2011. - 1168 pages. This is an expanding field and the logical study of language is becoming more interdisciplinary playing a role in disciplines such as computer science, artificial intelligence, cognitive science and game theory. Completely revised and updated, this new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as providi...

Zalabardo J.L. Introduction to the Theory of Logic

  • формат djvu
  • размер 5,69 МБ
  • добавлен 29 ноября 2014 г.
Boulder: Westview Press, 2000. — 345 p. ISBN 0813390613. Учебник является введением в классическую логику высказываний и классическую логику предикатов первого порядка. Уделяется внимание как исчислениям, так и семантике (с разбором соответствующих теорем). Также обсуждается вопрос о связи логики с теорией множеств. Рассматривается проблема разрешимости. The elements. Propositional logic. First-order logic. Syntax and semantics. Deduction. Soundn...