НЕФТЬ-ГАЗ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

Теперь на нашем сайте можно за 5 минут создать свежий реферат или доклад

Скачать книгу целиком можно на сайте: www.nglib.ru.

<< Прочее <<

Карпов В.Г. Математическая логика и дискретная математика

Скачать книгу здесь
Автор: Карпов В.Г.
Название: Математическая логика и дискретная математика
Год издания: 1977
УДК: 517
Число страниц: 256
Содержание книги:
§ 1.1. Функции и формы
§ 1.2. Высказывания и предикаты
§ 1.3. Кванторы общности и существования
§ 1.4. Логические операции. Логические законы. Тавтологии
§ 1.5. Доказательства. Правила вывода
§ 2.1. Понятие множества. Элементы. Способы задания множеств
§ 2.2. Подмножество
§ 2.3. Алгебра множеств
§ 2.4. Основные йонятия теории конечных графов
§ 2.5. Отношения
§ 2.6. Операции над отношениями
§ 2.7. Отношение эквивалентности
§ 2.8. Функции
§ 2.9. Обратная функция, суперпозиция функции
§ 2.10. Отношения порядка
§ 2.11. Вычислимые функции
§ 2.12. Алгебраические системы и грамматики
§ 3.1. Маршруты, цепи и циклы
§ 3.2. Компоненты связности. Эйлеровы цепи
§ 3.3. Цикломатическое число. Деревья
§ 3.4. Перестановки и сочетания
§ 3.5. Типы задач комбинаторики. Примеры
§ 3.6. Принцип включения и исключения
§ 3.7. Рекуррентные соотношения и их решения
§ 3.8. Производящие функции
§ 3.9. Теорема Холла о различных представителях
§ ЗЛО. Теорема Кёнига
§ 4.1. Понятие булевой функции и полной системы функций 187 § 4.2. Линейные, самодвойственные и монотонные булевы функции
§ 4.3. Теорема Поста о функциональной полноте
§ 4.4. Схемы из функциональных элементов
§ 4.5. Контактные схемы
§ 4.6. Минимизация нормальных форм
§ 4.7. Тесты для схем и таблиц
Рекомендуемая литература
Литература
ГГредметный указатель
Глоссарий:
2 а б в г д е ж з и к л м н о п р с т у ф х ц ч ш э я
Смотреть страницы:
2 3 29 54 79 104 129 154 179 204 229 255 256
Полнотекстовый поиск по книге:
Введите слово или фразу для поиска:
Близкие по содержанию книги:
Элементы дискретной математики
Математика >> Вычислительная математика >> Прочее
Конечные графы и сети
Математика >> Вычислительная математика >> Теория графов
Комбинаторный анализ. Задачи и упражнения
Математика >> Задачники

Просмотреть оригинальные страницы книг в формате djvu можно на сайте: www.nglib.ru.


Главный редактор проекта: Мавлютов Р.Р.
oglib@mail.ru