【名词&注释】
人工智能(artificial intelligence)、数学方法(mathematical method)、数理逻辑(mathematical logic)、基础上(basis)、美国国防部(us department)、技术相结合(technology are combined)、语言形式化(language formalization)
[填空题]现代仿真是在与计算机结合的基础上进行的,甚至可以直接称为计算机仿真。它是现代数学方法、数理逻辑、语言形式化(language formalization)、()与()技术相结合(technology are combined)的产物,是当代软技术的主要方法与手段。