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

Дискретная математика, Часть 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 оценок
Формат: Книга
Уже скачали: 12727 раз

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

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

  • Книга Самозащита

    Самозащита

    Название: СамозащитаАвтор: Андрейчук В.И.Страниц: 66Формат: JivuРазмер: 1,7 МбКачество: ОтличноеЯзык: РусскийГод издания: 1991В потоке большого количества ныне выходящей литературы по различным школам . . .

  • Книга Вино.Притворись его знатоком

    Вино.Притворись его знатоком

    Название: Вино. Притворись его знатокомАвтор: Гарр ЭрзГод выпуска: 2000Страниц: 40Формат: DjVuРазмер: 0.549 МбВы узнаете некоторые факты, доступные лишь специалистам, овладеете профессиональным жаргон . . .

  • Журнал Пэчворк и квилты

    Пэчворк и квилты

    Автор: Регина Бюлер Названи . . .

  • Журнал Библиотека рукоделия. Альбом вышивки крестом №1

    Библиотека рукоделия. Альбом вышивки крестом №1

    Название: Вышиваем крестом. АльбомГод / месяц: 1991Номер: 1Формат: JPGРазмер: 18 MbАльбом вышивки крестом. Альбом рисунков садовых цветов для вышивания крестом, выполненных французским художником Зарз . . .

  • Журнал Мода и модель. Мозаика вышивки № 10 2005

    Мода и модель. Мозаика вышивки № 10 2005

    Название: Мода и модель. Мозаика вышивки № 10 2005Автор: КоллективСтраниц: 29Формат: djvuРазмер: 5,37 Мб Язык: русскийЖурнал по вышивке крестом. В номере представлены иллюстрации и схемы работ: орнаме . . .

  • Журнал Бижу. Я создаю украшения №46 и №47 2007г

    Бижу. Я создаю украшения №46 и №47 2007г

    Название: Бижу. Я создаю украшенияНомер: 46, 47Год издания: 2007Издательство: Де АгостиниСтраниц: №46 - 21 стр., №47 - 24 стр. Формат: PDFРазмер: общий архив №46-47 - 5,8 Мб; по отдельности: №46 - 3 . . .

  • Журнал Дуплет №9

    Дуплет №9

    Название: Дуплет №9Номер: 9Формат: DJVUРазмер: 12,34МбЖурнал по вязанию крючком. Заочная школа рукоделия.depositfiles.comuploadbox.com . . .

  • Журнал Набор для вышивания крестом "Сотвори сама" (273)

    Набор для вышивания крестом "Сотвори сама" (273)

    В наборе: счетная схема, подбор нитокФормат: DJVUРазмер: 1,32Mbdepositfiles.comuploadbox.comletitbit.net . . .

  • Журнал Набор для вышивания крестом "Сотвори сама" (232)

    Набор для вышивания крестом "Сотвори сама" (232)

    В наборе: счетня схема, подбор нитокФормат: DJVU Размер: 619,48Kbdepositfiles.comuploadbox.comletitbit.net . . .

  • Журнал Les bases du Patchwork

    Les bases du Patchwork

    Название: Les bases du PatchworkСтраниц: 73Размер: 27.3 mbФормат: jpegdepositfilesifolder . . .

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

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

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

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

Ой!

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