Учебно–методический комплекс и рабочая учебная программа для
студентов специальности 080801 "Прикладная информатика (в
экономике)". М.: МИИТ, 2011. – 21 с.
Комплекс позволит:
знать определение предиката, уметь находить область определения и множество истинности предиката;
знать правила построения предикатов;
иметь представление об основных понятиях математической логики;
строить высказывания, выполнять над ними бинарные операции;
иметь представление о логических формулах, устанавливать их истинность;
иметь представление о минимизации формул различными способами;
понимать отличительные особенности и применимость ДНФ и КНФ;
иметь представление об основных понятиях теории множеств;
знать способы задания множеств. Уметь производить бинарные операции над множествами, устанавливать соответствия между множествами;
понимать свойства отношений, заданных на множестве;
знать концептуальные элементы реляционных моделей, виды отношений, типы связей, элементы реляционной алгебры и реляционного исчисления. Содержание дисциплины:
Теоретические основы математической логики.
Основы теории множеств.
Основные виды действий над данными в реляционной алгебре.
Основные элементы реляционного исчисления.
Проектирование информационно–логической модели данных. Темы лабораторных занятий:
Основные элементы реляционного исчисления.
Исчисление кортежей, исчисление доменов.
Проектирование информационно–логической модели данных.
Проектирование логических информационных отношений с использованием нормализации.
Основные понятия модели Entity–Relationship (Сущность–Связи). Учебно–методическое обеспечение дисциплины.
Методжические указания для студентов.
Тематика контрольных работ.
Методические рекомендации для преподавателей.
Материалы текущего, промежуточного и итогового контроля знаний студентов.
Тесты по дисциплине.
знать определение предиката, уметь находить область определения и множество истинности предиката;
знать правила построения предикатов;
иметь представление об основных понятиях математической логики;
строить высказывания, выполнять над ними бинарные операции;
иметь представление о логических формулах, устанавливать их истинность;
иметь представление о минимизации формул различными способами;
понимать отличительные особенности и применимость ДНФ и КНФ;
иметь представление об основных понятиях теории множеств;
знать способы задания множеств. Уметь производить бинарные операции над множествами, устанавливать соответствия между множествами;
понимать свойства отношений, заданных на множестве;
знать концептуальные элементы реляционных моделей, виды отношений, типы связей, элементы реляционной алгебры и реляционного исчисления. Содержание дисциплины:
Теоретические основы математической логики.
Основы теории множеств.
Основные виды действий над данными в реляционной алгебре.
Основные элементы реляционного исчисления.
Проектирование информационно–логической модели данных. Темы лабораторных занятий:
Основные элементы реляционного исчисления.
Исчисление кортежей, исчисление доменов.
Проектирование информационно–логической модели данных.
Проектирование логических информационных отношений с использованием нормализации.
Основные понятия модели Entity–Relationship (Сущность–Связи). Учебно–методическое обеспечение дисциплины.
Методжические указания для студентов.
Тематика контрольных работ.
Методические рекомендации для преподавателей.
Материалы текущего, промежуточного и итогового контроля знаний студентов.
Тесты по дисциплине.