{"id":82,"date":"2021-10-05T07:55:55","date_gmt":"2021-10-05T05:55:55","guid":{"rendered":"http:\/\/sc52172.home.amu.edu.pl\/?page_id=82"},"modified":"2024-05-27T09:17:04","modified_gmt":"2024-05-27T07:17:04","slug":"metody-dowodzenia-twierdzen-i-automatyzacja-rozumowan","status":"publish","type":"page","link":"http:\/\/sc52172.home.amu.edu.pl\/?page_id=82","title":{"rendered":"Metody dowodzenia twierdze\u0144 i automatyzacja rozumowa\u0144"},"content":{"rendered":"\n<p>Materia\u0142y Prof. Jerzego Pogonowskiego:<\/p>\n\n\n\n<p><a href=\"https:\/\/logic.amu.edu.pl\/index.php\/Mdtiar\">Mdtiar &#8211; Zak\u0142ad Logiki Stosowanej (amu.edu.pl)<\/a><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p>Aktualizowana lista zagadnie\u0144 egzaminacyjnych:<\/p>\n\n\n\n<ol><li>Metody dowodzenia twierdze\u0144 i automatyzacji rozumowa\u0144 &#8211; kontekst historyczny.<\/li><li>Zbiory Hintikki, Lemat Hintikki.<\/li><li>W\u0142asno\u015b\u0107 niesprzeczno\u015bci, twierdzenie o istnieniu modelu. <\/li><li>Twierdzenie o dedukcji.<\/li><li>Dedukcja naturalna &#8211; normalizacja. <\/li><li>Rachunek lambda jako model obliczalno\u015bci.<\/li><li>Rachunek sekwent\u00f3w &#8211; twierdzenie o eliminacji ci\u0119cia.<\/li><li>II twierdzenie Godla.<\/li><li>Twierdzenia limitacyjne.<\/li><\/ol>\n","protected":false},"excerpt":{"rendered":"<p>Materia\u0142y Prof. Jerzego Pogonowskiego: Mdtiar &#8211; Zak\u0142ad Logiki Stosowanej (amu.edu.pl) Aktualizowana lista zagadnie\u0144 egzaminacyjnych: Metody dowodzenia twierdze\u0144 i automatyzacji rozumowa\u0144 &#8211; kontekst historyczny. Zbiory Hintikki, Lemat Hintikki. W\u0142asno\u015b\u0107 niesprzeczno\u015bci, twierdzenie o istnieniu modelu. Twierdzenie o dedukcji. Dedukcja naturalna &#8211; normalizacja. Rachunek lambda jako model obliczalno\u015bci. Rachunek sekwent\u00f3w &#8211; twierdzenie o eliminacji ci\u0119cia. II twierdzenie Godla. &hellip; <a href=\"http:\/\/sc52172.home.amu.edu.pl\/?page_id=82\" class=\"more-link\">Czytaj dalej <span class=\"screen-reader-text\">Metody dowodzenia twierdze\u0144 i automatyzacja rozumowa\u0144<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/82"}],"collection":[{"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=82"}],"version-history":[{"count":14,"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/82\/revisions"}],"predecessor-version":[{"id":339,"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/82\/revisions\/339"}],"wp:attachment":[{"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=82"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}