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

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

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

Лекции по математической логике. Основные понятия с примерами. Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.rn

2 курс 1 семестр, множество, машины Тьюринга, нормальные алгоритмы, предикаты, формальные теорииrn

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

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

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

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

М., Физматгиз, Наука, 1959-1984. В 1959 году Физматгиз (впоследствии - издательство Наука) приступил к реализации беспрецедентного проекта по изданию серии Математическая логика и основания математики. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты. Список книг, представленных в серии: Гильберт Д.,...

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