Liige : Kasutajanimi |Registreerimine |Laadi teadmisi
Otsing
Metalogic
1.Ülevaade
1.1.Ametlik keel
1.2.Formation rules
1.3.Formaalsed süsteemid
1.4.Ametlikud tõendid [Modifikatsioon ]
Ametlik tõestus on ametliku keele hästiformeeritud valemite järjestus, millest viimane on formaalse süsteemi teoreem. Teoreem on süntaktiline tagajärg kõigist hästi moodustatud valemitest, mis eelnevad sellele tõendussüsteemis. Heakskiidetud valemi puhul, mis kvalifitseerub tõendina, peab see olema tingitud mõne ametliku süsteemi deduktiivseadme reegli kohaldamisest varasemate hästi moodustatud valemite suhtes tõendite järjestuses.
[Ametlik tõend]
1.5.Tõlgendused
2.Olulised eristused
2.1.Eesti keelest objekti keel
2.2.Süntaksi semantikat
2.3.Kasuta-maini
2.4.Tüüp-token
3.Ajalugu
4.Tulemused
[Täiendava Rohkem Sisu ]


Autoriõigus @2018 Lxjkh