Федеральное агентство по рыболовству
| Вид материала | Основная образовательная программа |
- Федеральная целевая программа "Развитие электронной компонентной базы и радиоэлектроники", 3538.74kb.
- Федеральное агентство по рыболовству Федеральное государственное учреждение, 238.81kb.
- Федеральное агентство по рыболовству, 102.49kb.
- Федеральное агентство по рыболовству, 1217.46kb.
- Федеральное агентство по рыболовству, 1299.43kb.
- Федеральное агентство по рыболовству, 1721.64kb.
- Программа-минимум кандидатского экзамена по специальности 12. 00. 01 «Теория и история, 921.53kb.
- Федеральное агентство по рыболовству, 105.13kb.
- Федеральное агентство по рыболовству азово черноморское территориальное управление, 84.7kb.
- Английский язык методические указания и контрольные задания для студентов специальности, 646.48kb.
Аннотация к рабочей программе дисциплины «Аналитическая геометрия»
1. Цели и задачи дисциплины
Целью дисциплины «Аналитическая геометрия» является: формирование у студентов теоретических знаний и практических навыков решения задач аналитической геометрии и основ применения аналитической геометрии к решению физических задач
2. Требования к уровню освоения содержания дисциплины.
Процесс изучения дисциплины направлен на формирование у обучаемого следующих компетенций:
- способен анализировать социально-значимые проблемы и процессы (ОК-9);
В результате изучения дисциплины студент должен:
иметь представление об аналитическом способе описания различных геометрических объектов и об адаптации методов аналитической геометрии к решению физических задач;
овладеть математическими методами и моделями, с помощью которых в со-временных условиях анализируется различная информация;
знать теоретические основы методов аналитической геометрии; основные методы решения задач аналитической геометрии;
уметь использовать полученные знания для осуществления анализа физиче-ских задач;
иметь навыки решения прикладных задач с применением аналитической геометрии.
3. Содержание дисциплины. Основные разделы.
Определители второго и третьего порядка. Векторы и координаты на плоскости и в пространстве. Прямые на плоскости и в пространстве. Кривые и поверхности второго порядка.
Аннотация к рабочей программе дисциплины «Математическая логика и теория алгоритмов»
1. Цели и задачи дисциплины
В результате изучения курса студент должен знать основные понятия математической логики: формальной теории, исчисления; структуру исчислений высказываний и предикатов 1-го порядка; основные понятия теории алгоритмов: интуитивная концепция алгоритма, уточнения понятия алгоритма (машины Тьюринга и нормальные алгоритмы Маркова); основные неразрешимые массовые проблемы.
2. Требования к уровню освоения содержания дисциплины.
Процесс изучения дисциплины направлен на формирование у обучаемого следующих компетенций:
- использует основные законы естественнонаучных дисциплин в профессиональной деятельности, применяет методы математического анализа и моделирования, теоретического и экспериментального исследования (ОК-10);
- осваивать методики использования программных средств для решения практических задач (ПК-2);
В результате изучения дисциплины студент должен:
- уметь: доказывать формулы в исчислении высказываний и предикатов 1-го порядка; составлять программы машин Тьюринга и схемы нормальных алгоритмов для решения простых вычислительных задач.
3. Содержание дисциплины. Основные разделы.
Логика высказываний (пропозициональная логика). Высказывания и истинностные значения высказываний. Логические операции. Формулы логики высказываний (пропозициональные формулы). Истинностные функции. Тавтологии. Эквивалентность формул. Замена эквивалентным и двойственность. Дизъюнктивная и конъюнктивная нормальные формы.
Классическое исчисление высказываний. Аксиомы и правила вывода. Вывод формул и вывод формул из гипотез. Теорема о дедукции. Теоремы полноты и непротиворечивости.
Исчисление предикатов. Предикаты и кванторы. Предикатные формулы. Интерпретация предикатных формул. Выполнимость, истинность. Логическая общезначимость.
Аксиомы и правила вывода исчисления предикатов 1-го порядка. Структура теории 1-го порядка. Нормальные алгоритмы и машины Тьюринга. Вычисление словарных функций нормальными алгоритмам и и машинами Тьюринга. Принцип нормализации и тезис Тьюринга.
Универсальные алгоритмы. Теоремы сочетания. Разрешимость и перечислимость. Неразрешимые массовые проблемы.
Аннотация к рабочей программе дисциплины «Инженерная и компьютерная графика»
Дисциплина «Инженерная графика» является частью профессионального цикла дисциплин подготовки студентов по направлению подготовки «Информатика и вычислительная техника»
Цель дисциплины состоит в освоении студентом основных методов построения технических изображений на плоскости и в пространстве по компьютерной технологиям в соответствии нормативно-техническими требованиями ЕСКД.
Основными задачами изучения дисциплины являются: развитие пространственного воображения студента, освоение теории и практики построения чертежа: основных и дополнительных видов, построение видов разрезов, сечений, линий пересечения поверхностей, чертежей деталей, узлов, сборочных чертежей.
2. Требования к уровню освоения содержания дисциплины.
Процесс изучения дисциплины направлен на формирование следующих компетенций:
- осознает сущность и значение информации в развитии современного общества; владеет основными методами, способами и средствами получения, хранения, переработки информации (ОК-11);
- имеет навыки работы с компьютером как средством управления информацией (ОК-12);
- разрабатывать бизнес-планы и технические задания на оснащение отделов, лабораторий, офисов компьютерным и сетевым оборудованием (ПК-1);
- осваивать методики использования программных средств для решения практических задач (ПК-2);
- разрабатывать интерфейсы «человек-ЭВМ» (ПК-3).
В результате изучения дисциплины студент должен:
знать: теорию и основные правила построения эскизов, чертежей, схем, нанесения надписей, размеров и отклонений, правила оформления графических изображений в соответствии со стандартами ЕСКД;
уметь: читать чертежи и схемы, выполнять технические изображения в соответствии с требованиями стандартов ЕСКД, выполнять эскизирование, деталирование, сборочные чертежи, технические схемы, в том числе с применением средств компьютерной графики;
владеть: способами построения графических изображений, создания чертежей и эскизов, конструкторской документации, в том числе, с применением компьютерных пакетов программ.
3. Содержание дисциплины. Основные разделы.
Традиционные и компьютерные технологии выполнения чертежей. Требования к техническим изображениям. Метод проецирования. Состав изображения. Комплексный чертеж. Стандартные изображения - основные виды, дополнительные виды, аксонометрические изображения. Технический рисунок. Образование поверхностей и их задание на чертеже. Общий алгоритм построения линии пересечения поверхностей. Частные случаи пересечения поверхностей. Построение, обозначение, классификация сечений и разрезов. Общие правила нанесения размеров на чертеже. Предельные отклонения. Виды конструкторских документов. Чертеж общего вида. Чертеж детали, сборочный чертеж, спецификация. Стандарты ЕСКД. Ведение в твердотельное моделирование, Элементы булевой алгебры. Декомпозиция сложных поверхностей. Системы автоматизированного проектирования. Основные примитивы и функции графических пакетов.