[RDF data]
Home | All courseInstance
PropertyValue
sisvu:academicYear 2007 (xsd:int)
is sisvu:containtsCourseInstance of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/knowledgeGrouping/36/32>
is sisvu:courseInstanceLecturerOfCourseInstance of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111660>
is sisvu:courseInstanceLecturerOfCourseInstance of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111661>
is sisvu:courseInstanceLecturerOfCourseInstance of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111662>
is sisvu:courseInstanceLecturerOfCourseInstance of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111663>
is sisvu:courseInstanceLecturerOfCourseInstance of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111664>
is sisvu:courseInstanceLecturerOfCourseInstance of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111665>
is sisvu:courseInstanceLecturerOfCourseInstance of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111668>
is sisvu:courseInstanceLecturerOfCourseInstance of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111669>
is sisvu:courseInstanceLecturerOfCourseInstance of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111670>
is sisvu:courseInstanceLecturerOfCourseInstance of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/168751>
is sisvu:courseInstanceLecturerOfCourseInstance of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/168752>
sisvu:courseInstanceOfCourseInstanceLecturer <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111660>
sisvu:courseInstanceOfCourseInstanceLecturer <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111661>
sisvu:courseInstanceOfCourseInstanceLecturer <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111662>
sisvu:courseInstanceOfCourseInstanceLecturer <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111663>
sisvu:courseInstanceOfCourseInstanceLecturer <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111664>
sisvu:courseInstanceOfCourseInstanceLecturer <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111665>
sisvu:courseInstanceOfCourseInstanceLecturer <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111668>
sisvu:courseInstanceOfCourseInstanceLecturer <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111669>
sisvu:courseInstanceOfCourseInstanceLecturer <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/111670>
sisvu:courseInstanceOfCourseInstanceLecturer <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/168751>
sisvu:courseInstanceOfCourseInstanceLecturer <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstanceLecturer/31502/2007/168752>
sisvu:description Predmet uvodi formalne modele konačnih automata i formalnih gramatika za potrebe opisa, definiranja, programskog i sklopovskog ostvarivanja, te provjere ispravnosti rada raznorodnih i raznovrsnih računalnih i komunikacijskih procesa, protokola i sustava. Objašnjavanju se osnovna svojstva računarskih procesa i sustava kao što su determinizam, odlučivost, izračunljivost, složenost i učinkovitost. Daje se osnova teorije automata, formalnih gramatika i jezika. Proučava se Chomskyeva hijerarhija jezika: regularni, kontekstno neovisni, kontekstno ovisni, rekurzivni i rekurzivno prebrojivi jezici. Definiraju se razredi složenosti i hijerarhija razreda složenosti: potpuni i teški problemi, razredi P i NP, te postupak svođenja. (hr)
sisvu:description The course introduces the formal models of finite automata and formal grammars used for description, definition, software and hardware implementation, as well as verification of correctness of execution of different computer and communication processes, protocols, and systems. The basic properties of computing processes and systems, such as determinism, decidability, computability, complexity, and tractability, are explained. The basics of automata theory, formal grammars and languages are given. Chomsky hierarchy of languages is presented: regular languages, context-free languages, context-sensitive languages, recursive languages, and recursively-enumerable languages. Complexity classes and hierarchy of complexity classes are defined: complete and hard problems, polynomial classes P and NP, and reduction method. (en)
is univ-ont:hasManifestation of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/course/31502>
sisvu:inGrouping <http://kent.zpr.fer.hr:8080/educationalProgram/resource/knowledgeGrouping/36/32>
univ-ont:instanceOfCourse <http://kent.zpr.fer.hr:8080/educationalProgram/resource/course/31502>
sisvu:teachedInProgrammeTerm <http://kent.zpr.fer.hr:8080/educationalProgram/resource/programmeTerm/12709/4>
rdf:type univ-ont:CourseInstance