Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
Stránky: 1
Ahoj,
omlouvam se, ze toto tema zde moc nezapada. Potrebuji se ale aurgentne pripravit na pondelni zkousku na kterou nemam dostatecne studijni materialy (slozite vysvetlovani), jedna se o tyto okruhy:
1.Deklarativní programování v PROLOGu.
Znalostní báze. Inferenční mechanismus. Způsob vyhodnocování dotazů.
2.Filosofie funkcionálních programovacích jazyků, deklarativní kontra imperativní přístup. Lambda-kalkul, lambda-termy, rovnostní teorie lambda, beta-redukce, výpočty v lambda kalkulu, kódování objektů lambda-termy, rekurzívní definice funkcí. Lambda-vyčíslitelnost, nerozhodnutelné vlastnosti.
Mohl byste poslat nejake studijni materialy, odkazy, cokoli kde je neco z toho zminene a vysvetlene? diky.
Offline
Stránky: 1