Simple view
Full metadata view
Authors
Statistics
Teoria zbiorów dziedzicznie skończonych jako przykład zastosowania języka logiki pierwszego rzędu
The theory of hereditarily finite sets as an example of an application of the first order logic language
logika matematyczna, logika pierwszego rzędu, aksjomaty, dowód formalny, zbiory dziedzicznie skończone, aksjomaty teorii mnogości
mathematical logic, first order logic, axioms, formal proof, hereditarily finite sets, set theory axioms
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.
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.en | 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. | pl |
| dc.abstract.pl | 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. | pl |
| dc.affiliation | Wydział Matematyki i Informatyki | pl |
| dc.area | obszar nauk ścisłych | pl |
| dc.contributor.advisor | Kosek, Marta - 129178 | pl |
| dc.contributor.author | Czubin, Adrianna | pl |
| dc.contributor.departmentbycode | UJK/WMI2 | pl |
| dc.contributor.reviewer | Kosek, Marta - 129178 | pl |
| dc.contributor.reviewer | Szczepański, Jerzy - 100172 | pl |
| dc.date.accessioned | 2022-07-08T22:24:24Z | |
| dc.date.available | 2022-07-08T22:24:24Z | |
| dc.date.submitted | 2022-07-07 | pl |
| dc.fieldofstudy | matematyka | pl |
| dc.identifier.apd | diploma-160693-245555 | pl |
| dc.identifier.uri | https://ruj.uj.edu.pl/xmlui/handle/item/295864 | |
| dc.language | pol | pl |
| dc.subject.en | mathematical logic, first order logic, axioms, formal proof, hereditarily finite sets, set theory axioms | pl |
| dc.subject.pl | logika matematyczna, logika pierwszego rzędu, aksjomaty, dowód formalny, zbiory dziedzicznie skończone, aksjomaty teorii mnogości | pl |
| dc.title | Teoria zbiorów dziedzicznie skończonych jako przykład zastosowania języka logiki pierwszego rzędu | pl |
| dc.title.alternative | The theory of hereditarily finite sets as an example of an application of the first order logic language | pl |
| dc.type | master | pl |
| dspace.entity.type | Publication |