[RDF data]
Home | All courseInstance
PropertyValue
sisvu:academicYear 2006 (xsd:int)
is sisvu:containtsCourseInstance of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/knowledgeGrouping/9/4>
sisvu:description Uvod. Intuitivni pojam skupa. Skupovi i klase. Algebra skupova. Proizvoljne unije i presjeci. Relativni komplement i DeMorganovi zakoni. Relacije i funkcije. Konačni Kartezijev produkt i n-arna relacija. Funkcija. Beskonačni Kartezijev produkt. Relacija ekvivalencije. Relacija uređaja. Prirodni brojevi. Definicija skupa prirodnih brojeva. Peanovi postulati. Rekurzije. Aritmetiča prirodnih brojeva. Realni brojevi. Cijeli brojevi. Racionalni brojevi Realni brojevi. Kardinalni tipovi. Jednakobrojnost i kardinalni tip. Konačni skupovi. Prebrojivost i neprebrojivost. Uređenje kardinalnih tipova. Aritmetika kardinalnih tipova. Ordinalni i kardinalni brojevi. Dobar uređaj i redni tip. Transfinitna rekurzija i definicija ordinalnog broja. Definicija kardinalnog broja. Aritmetika ordinalnih brojeva. Aksiomatizacija teorije skupova. Aksiom izbora i njegovi ekvivalenti. (hr)
is univ-ont:hasManifestation of <http://kent.zpr.fer.hr:8080/educationalProgram/resource/course/17890>
sisvu:inGrouping <http://kent.zpr.fer.hr:8080/educationalProgram/resource/knowledgeGrouping/9/4>
univ-ont:instanceOfCourse <http://kent.zpr.fer.hr:8080/educationalProgram/resource/course/17890>
rdf:type univ-ont:CourseInstance