Роль реляционных языков в развитии программирования и основные механизмы дедукции. Методы поиска доказательства в исчислении предикатов. Выбор конфигурации компьютера. Анализ характера загрязнения окружающей среды при производстве вычислительной техники.
29.03.2009 |
Информатика |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 98
