formalizúotoji kalbà, interpretuotas skaičiavimas, arba formalioji sistema drauge su jos interpretacija. Loginis skaičiavimas tampa formalizuotąja kalba panaudojus semantines taisykles, kurios skaičiavimo išraiškoms suteikia interpretaciją. Dėl to pati formalizuotoji kalba dažnai vadinama semantine sistema. Deduktyviai reikšdama įvairių mokslų informaciją formalizuotoji kalba padeda sugriežtinti įrodymus ir išvadas. Formalizuotąja kalba naudojamasi kuriant informacines kalbas, techninėmis priemonėmis automatizuojant mokslinius samprotavimus.
314