Serĉrezultoj

Vastasence '''formala lingvo''' estas [[lingvo]] kies [[sintakso]] kaj [[semantiko]] havas rigoran matematikan difinon.<ref name="KL">[[Komputada Leksikono]]. ...

...a'' respekte al certa logiko (kio estas kun respekto al ĝia [[modeloteorio|semantiko]]), se ĉiu propozicio ''P'', kiu sekvas semantike de aro de lokalo ''G'' po ...

Studoj de [[programlingvo|programlingva]] [[semantiko]] derivas de [[modeloteorio]]. ...Ili ne ''(meznombro, signifi)'' io. Tamen, (tiu, ke) dekliniĝas plui enen (semantiko, semantikoj, semantikas) kaj lingva (eldonas, aferoj) neutila al la formali ...

..., sed ĝi formas la centran kernon de la diferenco inter ''sintakso'' kaj ''semantiko'' en formalaj logikoj. Kvankam oni scias, ke oni ''celas'' la samon per la ...]] kun respekto al logiko de la unua ordo, kio estas propozicio A sekvas [[semantiko|semantike]] de aro de premisoj γ (<math>\Gamma \vDash A</math>) [[se kaj nu ...

[[Kategorio:Semantiko]] ...

...maraj ekzemploj de tiel praktiko.<ref name=tate111/> En la esplorado de la semantiko de la lingvo, multe da logikistoj trovis sin alfronti ĉi tiun paradokson. E ...

== Semantiko == ...i povas aldoni senchavan signifon al terminoj de lambda-kalkulo? La natura semantiko estis trovi aron ''D'' izomorfa al funkcia spaco ''D'' → ''D'' de funkcioj ...

* [[Semantiko de Kripke]] ([[:en:Kripke semantics|''angle'']]) ...

...as multe pli da informoj ol la indiko "Medor estas mamulo": la enhavo de [[semantiko|semantika]] informo de [[mesaĝo]] dependas de la [[kunteksto]]. Fakte, esta ...