Simple view
Full metadata view
Authors
Statistics
Gęstość tautologii w języku pierwszego rzędu z jednym predykatem binarnym.
On the density of tautologies in the first order language with one binary predicate.
logika pierwszego rzędu, badania ilościowe w logice
first order logic, quantitative methods in logic
W pracy badam gęstość występowania tautologii wśród wszystkich domkniętych formuł w logice pierwszego rzędu z jednym binarnym predykatem. Rozważamy język składający się z implikacji, negacji, koniunkcji, alternatywy, symbolu predykatu binarnego oraz kwantyfikatora ogólnego. Wykazałem, że jeśli gęstość istnieje, to jest ona niezerowa. Metody, którymi posługuję się w pracy stanowią rozszerzenie metod użytych do badania gęstości silnie lambda termów o własności silnej normalizacji.
In the paper we study the density of tautologies among the set of all closed first order formulas with one binary predicate. We consider a language with symbols of implication, negation, conjunction, alternative, a binary predicate and an universal quantifier. We proved that, if such a density exists, then it is nonzero. Methods that were applied are an extension of methods used to investigate the density of lambda terms with strong normalization property.
| dc.abstract.en | In the paper we study the density of tautologies among the set of all closed first order formulas with one binary predicate. We consider a language with symbols of implication, negation, conjunction, alternative, a binary predicate and an universal quantifier. We proved that, if such a density exists, then it is nonzero. Methods that were applied are an extension of methods used to investigate the density of lambda terms with strong normalization property. | pl |
| dc.abstract.pl | W pracy badam gęstość występowania tautologii wśród wszystkich domkniętych formuł w logice pierwszego rzędu z jednym binarnym predykatem. Rozważamy język składający się z implikacji, negacji, koniunkcji, alternatywy, symbolu predykatu binarnego oraz kwantyfikatora ogólnego. Wykazałem, że jeśli gęstość istnieje, to jest ona niezerowa. Metody, którymi posługuję się w pracy stanowią rozszerzenie metod użytych do badania gęstości silnie lambda termów o własności silnej normalizacji. | pl |
| dc.affiliation | Wydział Matematyki i Informatyki | pl |
| dc.area | obszar nauk ścisłych | pl |
| dc.contributor.advisor | Grygiel, Katarzyna | pl |
| dc.contributor.author | Wójcik, Piotr | pl |
| dc.contributor.departmentbycode | UJK/WMI2 | pl |
| dc.contributor.reviewer | Grygiel, Katarzyna | pl |
| dc.contributor.reviewer | Zaionc, Marek - 132832 | pl |
| dc.date.accessioned | 2020-07-27T02:35:31Z | |
| dc.date.available | 2020-07-27T02:35:31Z | |
| dc.date.submitted | 2016-09-20 | pl |
| dc.fieldofstudy | informatyka analityczna | pl |
| dc.identifier.apd | diploma-109895-96451 | pl |
| dc.identifier.project | APD / O | pl |
| dc.identifier.uri | https://ruj.uj.edu.pl/xmlui/handle/item/215927 | |
| dc.language | pol | pl |
| dc.subject.en | first order logic, quantitative methods in logic | pl |
| dc.subject.pl | logika pierwszego rzędu, badania ilościowe w logice | pl |
| dc.title | Gęstość tautologii w języku pierwszego rzędu z jednym predykatem binarnym. | pl |
| dc.title.alternative | On the density of tautologies in the first order language with one binary predicate. | pl |
| dc.type | master | pl |
| dspace.entity.type | Publication |