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

формат djvu
размер 3.35 МБ
добавлен 09 апреля 2009 г.

Москва,
1947. Государственное издательство иностранной литературы. Перевод руководства по элементам математической логики Д. Гильберта и В. Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д. Гильберта и написана его учеником Аккерманом. Первоначально книга была намечена как введение в появившуюся позже двухтомную монографию Д. Гильберта и П. Бернайса, посвященную "Основаниям математики" и содержащую подробный разбор основных результатов в этой области, доведенный до 1940 года.
Редакция, вступительная статья и комментарии проф. С. А. Яновской.

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

Автор неизвестен. Теоретические основы автоматики и телемеханики

формат pdf
размер 519.63 КБ
добавлен 22 декабря 2010 г.

Автор неизвестен. Теоретические основы автоматики и телемеханики. Основные положения и законы алгебры логики. Формы представления функций алгебры логики. Булевы функции от двух переменных. Полнота и базис булевых функций. Минимизация булевых функций. Функции алгебры логики и электрические схемы.

Блюмин С.Л., Шуйкова И.А., Сараев П.В., Черпаков И.В. Нечёткая логика: алгебраические основы и приложения

формат djvu
размер 1.24 МБ
добавлен 23 апреля 2011 г.

Липецк: Липецкий эколого-гуманитарный институт, 2002. - 111 с. В монографии рассмотрены алгебраические основы нечеткой логики и возможные приложения. Книга содержит изложение основных понятий нечеткой логики, применяющихся при решении широкого класса прикладных задач, связанных с теорией нечетких реляционных уравнений, нечетких нейронных сетей, методами принятия решений в условиях неопределенности. Предназначена для специалистов в области прик...

Гильберт Д., Бернайс П. Основания математики

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

Двухтомная монография Д. Гильберта и П. Бернайса занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со свой проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики.

Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. Теория доказательств. Том 1

формат djvu
размер 5.8 МБ
добавлен 22 января 2011 г.

М.: Наука, 1979. - 557 с. Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличаю...

Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. Теория доказательств. Том 2

формат djvu
размер 7.54 МБ
добавлен 22 января 2011 г.

М.: Наука, 1982. - 652 с. Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличаю...

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

Реферат

формат doc
размер 309.5 КБ
добавлен 06 апреля 2009 г.

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

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

Практикум

формат docx
размер 102.45 КБ
добавлен 23 января 2012 г.

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

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

Лабораторная

формат ppt
размер 434.5 КБ
добавлен 27 мая 2011 г.

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

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

Статья

формат doc
размер 2.5 МБ
добавлен 17 июля 2009 г.

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

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

формат djvu
размер 1.33 МБ
добавлен 23 апреля 2011 г.

Ленинград: Издательство Ленинградского университета, 1959. - 109 с. Работа проф. А. И. Попова является первой советской книгой, в которой дается общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о соотношении математической и классической (формальной) логики, рассматривается м...