border=0

Value formalisaasje

Fan 'e boppesteande eigenskippen fan formele systemen moat de wichtichste, fansels, in formaliteit beskôge wurde. Sels yn ús deistich libben is folle organisearre neffens de prinsipes fan formele systemen. Formalisme is bestelling; Dêrom binne der in soad ferlykbere objekten (op in pakhús, yn in biblioteek, yn in komputer database), ûnderwerpen (meiwurker, soldaat, studint) of situaasjes (misdriuwen, ferkear, belesting, oplieding yn 'e hegeskoalle) dy't behannele wurde ferskillende minsken, dúdlike regels en har gelikensens foar allegear dy't har brûke binne absolut nedich. Allinne in formele oanbefelling foar fêststeande wetten, koades, regeljouwing soarget foar bestelling yn 'e steat as systeem as gehiel en har yndividuele subsystemen (ynstellings, mienskippen, organisaasjes, ensfh.). Foarbylden binne aksjes troch pilotten, bestjoerders, militêr, rjochters, arbeiders op in ferdriuwer, ensfh. Oarsom is it minder formalisme yn elke aktiviteit, de hurder en dûbele is de evaluaasje fan har resultaten, lykas út it wurk fan steatsmen, leararen, skriuwers, ensfh. Sjoen wurde kin.

De formele oanpak is grûnwize wichtich foar de krekte wittenskippen. Om kennis fan ien persoan tagelyk tagonklik en eanglik te begripen wurden moat it útwurke wurde mei help fan krekte begripen en begripen. Om dy reden is de taal fan 'e wittenskip ticht by de formele taal (yn betingsten foar begrippen fan begripen). De taal fan wiskunde en logika is de beheining en meast unyk foar fersterking - dit ferklearret de útwreiding fan it gebiet fan tapassing fan wiskundige metoaden as wittenskip ûntwikkelt.

Op dit stuit wurdt in teoretysk of tapastlik probleem beskôge as genôch en dúdlik, as it formalisearre wurdt, d. kinne fertsjintwurdige wurde as in formele systeem. Alle lêste steaten binne ôflaat fan 'e oarspronklike objekten troch aksjes dy't de set regels fan it formele systeem fertsjintwurdigje. Boppedat kin as it prinsipe fan syntaksis bepaald wurde, earst syntaktyske kontrôle oer de justigens fan 'e beskriuwing fan aksjes kin útfierd wurde, en twadde wurde de hannelingen sels "sûnder tinken" dien, en benammen troch in technysk apparaat. Dêrom is foar de kompjûterisearring fan elke gebiet fan kennis of aktiviteit de folsleine formalisaasje nedich.

Sjoch ek:

A.1. Notysje fan probabiliteit

String verbal algoritme

It effekt fan lûd op 'e kanaalbandbreedte

Foarbyld 7.8

Gean werom nei Tafel Ynhâld: Teoretyske Stiftingen fan Computer Science

2019 @ edudocs.fun