Основная образовательная программа высшего профессионального образования Направление подготовки 010500 icon

Основная образовательная программа высшего профессионального образования Направление подготовки 010500




НазваниеОсновная образовательная программа высшего профессионального образования Направление подготовки 010500
страница5/6
Дата конвертации05.06.2015
Размер0,73 Mb.
ТипОсновная образовательная программа
скачать >>>
1   2   3   4   5   6

СОДЕРЖАНИЕ КУРСА

  1. Введение


История возникновения и развития математической логики в широком смысле этого слова.
  1. Исчисление высказываний


Понятие пропозициональной формулы. Понятие кванторной пропозициональной формулы. Равнозначность пропозициональных формул. Выразимость булевых функций через пропозициональную формулу. Секвенция и ее логическая и числовая интерпретация. Секвенциальное исчисление высказываний.
  1. Исчисление предикатов


Понятие терма. Атомарная формула. Формула исчисления предикатов. Секвенция и ее числовая интерпретация. Секвенциальное исчисление предикатов.
  1. Аксиоматические теории


Исчисление предикатов с равенством (аксиомы равенства и согласованности с равенством).

Формальная арифметика. Аксиомы элементарной теории чисел (формальной арифметики). Первая теорема Геделя о неполноте арифметики. Вторая теорема Геделя о непротиворечивости арифметики. Гиперчисла. Элементы нестандартного анализа.

Элементы аксиоматической теории множеств. Парадокс Рассела. Аксиомы теории множеств Цермело-Френкеля.

Правила доказательства частичной корректности программ.

Логики конечнозначных предикатов на основе неравенств. Смешанная логика Поста. Импликация Лукасевича. Нечеткая логика Заде.
  1. Элементы теории алгоритмов


Данные для алгоритмов. Программы на языке Паскаль как алгоритмы.

Простейшие теоремы о невозможности алгоритмов. Понятие массовой проблемы. Алгоритмическая неразрешимость простейших массовых проблем: проблема применимости, непродолжимость универсального алгоритма до всюду применимого.

Различные варианты точного понятия алгоритма: нормальный алгоритм, машина Тьюринга, недетерминированная машина Тьюринга, альтернирующая машина Тьюринга, примитивно рекурсивные программы, элементарные по Кальмару функции.

Неразрешимость проблемы равенства слов в алфавите. Неразрешимость проблемы тавтологичности в исчислении предикатов.

Перечислимые и разрешимые множества. Операции над перечислимыми множествами.
  1. Элементы теории сложности алгоритмов


Определение иерархии по времени и памяти детерминированных, недетерминированных и альтернирующих машин Тьюринга. Определение и примеры NP-полных и PSPACE-полных задач.
Б.3.7 Структуры и алгоритмы компьютерной обработки данных

СОДЕРЖАНИЕ КУРСА

  1. Представление чисел


Двоичное кодирование в позиционной системе счисления. Обратный и дополнительный код для отрицательных целых чисел. Арифметические операции над целыми в дополнительном коде. Представление целых произвольной длины и операции над ними. Представления вещественных с фиксированной и плавающей точкой. Арифметические операции сложения и умножения над вещественными. Потеря значащих цифр.
  1. Массивы и структуры. Строки


Размещение структурных значений. Выравнивание и упаковка. Порядок размещения элементов массива в памяти. Индексация. Массивы с постоянными границами. Массивы с динамическими границами. Косвенная адресация. Базовый адрес и смещение. Паспорт (дескриптор) массива. Массивы с изменяемыми размерами и/или размерностью. Строки с объявленным максимальным размером. Списковое представление строк. Символьный пул для представления строк в языках обработки строк.
  1. Представление процедур


Структура стека вызовов процедур. Хранение в стеке параметров и локальных переменных. Структура фрейма процедуры. Связь фреймов в динамическую цепочку (цепочку вызовов) и статическую цепочку (контекст). Хранение и преобразование контекстов при процедурных переходах. Представление процедуры как хранимого объекта. Запоминание контекста.
  1. Представление объектов


Поля и методы объектов. Наследование. Таблица виртуальных методов. Динамические свойства объектов. Проблемы множественного наследования.
  1. Представление списковых структур


Стек и его представление в виде массива и списка. Стеки, растущие "навстречу" друг другу. Очереди и их реализация. Примеры применения стеков и очередей.
  1. Деревья, их использование и алгоритмы их обработки


