Kazalo
5 odnosi: Ivan Bratko (računalnikar), Izrek, Kratica, Programski jezik, Umetna inteligenca.
Ivan Bratko (računalnikar)
Ivan Bratko, slovenski računalnikar in akademik, * 10. junij 1946, Ljubljana.
Poglej Prolog (programski jezik) in Ivan Bratko (računalnikar)
Izrek
Izrèk (ali teorém, grško: theórema - videz, predstava, prizor; izrek) je trditev (predpostavka, postavka, propozicija) oziroma nedokazano načelo, ki je bila ali bo dokazana v poljubnem logičnem sistemu na podlagi nedvoumnih privzetkov.
Poglej Prolog (programski jezik) in Izrek
Kratica
Kratíca je ustaljena okrajšava večbesednih imen, običajno iz začetnih črk.
Poglej Prolog (programski jezik) in Kratica
Programski jezik
izvršena. Prográmski jêzik je stroju berljiv umetni jezik, ki je bil razvit, da izraža izračune oz.
Poglej Prolog (programski jezik) in Programski jezik
Umetna inteligenca
Umetna inteligenca včasih tudi umetni um ali strojna inteligenca, se uporablja v računalništvu za inteligenco strojev kot nasprotje »naravni« inteligenci ljudi in drugih živali.