Problemy rozstrzygalne i nierozstrzygalne
| dc.contributor.author | Sar, Zuzanna | |
| dc.contributor.department | Wydział Matematyki Stosowanej | |
| dc.contributor.reviewer | Pilśniak, Monika | |
| dc.contributor.supervisor | Mielczarek, Dominik | |
| dc.date.available | 2020-11-27T12:03:18Z | |
| dc.date.defence | 2020-11-26 | |
| dc.description.type | praca magisterska | |
| dc.identifier.uri | https://repo.agh.edu.pl/handle/AGH/97376 | |
| dc.language.iso | pol | |
| dc.rights | Access rights reserved | |
| dc.rights.access | zastrzeżony dostęp | |
| dc.rights.accessNote | Brak zgody na udostępnienie pracy w czytelni Biblioteki Wydziałowej | |
| dc.rights.uri | https://repo.agh.edu.pl/info/restricted-access | |
| dc.subject | maszyna Turinga | pl |
| dc.subject | problem rozstrzygalny | pl |
| dc.subject | problem nierozstrzygalny | pl |
| dc.subject | problem stopu | pl |
| dc.subject | problem członkostwa | pl |
| dc.subject | automat ze stosem | pl |
| dc.subject | język bezkontekstowy | pl |
| dc.subject | historia obliczeń | pl |
| dc.title | Problemy rozstrzygalne i nierozstrzygalne | pl |
| dc.title.alternative | Decidable and undecidable problems | en |
| dc.type | praca dyplomowa | |
| dspace.entity.type | Publication | |
| thesis.degree.discipline | Matematyka (WMS) | pl |
| thesis.degree.fieldOfStudyInstanceCode | 7696 | |
| thesis.degree.formOfStudy | stacjonarne | pl |
| thesis.degree.grantor | Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie | pl |
| thesis.degree.level | studia drugiego stopnia | pl |
| thesis.degree.name | magister | pl |
| thesis.identifier.dxp | 265850 | |
| thesis.statusORPD | ORPPD2_sent |