Бесплатная библиотека - 1 338 003 изданий в библиотеке

Дискретная математика, Часть 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. Методические рекомендации по организации изучения дисциплины.

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12740 раз

Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Журнал Добрые советы. Люблю готовить!№8 2011 Россия

    Добрые советы. Люблю готовить!№8 2011 Россия

    Название: Добрые советы. Люблю готовить!№8 2011(Россия) Автор: Коллектив авторов Издательство: Бурда-Россия Год издания: 2011 Страниц: 100 Язык: Русский Качество: отличное Размер: 36.3 Мб Кулинарный ж . . .

  • Книга Орр Леонард - Бросьте привычку умирать

    Орр Леонард - Бросьте привычку умирать

    Отец ребёфинга Леонард Орр при полной поддержке Бабаджи и других бессмертных йогов, а также Боба Фрисселла, автора знаменитого бестселлера «В этой книге нет ни слова правды...», утверждает, что смерть . . .

  • Книга Великие парусники №92 (2011)

    Великие парусники №92 (2011)

    Название: Великие парусники №92 (2011)Автор: коллективИздательство: ДеАгостиниГод издания: 2011Страниц: 20Язык: РусскийФормат: pdfКачество: хорошееРазмер: 25,7 Мб«Великие парусники» — уникальная колле . . .

  • Журнал Журнал MC-Nudes (2010): Dominika-Heels

    Журнал MC-Nudes (2010): Dominika-Heels

    Название:  Dominika - Heels Издательство:  MC-Nudes Месяц / Год:  12/2010 Страниц:  134 Формат:  JPG Размер файла:  168.36 Мб Содержание: 3744x5616 . . .

  • Журнал Woodworker's Journal November-December 1996

    Woodworker's Journal November-December 1996

    Название: Woodworker's JournalАвтор: коллектив редакцииИздательство: PJS Publications, Inc.Год: 1996Номер: Vol. 20, No.6 / November-DecemberКол-во страниц: 92Формат: pdfРазмер: 19.33МбКачество: нормал . . .

  • Книга Краткий словарь трудностей английского языка. От текста к контексту

    Краткий словарь трудностей английского языка. От текста к контексту

    Автор: Модестов В. С. Год издания: 2004 Издательство: Дрофа Язык: русский Размер: 12,52 Мб Страниц: 622 Формат: DJVUПодобное справочное пособие подготовлено впервые. Оно включает не только англи . . .

  • Книга El Mediterráneo: ¿Dónde está Sonia?

    El Mediterráneo: ¿Dónde está Sonia?

    Название: El Mediterráneo: ¿Dónde está Sonia? Автор: Jordi Suris Издательство: Difusion Страниц: 40 Формат: PDF Размер: 1 MB Качество: Отличное Язык: Испанский Жанр: Изучен . . .

  • Книга Автомобильный двигатель на катере

    Автомобильный двигатель на катере

    Название: Автомобильный двигатель на катере Автор: Мухин Ю.Н., Синильщиков Б.Е. Издательство: Судостроение Страниц: 216 Формат: DJVU Размер: 2.2 Мб Качество: Приемлемое Язык: Русский Год издания: 1980 . . .

  • Книга Основы бокса

    Основы бокса

    Название: Основы бокса Автор: Н/А Издательство: Россия Страниц: 00:40:00 Формат: DVDRip Размер: 199 МБ Качество: Отличное Язык: Русский Жанр: Обучающее видео Год издания: 2011 Под тактикой бокса поним . . .

  • Книга История 10-го пехотного Новоингерманландского полка

    История 10-го пехотного Новоингерманландского полка

    Название: История 10-го пехотного Новоингерманландского полкаАвтор: Пирожников А. И.Издательство: Тула. Электропеч. и тип. И.Д. Фортунатова насл.Год: 1913Страниц: 496Язык: РусскийКачество: ХорошееФорм . . .

Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Войти Регистрация

Отзывы читателей

Ой!

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