Математическая логика
Математика
  • формат djvu
  • размер 762.34 КБ
  • добавлен 22 февраля 2011 г.
Марченков С.С. Функциональные системы с операцией суперпозиции
Москва: Физматлит, 2004. -104 с.

В книге с единых позиций рассматриваются функциональные системы с операцией суперпозиции и «традиционными» множествами функций — функций многозначной логики, функций натурального аргумента и автоматных функций. Основное содержание книги концентрируется вокруг двух взаимосвязанных тем: построение и анализ порождающих множеств и проблема полноты. Излагаются ставшие классическими результаты А. В. Кузнецова, С. В. Яблонского и И. Розенберга по проблеме полноты в системе Pk. Приводится целая серия наиболее значимых результатов по другим функциональным системам, которые получены отечественными и зарубежными математиками в последние годы. Многие теоремы даются с не публиковавшимися ранее доказательствами.

Для научных сотрудников и преподавателей высшей школы, работающих в области дискретной математики.
Похожие разделы
Смотрите также

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

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

Журавлев Ю.И., Флеров Ю.А. Дискретный анализ

  • формат doc
  • размер 401.87 КБ
  • добавлен 11 сентября 2009 г.
I. Элементы алгебры логики 1. Функции алгебры логики. Табличное задание функций. Элементарные функции, их свойства, таблица операций, коммутативность, ассоциативность, дистрибутивность элементарных функций. 2. Формулы и функции алгебры логики. Теоремы о разложении функций по одной и нескольким переменным. Завершенная дизьюнктивная нормальная форма. 3. Функциональная полнота систем функций алгебры логики. Замкнутые классы. Пять предполных замкнуты...

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

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

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

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

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

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

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

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

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

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

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

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

Программа - Минимизатор выражений логических функций

program
  • формат exe
  • размер 222 КБ
  • добавлен 09 июня 2007 г.
Минимизатор выражений логических функций с учётом неопределённых состояний, необходима некоторым специальностям (АТП, МХ) для курсовых работ по предмету компьютерные системы управления.rn

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

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