Документы icon

Документы



НазваниеДокументы
Дата конвертации02.07.2012
Размер0.54 Mb.
Типархив
1. /3-01.rtf
2. /3-02.rtf
3. /3-03.rtf
4. /3-04.rtf
5. /3-05.rtf
6. /3-06.rtf
7. /3-07.rtf
8. /3-08.rtf
9. /3-09.rtf
10. /3-10.rtf
11. /3-11.rtf
12. /3-12.rtf
13. /3-13.rtf
14. /3-14.rtf
15. /3-15.rtf
16. /3-16.rtf
17. /3-17.rtf
18. /3-18.rtf
19. /3-19.rtf
20. /3-20.rtf
21. /3-21.rtf
22. /3-22.rtf
23. /3-23.rtf
24. /3-24.rtf
25. /3-25.rtf
26. /3-26.rtf
27. /3-27-1.rtf
28. /3-28.rtf
29. /3-29.rtf
30. /3-30.rtf
Рекуррентные соотношения и алгоритмы построения отрезка прямой и окружности в компьютерной графике
Теорема Поста о полноте систем функций в алгебре логики
Графы, деревья, планарные графы; их свойства. Оценка числа деревьев
Схемы из функциональных элементов, реализующие сумматор, дешифратор, шифратор, мультиплексор и оценка их сложности
Логика 1-го порядка. Выполнимость и общезначимость. Общая схема метода резолюций
Логические программы. Декларативная семантика и операционная семантика; соотношение между ними. Стандартная стратегия выполнения логических программ
Транзакционное управление в субд. Методы сериализации транзакций
Метод распараллеливания алгоритма общей рекурсии 1-го порядка
Понятие программного средства (ПС) и его жизненный цикл.
Понятие качества пс, критерии качества пс

Структурное программирование и пошаговая детализация
Защита программных средств от несанкционированного доступа
Средства инкапсуляции данных. Абстрактные типы данных и их реализация в современных языках программирования
Основные принципы объектно-ориентированного программирования
Построение детерминированного конечного автомата по регулярному выражению
Построение канонического множества lr(1) ситуаций и таблиц действий и переходов для lr(1) грамматик
Алгоритм Сети-Ульмана оптимального распределения регистров и его обоснование
Параллелизм обработки информации в вычислительных системах
Аппаратура управления оперативной памятью и обменом с внешней памятью в вычислительных системах
Функции распределенных операционных систем. Синхронизация. Взаимное исключение критических интервалов
Распределенная общая память. Методы реализации. Модели консистентности
Методы представления знаний в системах искусственного интеллекта (язык предикатов, семантические сети, фреймы, продукции)
Методы поиска решения задач в системах искусственного интеллекта (эвристический поиск в пространстве состояний и на И/или деревьях)
Основные особенности Плэнера как языка программирования для задач искусственного интеллекта
Экспертные системы: архитектура, типы решаемых задач, области применения
Эталонная модель взаимосвязи открытых систем osi iso. Основные элементы и архитектура osi iso. Уровни протоколов и их основные функции. Правила описания сервиса уровней
Эталонная модель tcp/ip (Internet) и ее сравнение с эталонной моделью osi iso. Основные функции протоколов ip и tcp. Основные прикладные протоколы архитектуры tcp/IP
2. 27 Архитектура локальных сетей. Топология, характеристики принципы работы сети fddi
Средства межсетевого взаимодействия (мосты, маршрутизаторы, шлюзы)
Унифицированный язык моделирования uml. Основные средства языка
Распределенные файловые системы. Семантика разделения файлов. Кэширование




Разместите кнопку на своём сайте:
Документы


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

Разработка сайта — Веб студия Адаманов