ТОР 5 статей: Методические подходы к анализу финансового состояния предприятия Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века Характеристика шлифовальных кругов и ее маркировка Служебные части речи. Предлог. Союз. Частицы КАТЕГОРИИ:
|
Расчетно-графическая работа. Найти формулы ПНФ и ССФ, выполнить унификацию атомов дизънктов. Вариант Формула "x(A(x)®ù B(y))®$y(B(y)®ù A(x))Найти формулы ПНФ и ССФ, выполнить унификацию атомов дизънктов.
Литература 1. Вагин В.Н. Дедукция и обобщение в системах принятия решений.- М.: Наука, 1988г. – 384 с. 2. Войшвилло Е.К., Дектярев М.Г. Логика как часть теории познания и научной методологии. кн.1. Учебное пособие. –М.: Наука, 1994г. –312с. 3. Зегет В. Элементарная логика. - М.: Высшая школа, 1985г..- 256 с. 4. Кириллов В.И., Старченко А.А. Логика. - М.: Высшая школа, 1987г.– 271с. 5. Kузнецов О.П., Андельсон-Вельский Г.М. Дискретная математика. для инженера.- М.: Энергоатомиздат, 1988г.—480 с. 6. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, матeмaтичecкoй логике и теории алгоритмов 240с. 7. ЛихтарниковЛ.М., Сукачева Т.Г. Математическая логика /курс лекций/ - СПб.: “Лань”, 1998г..-288с. 8. Першиков В.И., Савинков В.М. Толковый словарь по информатике – М.: Финансы и статистика, 1991г. –543с. 9. Пономарев В.Ф. Математические методы и модели в обработке информации и управлении. Методические разработки по разделу “Формальные системы”- Калининград: КГТУ, 1992г.. 10. Роберт P. Столл. Множества. Логика. Аксиоматические теории.- М.: Просвещение, 1968. – 231 с.
Предметный указатель Аксиомы исчисления высказываний, 45, 49 Алгебра высказываний, 7 Алгебра предикатов, 92 Не нашли, что искали? Воспользуйтесь поиском:
|