75512 SDC11615 (2)

(•on* W

tę KŁa (dedukcyjną

turpłeciona teorio IjMnUW)

■

i mn*.

C tę sto v.*/i afa *re pogląd

ta oprócz wymienionych tu teorii sformalizowanych ogOlnm teona systemów obefnufa rozmaite poltcto. hipotezy.

zasady metodologie zne.

■|Hi|*bM promtayprramarrnT cHa maszyn rytrrYT^* inne ciptil no naleZace do Źa>»| teorii sfor malizowanych.

Istniei# obecni* ogolnn tendencja do formallzowanla wymfcaiaco z dazenu do ograniczenia moZUwotci pomieszania poj*c.

Jednakże proces formalizać|i zawęża na ogol pierwotne semantyczne znaczenie rozpatrywanych oMattOw.

'Ubóstwo ciÓiowki* dormaWc anych pojec' (E Kmdl*i) >*st powaZnym niedostatkiem formalizacji w jej ob*cn*t postaci, mimo wteki Je) zalet Jeden ze sposobów obicia rozmaitych aspektów ‘semantycznie begeydf poftc odnoszących si* do systemów sformalizowanych za pcmacó dostępnego aparatu matematycznego polega na opracowaniu wielu sformalizowanych teorii systemów

M.a Jłl