Пособие для поступающих в аспирантуру

Вышло в свет пособие для поступающих в аспирантуру по направлению "ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И УПРАВЛЕНИЕ" (05.13.00). Автор - С.Б. Арыков. Книга доступна в библиотеке НГУ.

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




Оглавление


ЧАСТЬ I. ДИСКРЕТНАЯ МАТЕМАТИКА

ГЛАВА 1. НЕКОТОРЫЕ МАТЕМАТИЧЕСКИЕ ПОНЯТИЯ

  1. 1.1. Множества
  2. 1.2. Отношения
  3. 1.3. Функции

ГЛАВА 2. АЛГЕБРА

  1. 2.1. Алгебраические системы
  2. 2.2. Решетки, булевы алгебры
  3. 2.3. Нормальные формы

ГЛАВА 3. МАТЕМАТИЧЕСКАЯ ЛОГИКА, ВЫЧИСЛИМОСТЬ

  1. 3.1. Формальные теории
  2. 3.2. Секвенциальное исчисление высказываний
  3. 3.3. Гильбертовское исчисление высказываний
  4. 3.4. Связь исчислений высказываний
  5. 3.5. Исчисление предикатов
  6. 3.6. Рекурсивные и частично рекурсивные функции
  7. 3.7. Рекурсивные и рекурсивноперечислимые множества
  8. 3.8. Общерекурсивные и универсальные рекурсивные функции
  9. 3.9. s-m-n-теорема, теоремы о рекурсии
  10. 3.10. Нормальные алгорифмы
  11. 3.11. Машина Тьюринга
  12. 3.12. Неразрешимые проблемы

БИБЛИОГРАФИЧЕСКИЙ СПИСОК


ЧАСТЬ II. МАТЕМАТИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ

ГЛАВА 4. СПОСОБЫ ЗАДАНИЯ ФОРМАЛЬНЫХ ЯЗЫКОВ

  1. 4.1. Основные определения
  2. 4.2. Грамматики
  3. 4.3. Конечные автоматы
  4. 4.4. Магазинные автоматы
  5. 4.5. Конечные автоматы и регулярные языки
  6. 4.6. Магазинные автоматы и контекстно-свободные языки

ГЛАВА 5. СЕТИ ПЕТРИ

  1. 5.1. Неформальное описание
  2. 5.2. Формальное определение
  3. 5.3. Языки
  4. 5.4. Ограниченность, безопасность, устойчивость
  5. 5.5. Алгоритмические проблемы

ГЛАВА 6. ТЕОРИЯ СХЕМ ПРОГРАММ

  1. 6.1. Введение
  2. 6.2. Стандартные схемы
  3. 6.3. Рекурсивные схемы
  4. 6.4. Обогащенные схемы
  5. 6.5. Схемы Янова
  6. 6.6. Структурированные схемы
  7. 6.7. Алгоритмические проблемы для схем программ
  8. 6.8. Трансляция классов схем программ

ГЛАВА 7. ВВЕДЕНИЕ В ВЕРИФИКАЦИЮ

  1. 7.1. Корректность и верификация программ
  2. 7.2. Аксиоматический метод Хоара
  3. 7.3. Метод индуктивных утверждений
  4. 7.4. Анализ завершения
  5. 7.5. Пример верификации программы

ГЛАВА 8. ДОПОЛНИТЕЛЬНЫЕ РАЗДЕЛЫ

  1. 8.1. Сложность и меры сложности вычислений
  2. 8.2. Методы описания семантики программирования

БИБЛИОГРАФИЧЕСКИЙ СПИСОК


ЧАСТЬ III. АРХИТЕКТУРА ВЫЧИСЛИТЕЛЬНЫХ СРЕДСТВ

ГЛАВА 9. УСТРОЙСТВО ЭВМ

  1. 9.1. Архитектура ЭВМ
  2. 9.2. Центральный процессор
  3. 9.3. Память
  4. 9.4. Устройства ввода-вывода
  5. 9.5. Шина

ГЛАВА 10. КОМПЬЮТЕРЫ ПАРАЛЛЕЛЬНОГО ДЕЙСТВИЯ

  1. 10.1. Классификация параллельных компьютеров
  2. 10.2. Векторные и матричные процессоры
  3. 10.3. Мультипроцессоры
  4. 10.4. Мультикомпьютеры
  5. 10.5. Коммуникационное программное обеспечение

