Искусственный интеллект и знания (лекция 1) - презентация онлайн Формальные языки определения свойства примеры