Algebarska semantika: razlika između inačica

Posljednja izmjena od 29. travanj 2022. u 18:40

Algebarska semantika programskog jezika je oblik aksiomatske semantike zasnovan na algebarskim zakonima za opisivanje i zaključivanje o programskoj semantici na formalan način.

Nedovršeni članak Algebarska semantika koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.

Inačica od 23. kolovoz 2021. u 08:18 vidi izvor WikiSysop (razgovor \| doprinosi) AA_Korisnik, Botovi, Birokrati, Administratori sučelja, Otajnici, Administratori 570.628 edits Bot: Automatski unos stranica		Posljednja izmjena od 29. travanj 2022. u 18:40 vidi izvor WikiSysop (razgovor \| doprinosi) AA_Korisnik, Botovi, Birokrati, Administratori sučelja, Otajnici, Administratori 570.628 edits m bnz
Redak 1:		Redak 1:
	~~<!--'''Algebarska semantika'''-->~~'''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.		'''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 ==