x-uni.com
x-uni.com
x-uni.com
Математика
Биология
Литература
Русский язык
География
Физика
Химия
История
Английский
Информатика
География
Информатика
ВИДЕОКУРСЫ
Дискретная математика, Часть II, Математическая логика, Зарипова Э.Р., Кокотчикова М.Г., 2013

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

Дискретная математика, Часть II, Математическая логика, Зарипова Э.Р., Кокотчикова М.Г., 2013.
 
   В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов.
Предназначено для студентов I, II курсов математических, экономических и компьютерных специальностей.
Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов.

Историческая справка.
Свое название алгебра логики (или булева алгебра) получила в честь английского математика Джорджа Бутя (его фотографию читатель найдет на обложке этой книги), внесшего большой вклад в развитие двоичной системы исчисления и ее приложения к логике.

Одним из первых заинтересовался двоичной системой гениальный немецкий ученый Готфрид Вильгельм Лейбниц. В своей работе «Искусство составления комбинаций» он заложил основы общего метода, который позволяет свести мысли человека к совершенно точным формальным высказываниям. Таким образом, открылась возможность перевести логику из словесного царства в царство математики.

Если у Лейбница и возникла мысль, что двоичная система может стать универсальным логическим языком, но он ее не высказал вслух. Лишь спустя более ста лет после смерти Лейбница (1716) английский математик-самоучка Джордж Буль энергично принялся за поиски такого универсального языка.

Оглавление
I. КОНСПЕКТ ЛЕКЦИЙ ПО ДИСЦИПЛИНЕ
Тема 1. Введение в алгебру логики
1. Историческая справка. Прямое произведение множеств. Соответствия и функции. Алгебры
2. Функции алгебры логики. Примеры логических функций
3. Суперпозиции и формулы. Булева Алгебра
4. Принцип двойственности. СДНФ. Разложение булевых функций по переменным
5. Построение СДНФ для функции, заданной таблицей СКНФ. Основные эквивалентные преобразования
Тема 2. Минимизация булевых функций
6. Проблема минимизации. Порождение простых импликантов. Алгоритм Куайна и Мак-Клоски
7. Таблицы простых импликантов
Тема 3. Полнота и замкнутость систем логических функций
8. Основные определения. Основные замкнутые классы
Тема 4. Исчисление высказываний
9. Общие принципы построения формальной теории. Интерпретация, общезначимость, противоречивость, логическое следствие
10. Метод резолюций для исчисления высказываний
Тема. Исчисление предикатов
11. Понятие предиката. Кванторы. Алфавит. Формулы. Интерпретация формул
12. Предваренная нормальная форма. Алгоритм преобразования формул в предваренную нормальную форму
13. Скулемовская стандартная форма. Подстановка и унификация. Алгоритм унификации
14. Метод резолюций в исчислении предикатов
II. ФОНДЫ ОЦЕНОЧНЫХ СРЕДСТВ
1. Словарь (глоссарий) основных терминов и понятий
2. Методические указания для преподавателя, студента, слушателя
3. Сборник задач и упражнений
4. Лабораторный практикум по дисциплине
5. Описание балльно-рейтинговой системы
6. Вопросы для самопроверки и обсуждений по темам
7. Задания для самостоятельной работы по темам
8. Перечень рефератов и/или курсовых работ по темам
9. Тестовые задания по темам (для текущего и промежуточного самоконтроля)
10. Тренинговые задания
11. Перечень вопросов итоговой аттестации по курсу
III. ПРОГРАММА ДИСЦИПЛИНЫ
1. Цели и задачи дисциплины:
2. Место дисциплины в структуре ООП:
3. Требования к результатам освоения дисциплины:
4. Объем дисциплины и виды учебной работы
5. Содержание дисциплины
6. Лабораторный практикум
7. Практические занятия
8. Примерная тематика курсовых проектов (работ)
9. Учебно-методическое и информационное обеспечение дисциплины
10. Материально-техническое обеспечение дисциплины
11. Методические рекомендации по организации изучения дисциплины.

Предложения интернет-магазинов

Математическая разминка. 1 класс. Устный счет в трех уровнях

Автор(ы): Полникова М. Ю.   Издательство: Смио-Пресс, 2013 г.

Цена: 123 руб.   Купить

Математическая разминка. 1 класс. Устный счет в трех уровнях. Учебное пособие по математике для учащихся 1 класса. 2-е издание.


Математическая разминка. 2 класс. Устный счет в трех уровнях

Автор(ы): Полникова М. Ю.   Издательство: Смио-Пресс, 2016 г.

Цена: 123 руб.   Купить

Математическая разминка. 2 класс. Устный счет в трех уровнях. Учебное пособие по математике для учащихся 2 класса. 2-е издание.


Математическая разминка. 4 класс. Устный счет в трех уровнях

Автор(ы): Полникова М. Ю.   Издательство: Смио-Пресс, 2012 г.

Цена: 123 руб.   Купить

Математическая разминка. 4 класс. Устный счет в трех уровнях. Учебное пособие по математике для учащихся 4 класса.


Математика. Теория вероятностей и дискретная математика: Элементы теории, решение задач

Автор(ы): Баюк Олег Александрович, Маркарян Елена Георгиевна   Издательство: Просвещение, 2013 г.  Серия: Сложные темы ЕГЭ

Цена: 377 руб.   Купить

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