Олимпиадная задача

Методические указания к изучению дисциплины и выполнению контрольной работы №4 для студентов заочной формы обучения. Введение Задача линейного программирования. Основные понятия. Симплекс-метод решения канонической задачи. Симметричные двойственные задачи. Транспортная задача. Матричные игры Задачи для контрольных работ. Правила оформления. Санкт-Петербургский государственный инженерно-экономический университет,2006г. -50с.

I. Элементы алгебры логики 1. Функции алгебры логики. Табличное задание функций. Элементарные функции, их свойства, таблица операций, коммутативность, ассоциативность, дистрибутивность элементарных функций. 2. Формулы и функции алгебры логики. Теоремы о разложении функций по одной и нескольким переменным. Завершенная дизьюнктивная нормальная форма. 3. Функциональная полнота систем функций алгебры логики. Замкнутые классы. Пять предполных замкнуты...

Обложка и рисунки работы Ю. Д. Скалдина. - Л.: Время, 1925 Эта книга написана не столько для друзей математики, сколько для ее недругов. Она имеет в виду, главным образом, не тех, у кого есть уже склонность к математике, и не тех также, кто вовсе еще не приступал к ее изучению. Автор предназначает книгу всего более для той обширной категории читателей, которые знакомились в школе (или сейчас еще знакомятся) с этой наукой без особого интереса и о...

16 страниц.Логическое высказывание В алгебре логики простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита. Виды сложных высказываний Соединительные виды Разделительные виды Условные виды Эквивалентные Высказывания с внешним отрицанием Основная задача математической логики Логические операции Обозначение операции в алгебре высказываний Обозначение в языках Обозначение в языках про...

Учебное пособие, 2006. - 78. Курс Математическая логика и теория алгоритмов (МЛТА) включает 36 часов лекционных и 18 часов практических занятий. Он изучается после Дискретной математики параллельно с Программированием на языке высокого уровня. По окончанию курса проводится экзамен. Для чего будущему специалисту мира информационных систем нужен этот курс? Изучение его преследует две цели - изучить логические основы процесса написания программ и п...