Teoria zbiorów dziedzicznie skończonych jako przykład zastosowania języka logiki pierwszego rzędu

master
dc.abstract.enThe subject of this work is related to the mathematical logic. It contains information about the language of first order logic and elements of the theory of hereditarily finite sets. This theory is described in a first order language and derived formally from a set of axioms, so it is used as an example to illustrate the information presented earlier.pl
dc.abstract.plTematyka pracy jest związana z logiką matematyczną. Zostały w niej przedstawione informacje dotyczące języka logiki pierwszego rzędu oraz elementy teorii zbiorów dziedzicznie skończonych. Teoria ta opisana jest w pewnym języku pierwszego rzędu i wyprowadzona w sposób formalny ze zbioru aksjomatów, dlatego posłużyła jako przykład obrazujący zaprezentowane wcześniej informacje.pl
dc.affiliationWydział Matematyki i Informatykipl
dc.areaobszar nauk ścisłychpl
dc.contributor.advisorKosek, Marta - 129178 pl
dc.contributor.authorCzubin, Adriannapl
dc.contributor.departmentbycodeUJK/WMI2pl
dc.contributor.reviewerKosek, Marta - 129178 pl
dc.contributor.reviewerSzczepański, Jerzy - 100172 pl
dc.date.accessioned2022-07-08T22:24:24Z
dc.date.available2022-07-08T22:24:24Z
dc.date.submitted2022-07-07pl
dc.fieldofstudymatematykapl
dc.identifier.apddiploma-160693-245555pl
dc.identifier.urihttps://ruj.uj.edu.pl/xmlui/handle/item/295864
dc.languagepolpl
dc.subject.enmathematical logic, first order logic, axioms, formal proof, hereditarily finite sets, set theory axiomspl
dc.subject.pllogika matematyczna, logika pierwszego rzędu, aksjomaty, dowód formalny, zbiory dziedzicznie skończone, aksjomaty teorii mnogościpl
dc.titleTeoria zbiorów dziedzicznie skończonych jako przykład zastosowania języka logiki pierwszego rzędupl
dc.title.alternativeThe theory of hereditarily finite sets as an example of an application of the first order logic languagepl
dc.typemasterpl
dspace.entity.typePublication
dc.abstract.enpl
The subject of this work is related to the mathematical logic. It contains information about the language of first order logic and elements of the theory of hereditarily finite sets. This theory is described in a first order language and derived formally from a set of axioms, so it is used as an example to illustrate the information presented earlier.
dc.abstract.plpl
Tematyka pracy jest związana z logiką matematyczną. Zostały w niej przedstawione informacje dotyczące języka logiki pierwszego rzędu oraz elementy teorii zbiorów dziedzicznie skończonych. Teoria ta opisana jest w pewnym języku pierwszego rzędu i wyprowadzona w sposób formalny ze zbioru aksjomatów, dlatego posłużyła jako przykład obrazujący zaprezentowane wcześniej informacje.
dc.affiliationpl
Wydział Matematyki i Informatyki
dc.areapl
obszar nauk ścisłych
dc.contributor.advisorpl
Kosek, Marta - 129178
dc.contributor.authorpl
Czubin, Adrianna
dc.contributor.departmentbycodepl
UJK/WMI2
dc.contributor.reviewerpl
Kosek, Marta - 129178
dc.contributor.reviewerpl
Szczepański, Jerzy - 100172
dc.date.accessioned
2022-07-08T22:24:24Z
dc.date.available
2022-07-08T22:24:24Z
dc.date.submittedpl
2022-07-07
dc.fieldofstudypl
matematyka
dc.identifier.apdpl
diploma-160693-245555
dc.identifier.uri
https://ruj.uj.edu.pl/xmlui/handle/item/295864
dc.languagepl
pol
dc.subject.enpl
mathematical logic, first order logic, axioms, formal proof, hereditarily finite sets, set theory axioms
dc.subject.plpl
logika matematyczna, logika pierwszego rzędu, aksjomaty, dowód formalny, zbiory dziedzicznie skończone, aksjomaty teorii mnogości
dc.titlepl
Teoria zbiorów dziedzicznie skończonych jako przykład zastosowania języka logiki pierwszego rzędu
dc.title.alternativepl
The theory of hereditarily finite sets as an example of an application of the first order logic language
dc.typepl
master
dspace.entity.type
Publication

* The migration of download and view statistics prior to the date of April 8, 2024 is in progress.

Views
3
Views per month
Views per city
Gdynia
1
Warsaw
1

No access

No Thumbnail Available
Collections