DIKUL - logo
(UL)
  • Osnove matematike in algebra. Del 1, Generiranje in zahtevnost logičnih nalog
    Hafner, Izidor
    Raziskava obravnava logične naloge, ki se nanašajo na bijektivne preslikave končnih množic s stališča njihovega računalniškega generiranja in reševanja. Algoritem je realiziran v prologu, njegova ... osnova pa je izrek o enoličnosti rešitve dvodimenzionalnih logičnih problemov. Tako generirane probleme lahko uporabimo kot sheme za sestavljanje vsebinskih nalog.
    Vrsta gradiva - raziskovalno poročilo
    Založništvo in izdelava - Ljubljana : Inštitut za matematiko, fiziko in mehaniko, 1991
    Jezik - slovenski
    COBISS.SI-ID - 8329305

Knjižnica Signatura – lokacija, inventarna št. ... Status izvoda
FMF in IMFM, Matematična knjižnica, Ljubljana Skladišče-Jadranska 19

10920/289
prosto - za čitalnico
loading ...
loading ...
loading ...