dc.contributor.advisor | Krajíček, Jan | |
dc.creator | Paták, Pavel | |
dc.date.accessioned | 2017-04-12T09:00:55Z | |
dc.date.available | 2017-04-12T09:00:55Z | |
dc.date.issued | 2008 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11956/16987 | |
dc.description.abstract | Nazev pram: Defiuovatelnost v matrnnatickych struktnrneh Auiur: Pave! Patak Kat.odra: Katedra algebry Vedouci bakalafske prace: Prof. R.XDr. Jan Krajicek, DrSc. e-mail vedouciho: krajicek'Q'math.cas.cz AbytrakL: V pfedlo/.ene praci so zabyvame popisem definovatelnych nmozin v ruznych matematickych st.rukturaeh. Ukazujerne, zo defiuovatelne mnoziny v pfirozenych, celych a racionalnich cfslcch inohon byt volico kompliko- vann. naproti toinn dnfiiiovatolnr mnoziny ve .striiktnrach s {'liininari kvanti- fikatoru (reaina, komplexni cfsla,. - . ) JHOU jcdnoduclic. Vciinjoino se i pojinu modolovo I'iplnosti. S poinoci zfskanych poznatku a vo.ty o nplno.sti pak snadno dokazeme nektere obtizne vety jinych disciplin - alji,ebraickou Xnll- stollcnsatz a Artinovn charaktorizaci pozitivnr dofinitnicb racionalnfcli fimkoi, geometrickou Tarski-Seidenbergovn vetn a ninohc dalyi. Klicova slova: nmtematicke sl.rnktnry, dcliiiuvatelnost, eliminace kvantilika- toru Title: DcfinnViility in inatlioinatica.l structures Author: Pavel Patak Department: Department of Algebra Supervisor: Prof. RNDr. Jan Krajirek, DrSc. Supervisor's e-mail address: kra.jicokv'iJina.lb.cas.cz Abstract: In t,be present work we study the description of definable sets in various mathematical structures. We show that, the definable sets in natural, integer... | cs_CZ |
dc.description.abstract | Nazev pram: Defiuovatelnost v matrnnatickych struktnrneh Auiur: Pave! Patak Kat.odra: Katedra algebry Vedouci bakalafske prace: Prof. R.XDr. Jan Krajicek, DrSc. e-mail vedouciho: krajicek'Q'math.cas.cz AbytrakL: V pfedlo/.ene praci so zabyvame popisem definovatelnych nmozin v ruznych matematickych st.rukturaeh. Ukazujerne, zo defiuovatelne mnoziny v pfirozenych, celych a racionalnich cfslcch inohon byt volico kompliko- vann. naproti toinn dnfiiiovatolnr mnoziny ve .striiktnrach s {'liininari kvanti- fikatoru (reaina, komplexni cfsla,. - . ) JHOU jcdnoduclic. Vciinjoino se i pojinu modolovo I'iplnosti. S poinoci zfskanych poznatku a vo.ty o nplno.sti pak snadno dokazeme nektere obtizne vety jinych disciplin - alji,ebraickou Xnll- stollcnsatz a Artinovn charaktorizaci pozitivnr dofinitnicb racionalnfcli fimkoi, geometrickou Tarski-Seidenbergovn vetn a ninohc dalyi. Klicova slova: nmtematicke sl.rnktnry, dcliiiuvatelnost, eliminace kvantilika- toru Title: DcfinnViility in inatlioinatica.l structures Author: Pavel Patak Department: Department of Algebra Supervisor: Prof. RNDr. Jan Krajirek, DrSc. Supervisor's e-mail address: kra.jicokv'iJina.lb.cas.cz Abstract: In t,be present work we study the description of definable sets in various mathematical structures. We show that, the definable sets in natural, integer... | en_US |
dc.language | Čeština | cs_CZ |
dc.language.iso | cs_CZ | |
dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
dc.title | Definovatelnost v matematických strukturách | cs_CZ |
dc.type | bakalářská práce | cs_CZ |
dcterms.created | 2008 | |
dcterms.dateAccepted | 2008-09-19 | |
dc.description.department | Katedra algebry | cs_CZ |
dc.description.department | Department of Algebra | en_US |
dc.description.faculty | Faculty of Mathematics and Physics | en_US |
dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
dc.identifier.repId | 49262 | |
dc.title.translated | Definability in mathematical structures | en_US |
dc.contributor.referee | Jeřábek, Emil | |
dc.identifier.aleph | 001001360 | |
thesis.degree.name | Bc. | |
thesis.degree.level | bakalářské | cs_CZ |
thesis.degree.discipline | Obecná matematika | cs_CZ |
thesis.degree.discipline | General Mathematics | en_US |
thesis.degree.program | Matematika | cs_CZ |
thesis.degree.program | Mathematics | en_US |
uk.thesis.type | bakalářská práce | cs_CZ |
uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Katedra algebry | cs_CZ |
uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Department of Algebra | en_US |
uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
uk.faculty-abbr.cs | MFF | cs_CZ |
uk.degree-discipline.cs | Obecná matematika | cs_CZ |
uk.degree-discipline.en | General Mathematics | en_US |
uk.degree-program.cs | Matematika | cs_CZ |
uk.degree-program.en | Mathematics | en_US |
thesis.grade.cs | Výborně | cs_CZ |
thesis.grade.en | Excellent | en_US |
uk.abstract.cs | Nazev pram: Defiuovatelnost v matrnnatickych struktnrneh Auiur: Pave! Patak Kat.odra: Katedra algebry Vedouci bakalafske prace: Prof. R.XDr. Jan Krajicek, DrSc. e-mail vedouciho: krajicek'Q'math.cas.cz AbytrakL: V pfedlo/.ene praci so zabyvame popisem definovatelnych nmozin v ruznych matematickych st.rukturaeh. Ukazujerne, zo defiuovatelne mnoziny v pfirozenych, celych a racionalnich cfslcch inohon byt volico kompliko- vann. naproti toinn dnfiiiovatolnr mnoziny ve .striiktnrach s {'liininari kvanti- fikatoru (reaina, komplexni cfsla,. - . ) JHOU jcdnoduclic. Vciinjoino se i pojinu modolovo I'iplnosti. S poinoci zfskanych poznatku a vo.ty o nplno.sti pak snadno dokazeme nektere obtizne vety jinych disciplin - alji,ebraickou Xnll- stollcnsatz a Artinovn charaktorizaci pozitivnr dofinitnicb racionalnfcli fimkoi, geometrickou Tarski-Seidenbergovn vetn a ninohc dalyi. Klicova slova: nmtematicke sl.rnktnry, dcliiiuvatelnost, eliminace kvantilika- toru Title: DcfinnViility in inatlioinatica.l structures Author: Pavel Patak Department: Department of Algebra Supervisor: Prof. RNDr. Jan Krajirek, DrSc. Supervisor's e-mail address: kra.jicokv'iJina.lb.cas.cz Abstract: In t,be present work we study the description of definable sets in various mathematical structures. We show that, the definable sets in natural, integer... | cs_CZ |
uk.abstract.en | Nazev pram: Defiuovatelnost v matrnnatickych struktnrneh Auiur: Pave! Patak Kat.odra: Katedra algebry Vedouci bakalafske prace: Prof. R.XDr. Jan Krajicek, DrSc. e-mail vedouciho: krajicek'Q'math.cas.cz AbytrakL: V pfedlo/.ene praci so zabyvame popisem definovatelnych nmozin v ruznych matematickych st.rukturaeh. Ukazujerne, zo defiuovatelne mnoziny v pfirozenych, celych a racionalnich cfslcch inohon byt volico kompliko- vann. naproti toinn dnfiiiovatolnr mnoziny ve .striiktnrach s {'liininari kvanti- fikatoru (reaina, komplexni cfsla,. - . ) JHOU jcdnoduclic. Vciinjoino se i pojinu modolovo I'iplnosti. S poinoci zfskanych poznatku a vo.ty o nplno.sti pak snadno dokazeme nektere obtizne vety jinych disciplin - alji,ebraickou Xnll- stollcnsatz a Artinovn charaktorizaci pozitivnr dofinitnicb racionalnfcli fimkoi, geometrickou Tarski-Seidenbergovn vetn a ninohc dalyi. Klicova slova: nmtematicke sl.rnktnry, dcliiiuvatelnost, eliminace kvantilika- toru Title: DcfinnViility in inatlioinatica.l structures Author: Pavel Patak Department: Department of Algebra Supervisor: Prof. RNDr. Jan Krajirek, DrSc. Supervisor's e-mail address: kra.jicokv'iJina.lb.cas.cz Abstract: In t,be present work we study the description of definable sets in various mathematical structures. We show that, the definable sets in natural, integer... | en_US |
uk.publication.place | Praha | cs_CZ |
uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra algebry | cs_CZ |
dc.identifier.lisID | 990010013600106986 | |