{"id":78,"date":"2025-09-17T11:15:18","date_gmt":"2025-09-17T11:15:18","guid":{"rendered":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/?page_id=78"},"modified":"2025-10-06T08:51:54","modified_gmt":"2025-10-06T08:51:54","slug":"vpl","status":"publish","type":"page","link":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/teaching\/vpl\/","title":{"rendered":"V\u00fdrokov\u00e1 a predik\u00e1tov\u00e1 logika"},"content":{"rendered":"\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n<nav class=\"is-responsive wp-block-navigation is-layout-flex wp-block-navigation-is-layout-flex\" aria-label=\"Navigation\" \n\t\t data-wp-interactive=\"core\/navigation\" data-wp-context='{\"overlayOpenedBy\":{\"click\":false,\"hover\":false,\"focus\":false},\"type\":\"overlay\",\"roleAttribute\":\"\",\"ariaLabel\":\"Menu\"}'><button aria-haspopup=\"dialog\" aria-label=\"Open menu\" class=\"wp-block-navigation__responsive-container-open\" \n\t\t\t\tdata-wp-on-async--click=\"actions.openMenuOnClick\"\n\t\t\t\tdata-wp-on--keydown=\"actions.handleMenuKeydown\"\n\t\t\t><svg width=\"24\" height=\"24\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 24 24\" aria-hidden=\"true\" focusable=\"false\"><rect x=\"4\" y=\"7.5\" width=\"16\" height=\"1.5\" \/><rect x=\"4\" y=\"15\" width=\"16\" height=\"1.5\" \/><\/svg><\/button>\n\t\t\t\t<div class=\"wp-block-navigation__responsive-container\"  id=\"modal-1\" \n\t\t\t\tdata-wp-class--has-modal-open=\"state.isMenuOpen\"\n\t\t\t\tdata-wp-class--is-menu-open=\"state.isMenuOpen\"\n\t\t\t\tdata-wp-watch=\"callbacks.initMenu\"\n\t\t\t\tdata-wp-on--keydown=\"actions.handleMenuKeydown\"\n\t\t\t\tdata-wp-on-async--focusout=\"actions.handleMenuFocusout\"\n\t\t\t\ttabindex=\"-1\"\n\t\t\t>\n\t\t\t\t\t<div class=\"wp-block-navigation__responsive-close\" tabindex=\"-1\">\n\t\t\t\t\t\t<div class=\"wp-block-navigation__responsive-dialog\" \n\t\t\t\tdata-wp-bind--aria-modal=\"state.ariaModal\"\n\t\t\t\tdata-wp-bind--aria-label=\"state.ariaLabel\"\n\t\t\t\tdata-wp-bind--role=\"state.roleAttribute\"\n\t\t\t>\n\t\t\t\t\t\t\t<button aria-label=\"Close menu\" class=\"wp-block-navigation__responsive-container-close\" \n\t\t\t\tdata-wp-on-async--click=\"actions.closeMenuOnClick\"\n\t\t\t><svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 24 24\" width=\"24\" height=\"24\" aria-hidden=\"true\" focusable=\"false\"><path d=\"m13.06 12 6.47-6.47-1.06-1.06L12 10.94 5.53 4.47 4.47 5.53 10.94 12l-6.47 6.47 1.06 1.06L12 13.06l6.47 6.47 1.06-1.06L13.06 12Z\"><\/path><\/svg><\/button>\n\t\t\t\t\t\t\t<div class=\"wp-block-navigation__responsive-container-content\" \n\t\t\t\tdata-wp-watch=\"callbacks.focusFirstElement\"\n\t\t\t id=\"modal-1-content\">\n\t\t\t\t\t\t\t\t<ul class=\"wp-block-navigation__container is-responsive wp-block-navigation\"><li class=\" wp-block-navigation-item wp-block-navigation-link\"><a class=\"wp-block-navigation-item__content\"  href=\"https:\/\/ktiml.mff.cuni.cz\/~svancara\/\"><span class=\"wp-block-navigation-item__label\">Home<\/span><\/a><\/li><li class=\" wp-block-navigation-item wp-block-navigation-link\"><a class=\"wp-block-navigation-item__content\"  href=\"https:\/\/ktiml.mff.cuni.cz\/~svancara\/teaching\/\"><span class=\"wp-block-navigation-item__label\">Teaching<\/span><\/a><\/li><li class=\" wp-block-navigation-item wp-block-navigation-link\"><a class=\"wp-block-navigation-item__content\"  href=\"https:\/\/ktiml.mff.cuni.cz\/~svancara\/publications\/\"><span class=\"wp-block-navigation-item__label\">Publications<\/span><\/a><\/li><li class=\" wp-block-navigation-item wp-block-navigation-link\"><a class=\"wp-block-navigation-item__content\"  href=\"https:\/\/ktiml.mff.cuni.cz\/~svancara\/thesis_topics\/\"><span class=\"wp-block-navigation-item__label\">Thesis topics<\/span><\/a><\/li><\/ul>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div><\/nav>\n\n\n<hr class=\"wp-block-separator alignwide has-alpha-channel-opacity\"\/>\n\n\n\n<div class=\"wp-block-columns alignwide is-layout-flex wp-container-core-columns-is-layout-28f84493 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p class=\"has-x-large-font-size\"><strong>V\u00fdrokov\u00e1 a predik\u00e1tov\u00e1 logika<\/strong><\/p>\n\n\n\n<p>Cvi\u010den\u00ed k p\u0159edn\u00e1\u0161ce&nbsp;<a href=\"https:\/\/jbulin.github.io\/teaching\/fall\/nail062\/\">V\u00fdrokov\u00e1 a predik\u00e1tov\u00e1 logika<\/a><\/p>\n\n\n\n<p><strong>Organizace<\/strong><\/p>\n\n\n\n<p>K z\u00edsk\u00e1n\u00ed z\u00e1po\u010dtu je t\u0159eba z\u00edskat celkem alespo\u0148 140 bod\u016f (z 250 mo\u017en\u00fdch), a z\u00e1rove\u0148 alespo\u0148 40 bod\u016f z ka\u017ed\u00e9ho z test\u016f.<\/p>\n\n\n\n<p>V pr\u016fb\u011bhu semestru budou dva z\u00e1po\u010dtov\u00e9 testy (na 45 minut). Prvn\u00ed (zhruba v polovin\u011b semestru) bude pokr\u00fdvat \u010d\u00e1st p\u0159edn\u00e1\u0161ky \u201cV\u00fdrokov\u00e1 logika\u201d (<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/sample-tests\/vzorovy-test-vyrokova-logika.pdf\">vzorov\u00fd test<\/a>), druh\u00fd (ke konci semestru) \u010d\u00e1st p\u0159edn\u00e1\u0161ky \u201cPredik\u00e1tov\u00e1 logika\u201d(<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/sample-tests\/vzorovy-test-predikatova-logika.pdf\">vzorov\u00fd test<\/a>). Za ka\u017ed\u00fd z test\u016f lze z\u00edskat maxim\u00e1ln\u011b 100 bod\u016f. Pro ka\u017ed\u00fd z test\u016f budete m\u00edt n\u00e1rok na jeden opravn\u00fd pokus na za\u010d\u00e1tku zkou\u0161kov\u00e9ho obdob\u00ed. \u017d\u00e1dn\u00e9 dal\u0161\u00ed opravn\u00e9 mo\u017enosti nebudou. Krom\u011b test\u016f lze z\u00edskat a\u017e 40 bod\u016f za projekt na aplikaci SAT solveru a 10 bod\u016f za aktivitu na hodin\u00e1ch.<\/p>\n\n\n\n<p>\u00da\u010dast na cvi\u010den\u00ed nen\u00ed povinn\u00e1, nicm\u00e9n\u011b je velice doporu\u010dovan\u00e1, proto\u017ee se na cvi\u010den\u00ed v\u011bt\u0161inou dozv\u00edte u\u017eite\u010dn\u00e9 rady, kter\u00e9 v\u00e1m usnadn\u00ed \u0159e\u0161en\u00ed z\u00e1po\u010dtov\u00fdch p\u00edsemek i projektu.<\/p>\n\n\n\n<p><strong>SAT projekt<\/strong><\/p>\n\n\n\n<p>Podrobn\u00e9 zad\u00e1n\u00ed projektu naleznete&nbsp;<a href=\"https:\/\/jbulin.github.io\/teaching\/fall\/nail062\/cviceni\/sat-project.html\">zde<\/a>. Do <strong>26.10.<\/strong> za\u0161lete sv\u00e9 preference na probl\u00e9my, do <strong>30.11.<\/strong> odevzdejte hotov\u00fd projekt mailem (zip nebo odkaz na repozit\u00e1\u0159).<\/p>\n\n\n\n<p>Je zak\u00e1z\u00e1no o \u00fakolech a\u017e do term\u00ednu odevzd\u00e1n\u00ed jak\u00fdmkoliv zp\u016fsobem komunikovat s k\u00fdmkoliv krom\u011b cvi\u010d\u00edc\u00edho. \u0158e\u0161en\u00ed mus\u00ed b\u00fdt 100% va\u0161\u00ed vlastn\u00ed prac\u00ed, a je va\u0161\u00ed povinnost\u00ed zajistit, \u017ee \u017e\u00e1dn\u00e1 dal\u0161\u00ed osoba nebude m\u00edt p\u0159\u00edstup k va\u0161emu \u0159e\u0161en\u00ed.<\/p>\n\n\n\n<p><strong>Co bylo probr\u00e1no<\/strong><\/p>\n\n\n\n<p>Zde bude kr\u00e1tk\u00e9 shrnut\u00ed ka\u017ed\u00e9 hodiny v\u010detn\u011b PDF se zad\u00e1n\u00edm p\u0159\u00edklad\u016f.<\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-columns alignwide is-layout-flex wp-container-core-columns-is-layout-28f84493 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p><strong>Pond\u011bl\u00ed 9:00 S7<\/strong><\/p>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">29.9.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Organizace, \u00favod do v\u00fdrokov\u00e9 logiky<\/li>\n\n\n\n<li><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady1.pdf\">priklady1.pdf<\/a>,&nbsp;<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni1.pdf\">reseni1.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">6.10.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Pokra\u010dov\u00e1n\u00ed v p\u0159ede\u0161l\u00e9m cvi\u010den\u00ed<\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">13.10.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Univerz\u00e1lnost logick\u00fdch spojek. P\u0159evod do CNF a DNF. Vlastnosti a extenze teori\u00ed.<\/li>\n\n\n\n<li><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady2.pdf\">priklady2.pdf<\/a>,\u00a0<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni2.pdf\">reseni2.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">20.10.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Po\u010d\u00edt\u00e1n\u00ed v\u00fdrok\u016f a\u017e na ekvivalenci. 2-SAT a implika\u010dn\u00ed graf. Horn-SAT a jednotkov\u00e1 propagace. Algoritmus DPLL. K\u00f3dov\u00e1n\u00ed probl\u00e9m\u016f do SAT.<\/li>\n\n\n\n<li><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady3.pdf\">priklady3.pdf<\/a>,\u00a0<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni3.pdf\">reseni3.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">27.10.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Tablo metoda ve v\u00fdrokov\u00e9 logice.<\/li>\n\n\n\n<li><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady4.pdf\">priklady4.pdf<\/a>,\u00a0<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni4.pdf\">reseni4.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">3.11.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Rezoluce ve v\u00fdrokov\u00e9 logice.<\/li>\n\n\n\n<li><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady5.pdf\">priklady5.pdf<\/a>,\u00a0<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni5.pdf\">reseni5.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">10.11.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\"><strong>Test z VL<\/strong><\/li>\n\n\n\n<li>\u00davod do predik\u00e1tov\u00e9 logiky. Syntaxe a s\u00e9mantika predik\u00e1tov\u00e9 logiky.<\/li>\n\n\n\n<li><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady6.pdf\">priklady6.pdf<\/a>,\u00a0<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni6.pdf\">reseni6.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">17.11.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">st\u00e1tn\u00ed sv\u00e1tek, odpad\u00e1!<\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">24.11.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Pokra\u010dov\u00e1n\u00ed z p\u0159ede\u0161l\u00e9ho cvi\u010den\u00ed<\/li>\n\n\n\n<li>Struktury a podstruktury. Extenze teori\u00ed. Extenze o definice. Definovateln\u00e9 mno\u017einy.<\/li>\n\n\n\n<li><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady7.pdf\">priklady7.pdf<\/a>,\u00a0<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni7.pdf\">reseni7.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">1.12.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Tablo metoda v predik\u00e1tov\u00e9 logice, jazyky s rovnost\u00ed. Aplikace V\u011bty o kompaktnosti.<\/li>\n\n\n\n<li><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady8.pdf\">priklady8.pdf<\/a>,\u00a0<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni8.pdf\">reseni8.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">8.12.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">P\u0159evod do PNF. Skolemizace. Herbrandova v\u011bta. Unifikace.<\/li>\n\n\n\n<li><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady9.pdf\">priklady9.pdf<\/a>,\u00a0<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni9.pdf\">reseni9.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">15.12.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Rezoluce v predik\u00e1tov\u00e9 logice.<\/li>\n\n\n\n<li><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady10.pdf\">priklady10.pdf<\/a>,\u00a0<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni10.pdf\">reseni10.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">5.1.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\"><strong>Test z PL<\/strong><\/li>\n<\/ul>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p><strong>\u010ctvrtek 10:40 S6<\/strong><\/p>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">2.10.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Organizace, \u00favod do v\u00fdrokov\u00e9 logiky<\/li>\n\n\n\n<li><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady1.pdf\">priklady1.pdf<\/a>,&nbsp;<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni1.pdf\">reseni1.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">9.10.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Univerz\u00e1lnost logick\u00fdch spojek. P\u0159evod do CNF a DNF. Vlastnosti a extenze teori\u00ed.<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\"><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady2.pdf\">priklady2.pdf<\/a>,&nbsp;<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni2.pdf\">reseni2.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">16.10.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Po\u010d\u00edt\u00e1n\u00ed v\u00fdrok\u016f a\u017e na ekvivalenci. 2-SAT a implika\u010dn\u00ed graf. Horn-SAT a jednotkov\u00e1 propagace. Algoritmus DPLL. K\u00f3dov\u00e1n\u00ed probl\u00e9m\u016f do SAT.<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\"><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady3.pdf\">priklady3.pdf<\/a>,&nbsp;<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni3.pdf\">reseni3.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">23.10.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Tablo metoda ve v\u00fdrokov\u00e9 logice.<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\"><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady4.pdf\">priklady4.pdf<\/a>,&nbsp;<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni4.pdf\">reseni4.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">30.10.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Rezoluce ve v\u00fdrokov\u00e9 logice.<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\"><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady5.pdf\">priklady5.pdf<\/a>,&nbsp;<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni5.pdf\">reseni5.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">6.11.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\"><strong>Test z VL<\/strong><\/li>\n\n\n\n<li>\u00davod do predik\u00e1tov\u00e9 logiky. Syntaxe a s\u00e9mantika predik\u00e1tov\u00e9 logiky.<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\"><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady6.pdf\">priklady6.pdf<\/a>,&nbsp;<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni6.pdf\">reseni6.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">13.11.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Pokra\u010dov\u00e1n\u00ed z p\u0159ede\u0161l\u00e9ho cvi\u010den\u00ed<\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">20.11.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Struktury a podstruktury. Extenze teori\u00ed. Extenze o definice. Definovateln\u00e9 mno\u017einy.<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\"><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady7.pdf\">priklady7.pdf<\/a>,&nbsp;<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni7.pdf\">reseni7.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">27.11.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Tablo metoda v predik\u00e1tov\u00e9 logice, jazyky s rovnost\u00ed. Aplikace V\u011bty o kompaktnosti.<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\"><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady8.pdf\">priklady8.pdf<\/a>,&nbsp;<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni8.pdf\">reseni8.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">4.12.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">P\u0159evod do PNF. Skolemizace. Herbrandova v\u011bta. Unifikace.<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\"><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady9.pdf\">priklady9.pdf<\/a>,&nbsp;<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni9.pdf\">reseni9.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">11.12.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Rezoluce v predik\u00e1tov\u00e9 logice.<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\"><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady10.pdf\">priklady10.pdf<\/a>,&nbsp;<a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni10.pdf\">reseni10.pdf<\/a><\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">18.12.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">Podle toho, co nestihneme<\/li>\n<\/ul>\n\n\n\n<p style=\"border-style:none;border-width:0px;padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">8.1.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\"><strong>Test z PL<\/strong><\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>V\u00fdrokov\u00e1 a predik\u00e1tov\u00e1 logika Cvi\u010den\u00ed k p\u0159edn\u00e1\u0161ce&nbsp;V\u00fdrokov\u00e1 a predik\u00e1tov\u00e1 logika Organizace K z\u00edsk\u00e1n\u00ed z\u00e1po\u010dtu je t\u0159eba z\u00edskat celkem alespo\u0148 140 bod\u016f (z 250 mo\u017en\u00fdch), a z\u00e1rove\u0148 alespo\u0148 40 bod\u016f z ka\u017ed\u00e9ho z test\u016f. V pr\u016fb\u011bhu semestru budou dva z\u00e1po\u010dtov\u00e9 testy (na 45 minut). Prvn\u00ed (zhruba v polovin\u011b semestru) bude pokr\u00fdvat \u010d\u00e1st p\u0159edn\u00e1\u0161ky \u201cV\u00fdrokov\u00e1 logika\u201d (vzorov\u00fd [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":16,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-78","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/pages\/78","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/comments?post=78"}],"version-history":[{"count":4,"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/pages\/78\/revisions"}],"predecessor-version":[{"id":95,"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/pages\/78\/revisions\/95"}],"up":[{"embeddable":true,"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/pages\/16"}],"wp:attachment":[{"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/media?parent=78"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}