Sign In Sign-Up
Welcome!
Close
Would you like to make this site your homepage? It's fast and easy...
Yes, Please make this my home page!
No Thanks
  Don't show this to me again.
Close
  • Matematički objekti-izrazi i formule
  • Brojavni sistemi – prevodjenje zapisa iz sistema u sistem
  • Aritmetika binarnog i heksadecimalnog sistema
  • Kodiranje i binarno kodiranje
  • Optimalna osnova brojevnog sistema za mašinsko predstavljanje
  • Iskazi , logicke operacije i njihove osobine
  • Iskazne formule (pojam,struktura i vrednosti)
  • Bulove jednacine – odredjivanje resenja(osnovne teoreme)
  • Bulove nejednacine i sistemi jednačina i nejednačina
  • Metoda sukcesivnih eliminacija-odredjivanje opšteg rešenja Bulove jednačine
  • Bulove matrice-matrica grafa
  • Bulove funkcije-kanonske forme
  • Aksiomatske i formalne teorije-definicija i primer
  • Svojstva formalnih teorija
  • Dokazi i vrste dokaza
  • Pojam izvodjenja u formalnoj teoriji
  • Formalni dokazi propozicionog tipa
  • Iskazni racuni Lukasijevica i Klinija
  • Valjane formule
  • Metode za odredjivanje tautologija
  • Algebra prekidačkih mreža
  • Bulova algebra-definicija i primer
  • Vaznije teoreme Bulove algebre
  • Bulovi izrazi-kanonske forme
  • Minimizacija Bulovih funkcija-dijagrami Vejč-Karnea
  • Algebarsko-logičke metode Kvajna za minimizaciju Bulovih funkcija
  • Topološki model Bulove funkcije
  • Funkcije Lukašijevića i Šefera
  • Pojam semantičke i sintaksne posledice skupa formula
  • Nezadovoljivost i dokazi pobijanjem-poluodlučivost
  • Pravilo rezolucije za iskazni račun
  • Aksiome i važnije teoreme kvantifikatorskog računa
  • Specijalni kvantifikatorski računi – formalizacija problema
  • Računi višeg reda i pojam aritmetizacije formalnih teorija
  • Pojam algoritma
  • Osnovna hipoteza teorije algoritma
  • Tjuringove mašine
  • Rekurzivne funkcije
  • Asocijativni računi
  • Normalni algoritmi
  • Konačni automati - graf automata
  • Pojam analize i sinteze konačnih automata
  • Formalni jezici i gramatike - definicija generativne gramatike
  • Strukturno programiranje i modularni pristup
  • Pojam i vrste programskih jezika
  • Program,potprogram – kompilacija i interpretacija
  • Pojam mekog upravljanja
  • Metode za odredjivanje tautologija
  • pitanje_1
  • pitanje_1
  • pitanje_1
  • pitanje_1