Razlika između inačica stranice »Algebarska semantika«
Izvor: Hrvatska internetska enciklopedija
(Bot: Automatski unos stranica) |
m (bnz) |
||
| Redak 1: | Redak 1: | ||
'''Algebarska semantika''' [[programski jezik|programskog jezika]] je oblik [[aksiomatska semantika|aksiomatske semantike]] zasnovan na [[algebra|algebarskim]] zakonima za opisivanje i zaključivanje o [[programska semantika|programskoj semantici]] na [[formalne metode|formalan]] način. | |||
== Vidjeti također == | == Vidjeti također == | ||
Trenutačna izmjena od 18:40, 29. travnja 2022.
Algebarska semantika programskog jezika je oblik aksiomatske semantike zasnovan na algebarskim zakonima za opisivanje i zaključivanje o programskoj semantici na formalan način.
Vidjeti također
Nedovršeni članak Algebarska semantika koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.