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