Представление регулярных деревьев в массиве. Ссылочные представления деревьев. Обходы деревьев. Упорядоченные деревья: вставка и добавление элементов. Оптимальное и сбалансированное по высоте (АВЛ) дерево. Вставка и удаление элементов в АВЛ-дереве. 2-3-дерево и B-деревья: вставка и удаление элементов. Применение B-деревьев для хранения индексов в базах данных.
Б.3.8. Архитектура вычислительных систем и компьютерных сетей

СОДЕРЖАНИЕ КУРСА


    1. Микропрограммный уровень

    2. Архитектура традиционных компьютеров.

    3. Способы ускорения традиционных архитектур: Конвейер команд, расслоенная память, регистры, кэш-память.

    4. Нестандартные архитектуры: векторная, матричная, VLIW и т. д.

    5. RISC- и CISC-компьютеры: Исторически эти два направления развивались как противоположные, в настоящее время они практически неразличимы.

    6. Распределение памяти в трансляторах с АЯВУ: Некоторые сведения из техники трансляции, необходимые для понимания аппаратной реализации.

    7. Реализация вызовов в трансляторах с АЯВУ: Некоторые сведения из техники трансляции, необходимые для понимания аппаратной реализации.

    8. Обзор архитектуры POWER PC

    9. Обзор архитектуры Intel,

    10. Обзор архитектуры SUN SPARC

    11. Особенности multimedia extensions (Intel MMX & SSE, PowerPC VMX)

    12. Системная архитектура (процессоры, кэш, интегрированная периферия-chipset)

    13. Шинная архитектура (локальные, системные, периферийные шины, "двойная независимая" шинная архитектура)

    14. Архитектура HLL-компьютеров на примере УВК "САМСОН":


Б.3.9. Операционные системы и оболочки
1   2   3   4   5   6



Похожие:

Основная образовательная программа высшего профессионального образования Направление подготовки 010500 iconОсновная образовательная программа высшего профессионального образования Направление подготовки 021900 Почвоведение
В настоящей Примерной основной образовательной программе высшего профессионального образования по направление подготовки 021900 Почвоведение...
Основная образовательная программа высшего профессионального образования Направление подготовки 010500 iconОсновная образовательная программа высшего профессионального образования Направление подготовки 032700 Филология
Ооп) первого уровня высшего профессионального образования (бакалавриат) по направлению подготовки 032700 – Филология в части
Основная образовательная программа высшего профессионального образования Направление подготовки 010500 iconОсновная образовательная программа высшего профессионального образования Направление подготовки 033300 Религиоведение
...
Основная образовательная программа высшего профессионального образования Направление подготовки 010500 iconОсновная образовательная программа высшего профессионального образования Направление подготовки 080100 «Экономика» профиль «Региональная экономика»
Требования к результатам освоения основной образовательной программы подготовки бакалавра по направлению «Экономика»
Основная образовательная программа высшего профессионального образования Направление подготовки 010500 iconОсновная образовательная программа высшего профессионального образования Направление подготовки 111400 Водные биоресурсы и аквакультура
Целью разработки пооп является методическое обеспечение реализации фгос впо по данному направлению подготовки и разработки высшим...
Основная образовательная программа высшего профессионального образования Направление подготовки 010500 iconОсновная образовательная программа высшего профессионального образования Направление подготовки 080100. 62 «Экономика»
Выпускник по направлению подготовки 080100 «Экономика» профиль «Экономика труда» с квалификацией (степенью) «бакалавр» должен обладать...
Основная образовательная программа высшего профессионального образования Направление подготовки 010500 iconОсновная образовательная программа высшего профессионального образования Направление подготовки
Результаты освоения ооп впо определяются приобретаемыми выпускником компетенциями, т е его способностью применять знания, умения...
Основная образовательная программа высшего профессионального образования Направление подготовки 010500 iconОсновная образовательная программа высшего профессионального образования Направление подготовки
Результаты освоения ооп впо определяются приобретаемыми выпускником компетенциями, т е его способностью применять знания, умения...
Основная образовательная программа высшего профессионального образования Направление подготовки 010500 iconОсновная образовательная программа высшего профессионального образования Направление подготовки 080200. 62 «Менеджмент»
Результатом освоения Профиля является овладение студентами видом профессиональной деятельности управление технологическими инновациями,...
Основная образовательная программа высшего профессионального образования Направление подготовки 010500 iconОсновная образовательная программа высшего профессионального образования Направление подготовки 031300 «Журналистика»
Бакалавр по направлению подготовки «Журналистика» в соответствии с целями основной образовательной программы и задачами профессиональной...
Разместите кнопку на своём сайте:
Документы


База данных защищена авторским правом ©edu.likenul.com 2000-2015
При копировании материала обязательно указание активной ссылки открытой для индексации.
обратиться к администрации
Документы