Computational and Formal Modelling comp.

[мария турик]

Это название дисциплины в рамках курса Искуственный Интеллект:

Computational and Formal Modelling

его описание таково:
To achieve an understanding of how the mind/brain works, cognitive scientists build com-
putational models of mental processes. Such models try to capture in a precise (formal) lan-
guage our (informal) intuitions about how aspects of human cognition may work.
By systematically studying our models and comparing them to actual human cognitive behavior,
we can test our ideas about how the mind works.

Можно ли это перевести как "Вычислительное и формальное моделирование" или есть другой принятый термин?

Спасибо.