Конспект установочных лекций по комплексному курсу Информатика, Теория информации

       

Конспект установочных лекций по комплексному курсу Информатика, Теория информации

ПРЕДИСЛОВИЕ РЕДАКТОРА
Модуль Введение Системный подход
Модуль Вводим основные понятия

I:R®A
Принципы Фон Неймана
Модуль Структура и закономерности протекания информационных процессов
Модуль Описания систем через множество процессов

Сети Петри
Предикаты над процессами
О языках программирования в курсе “Информатика”
Общие программные переменные
Языковые средства для параллельных ходов работы


Потоки ввода/вывода
Элементы чисто аппликативных языков программирования
Синтаксис выражений и примитивных вычислительных структур
Описание значений выражений
Константы и идентификаторы
Условные выражения

Применение функции
Связывание (свободных) идентификаторов: абстракция функций
Объявление элемента
Объявления функций
Рекурсивные объявления функций
Индуктивное толкование рекурсивных объявлений функций
Толкование через наименьшую неподвижную точку
Рекурсивные объявления функций в системах подстановки термов
Схема для рекурсивного объявления функции
Постановка вопроса
Коды и кодирование

Оптимальность кодов и разрешающая информация
Надежность передачи сообщений
Основные аспекты операционных систем
Относящиеся к пользователю аспекты ОС
Распределение ресурсов ВС

Методы реализации системного программирования
Структуры ОС
Гипотетические машины
Рекурсивные функции
Эквивалентность понятий вычислимости
Состояние Левое слово Знак Правое слово
Разрешимость

Мера сложности
Временная сложность
Ленточная сложность
Если для всех слов W c n= /W/ и всех i ( ? i ? k) имеет место bi(w) ? S(n),

Конспект установочных лекций по комплексному курсу Информатика, Теория информации

Сложение чисел линейно (длине входного слова), ленточно-ограниченно
Временная и ленточная сложность задач
Дерево вычислений
Полиномиальная и недетерминированная полиномиальная временная сложность
I m): выражение

Гриди-алгоритмы
Формализмы для спецификаций
Базы данных и информационные системы
Логическое программирование
Объектно-ориентированное программирование
Heapsort через деревья выбора
Упорядоченные ориентированные и отсориентированные деревья
Представление деревьев массивами
AVL-деревья
B-деревья
Эффективное представление множеств

Семантическая модель реальности и идеальности
Информационные технологии
Предметная область
Представление данных

Представление знаний
Информацинные ресурсы и виды информационных систем Информащюнные ресурсы общества и предприятия
Фактографические информационнные системы
КОМПЛЕКСНАЯ РАБОЧАЯ ПРОГРАММА
Источники, адреса, развивающее информационное обеспечение (сервер ЦНИТ МГДТДиЮ-МИРЭА)