x-uni.com
регистрация / вход
сейчас на линии 149 чел.
x-uni.com
x-uni.com
 
Математика
Биология
Литература
Русский язык
ВИДЕО
Физика
Химия
История
Английский
 
ВИДЕО
 
 
регистрация / вход
сейчас на линии 149 чел.
Дискретная математика, Часть 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. Методические рекомендации по организации изучения дисциплины.

Скачать бесплатно на сайте fileskachat.com

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

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

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

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

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


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

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

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

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


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

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

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

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


Базовый уровень ГИА-9. Математика. 9 класс. Пособие для "чайников". Часть 2

Автор(ы): Иванов С. О., Войта Е. А., Ковалевская А. С.   Издательство: Легион, 2012 г.  Серия: ОГЭ

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

Материал, представленный в этой книге, предназначен для формирования устойчивых навыков при решении задач базового уровня на ГИА-9 по математике. Воспользовавшись пособием, можно развить навыки безошибочного решения заданий первой части предстоящего экзамена и сэкономить время для решения более сложных задач. Пособие состоит из 5 глав, каждая из которых включает в себя необходимую теоретическую информацию, разбор решений типовых задач, а также варианты для самостоятельного решения. Кроме того, в пособии приведено 10 обобщающих тренировочных тестов, включающих задания по всем темам экзамена, рассмотренным в книге. Предлагаемое издание адресовано учащимся 9-х классов общеобразовательных учреждений и учителям математики. Книга является частью учебно-методического комплекса "Математика. Подготовка к ГИА-9", состоящего из шести пособий ("Математика. 9 класс. Подготовка к ГИА-2013", "Математика. Базовый уровень ГИА-9. Пособие для "чайников". Часть 2", "Математика. 9 класс. Тематические тесты для подготовки к ГИА-2013" и др.)

ПЕДСОВЕТ / ФОРУМ

Новости образования

Новости науки

флаг италииX-UNI рекомендует репетитора итальянского языка: yuliyavenezia (Скайп).

Репетитор по Скайпу без посредников

Неограниченная аудитория, свободный график. Начните свой бизнес здесь!