ГЛАВА 11. ПОСТРОЕНИЕ СЕТЕЙ ПЕРЕДАЧИ ДАННЫХ

  1. 11.1. Типы сетей
  2. 11.2. Сетевая среда передачи данных
  3. 11.3. Сетевая топология
  4. 11.4. Технологии построения локальный сетей
  5. 11.5. Подключение к сети

ГЛАВА 12. ФУНКЦИОНИРОВАНИЕ СЕТЕЙ ПЕРЕДАЧИ ДАННЫХ

  1. 12.1. Модель OSI
  2. 12.2. Стек протоколов TCP/IP

БИБЛИОГРАФИЧЕСКИЙ СПИСОК


ЧАСТЬ IV. ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВЫЧИСЛИТЕЛЬНЫХ МАШИН И СИСТЕМ

ГЛАВА 13. ОПЕРАЦИОННЫЕ СИСТЕМЫ

  1. 13.1. Принципы организации функционирования ЭВМ на основе операционных систем
  2. 13.2. Структура операционной системы
  3. 13.3. Мультипрограммирование и мультипроцессорная обработка
  4. 13.4. Организация режима разделения времени
  5. 13.5. Управление памятью
  6. 13.6. Алгоритмы распределения памяти
  7. 13.7. Организация файловых систем

ГЛАВА 14. ЯЗЫКИ ПРОГРАММИРОВАНИЯ

  1. 14.1. Элементы языков программирования
  2. 14.2. Основные типы данных
  3. 14.3. Управляющие конструкции
  4. 14.4. Структурное программирование
  5. 14.5. Объектно-ориентированное программирование
  6. 14.6. Функциональное программирование

ГЛАВА 15. МЕТОДЫ ТРАНСЛЯЦИИ

  1. 15.1. Этапы трансляции
  2. 15.2. Лексический анализ
  3. 15.3. Синтаксический анализ
  4. 15.4. Контекстный анализ
  5. 15.5. Генерация промежуточного представления
  6. 15.6. Оптимизация
  7. 15.7. Генерация кода
  8. 15.8. Ассемблеры, загрузчики, редакторы связей
  9. 15.9. Пример трансляции выражения

ГЛАВА 16. МЕТОДЫ ТЕСТИРОВАНИЯ

  1. 16.1. Основные понятия
  2. 16.2. Статическое тестирование
  3. 16.3. Динамическое детерминированное тестирование
  4. 16.4. Динамическое стохастическое тестирование
  5. 16.5. Этапы тестирования

БИБЛИОГРАФИЧЕСКИЙ СПИСОК


ЧАСТЬ V. ОСНОВЫ ОРГАНИЗАЦИИ БАЗ ДАННЫХ И БАЗ ЗНАНИЙ

ГЛАВА 17. ТЕОРЕТИЧЕСКИЕ ОСНОВЫ БАЗ ДАННЫХ

  1. 17.1. Понятие баз данных, систем управления базами данных и банками данных
  2. 17.2. Уровни представления данных
  3. 17.3. Модели данных
  4. 17.4. Нормализация

ГЛАВА 18. СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ

  1. 18.1. Общая архитектура СУБД
  2. 18.2. Управление данными во внешней памяти
  3. 18.3. Управление оперативной памятью
  4. 18.4. Управление транзакциями
  5. 18.5. Журнализация и восстановление
  6. 18.6. Процессор запросов
  7. 18.7. Язый SQL

ГЛАВА 19. ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ

  1. 19.1. Общие сведения
  2. 19.2. Основные свойства интеллектуальных систем
  3. 19.3. Основные классы интеллектуальных систем
  4. 19.4. Синтез программ
  5. 19.5. Представление знаний
  6. 19.6. Вычислительные модели

БИБЛИОГРАФИЧЕСКИЙ СПИСОК


ЧАСТЬ VI. МЕТОДЫ ВЫЧИСЛЕНИЙ

ГЛАВА 20. МЕТОДЫ ВЫЧИСЛЕНИЙ

  1. 20.1. Интерполирование функций, многочлены Лагранжа и Ньютона
  2. 20.2. Среднеквадратичные приближения
  3. 20.3. Простейшие интерполяционные и сглаживающие сплайны
  4. 20.4. Численное интегрирование
  5. 20.5. Вычислительные методы линейной алгебры
  6. 20.6. Численное решение обыкновенных дифференциальных уравнений
  7. 20.7. Основные понятия теории разностных методов

БИБЛИОГРАФИЧЕСКИЙ СПИСОК