<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=140309"><dc:title>Preverjanje ravninskosti grafov v Lean</dc:title><dc:creator>Golob,	Gašper	(Avtor)
	</dc:creator><dc:creator>Bauer,	Andrej	(Mentor)
	</dc:creator><dc:creator>Berčič,	Katja	(Komentor)
	</dc:creator><dc:subject>Dokazovalnik</dc:subject><dc:subject>Lean</dc:subject><dc:subject>ravninski grafi</dc:subject><dc:subject>kombinatorična preslikava</dc:subject><dc:description>Za namene formalizacije ravninskih grafov v dokazovalniku Lean uvedemo matematični pojem kombinatoričnih preslikav in zanj predstavimo karakterizacijo ravninskih grafov, za katero dokažemo tudi smiselnost. Pojem kombinatoričnih preslikav v dokazovalniku Lean formaliziramo na način, ki omogoča lastnosti, s katerimi lahko neposredno računamo. Formaliziramo dokaz, da so tako podane kombinatorične preslikave skladne z njihovo matematično definicijo.</dc:description><dc:date>2022</dc:date><dc:date>2022-09-14 08:15:24</dc:date><dc:type>Delo diplomskega seminarja/zaključno seminarsko delo/naloga</dc:type><dc:identifier>140309</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>