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

Бродский И.Н. Отрицательные высказывания

  • формат djvu
  • размер 1.35 МБ
  • добавлен 16 марта 2009 г.
Л. : ЛГУ, 1973. -104 с. Работа посвящена философскому и логико-семантическому анализу познавательного значения и логических функций отрицательных высказываний. В ней рассматривается история вопроса о смысле отрицательных высказываний, роль отрицательных высказываний в структуре научного знания, так называемый "парадокс несуществования", а также дается критика некоторых современных буржуазных философских теорий смысла отрицания. Значительное мес...

Владимиров Д.А. Булевы алгебры

  • формат djvu
  • размер 3.21 МБ
  • добавлен 16 марта 2009 г.
М.: Наука, 1969. - 319 с. Первые две главы книги образуют элементарное введение в теорию булевых алгебр; здесь приводятся основные факты этой теории, даётся обзор её важнейших приложений. Последующие главы в основном посвящены полным булевым алгебрам, в первую очередь алгебрам с мерой, особенно важным для теории вероятностей и функционального анализа. Многие приводимые в книге результаты в монографическом изложении публикуются впервые. Книга ра...

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

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

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

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

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

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

Пономарев В.Ф. Математическая логика. Часть 1. Логика высказываний. Логика предикатов

  • формат doc
  • размер 182.29 КБ
  • добавлен 14 января 2010 г.
Калининград: КГТУ, 2001. -140 с. Учебное пособие предназначено для студентов университета, изучающих Математическую логику. В нем изложены основные прин-ципы формирования языка, основные правила дедуктивного вывода, основные механизмы доказательства истинности заключения в логике высказываний и логике предикатов. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графическую работу. В расчетно-графической работе...

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

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

Токарева Н. Нелинейные булевы функции: бент-функции и их обобщения

  • формат pdf
  • размер 3.28 МБ
  • добавлен 23 мая 2011 г.
Издательство LAP LAMBERT Academic Publishing (Saarbrucken, Germany), 2011. ISBN: 978-3-8433-0904-2. 180 с. Теоретические результаты исследования Работа относится к такой области дискретной математики, как булевы функции и их приложения в комбинаторике, теории кодирования и криптографии. Исследуется класс булевых функций, обладающих сильными свойствами нелинейности: бент-функции и их обобщения. Впервые бент-функции начали изучаться в 60-х годах X...

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

  • формат djvu
  • размер 2.38 МБ
  • добавлен 04 июня 2011 г.
М.: Росвузиздат, 1963. - 192 с. Настоящая работа имеет своей целью показать, что одной из важнейших закономерностей в развитии современной математики является взаимодействие абстрактного и конкретного, что развитие математики отражает развитие объективной действительности, носит диалектический характер. Отсюда следует, что познание сущности математических понятий предполагает диалектико-материалистический подход, так как математика - наука о кол...

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

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