URN:NBN:SI:DOC-9L351LO92020Peterin, Iztokdocuments/doc/9/URN_NBN_SI_doc-9L351LO9_001.pdfdocuments/doc/9/URN_NBN_SI_doc-9L351LO9_001.txt34068995978-961-286-400-2URN:NBN:SI:doc-9L351LO9slvFakulteta za elektrotehniko, računalništvo in informatikoUniverzitetna založba UniverzeknjigeBYBoolean algebraBoolova algebracombinatoricsčasovna zahtevnostgrafigraphsindukcijaizjavni računikombinatorikalogic inductionnumber theoryrecursive kombinationrekurzivna relacijateorija številtime complexity