{"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":"2026-10-07T07:48:25","modified_gmt":"2026-10-07T07:48:25","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:\/\/ktiml.mff.cuni.cz\/~svancara\/files\/sat-projekt.pdf\">zde<\/a>. Do <strong>25.10.<\/strong> zadejte sv\u00e9 preference na probl\u00e9my, do <strong>konce listopadu<\/strong> odevzdejte hotov\u00fd projekt jako odkaz na repozit\u00e1\u0159 do SISu.<\/p>\n\n\n\n<p><strong>P\u0159\u00edklady na cvi\u010den\u00ed<\/strong><\/p>\n\n\n\n<figure class=\"wp-block-table\"><table><tbody><tr><td>1. \u00davod do v\u00fdrokov\u00e9 logiky<\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady1.pdf\">priklady1.pdf<\/a><\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni1.pdf\">reseni1.pdf<\/a><\/td><\/tr><tr><td>2. S\u00e9mantika, vlastnosti teori\u00ed<\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady2.pdf\">priklady2.pdf<\/a><\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni2.pdf\">reseni2.pdf<\/a><\/td><\/tr><tr><td>3. Algebra v\u00fdrok\u016f, Probl\u00e9m SAT<\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady3.pdf\">priklady3.pdf<\/a><\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni3.pdf\">reseni3.pdf<\/a><\/td><\/tr><tr><td>4. Tablo metoda<\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady4.pdf\">priklady4.pdf<\/a><\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni4.pdf\">reseni4.pdf<\/a><\/td><\/tr><tr><td>5. Rezolu\u010dn\u00ed metoda<\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady5.pdf\">priklady5.pdf<\/a><\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni5.pdf\">reseni5.pdf<\/a><\/td><\/tr><tr><td>6. Z\u00e1klady predik\u00e1tov\u00e9 logiky<\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady6.pdf\">priklady6.pdf<\/a><\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni6.pdf\">reseni6.pdf<\/a><\/td><\/tr><tr><td>7. Vlastnosti struktur a teori\u00ed<\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady7.pdf\">priklady7.pdf<\/a><\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni7.pdf\">reseni7.pdf<\/a><\/td><\/tr><tr><td>8. Tablo metoda v predik\u00e1tov\u00e9 logice<\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady8.pdf\">priklady8.pdf<\/a><\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni8.pdf\">reseni8.pdf<\/a><\/td><\/tr><tr><td>9. P\u0159\u00edprava na rezoluci v PL<\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady9.pdf\">priklady9.pdf<\/a><\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni9.pdf\">reseni9.pdf<\/a><\/td><\/tr><tr><td>10. Rezolu\u010dn\u00ed metoda v PL<\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/priklady10.pdf\">priklady10.pdf<\/a><\/td><td><a href=\"https:\/\/github.com\/jbulin-mff-uk\/nail062\/raw\/main\/tutorial\/priklady\/reseni10.pdf\">reseni10.pdf<\/a><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p><strong>Co bylo probr\u00e1no<\/strong><\/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>St\u0159eda 9:00 S8<\/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\">30.9.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Prvn\u00ed cvi\u010den\u00ed p\u0159ed p\u0159edn\u00e1\u0161kou \ud83d\ude41 <\/li>\n\n\n\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>p\u0159\u00edklady 1<\/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\">7.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\u0159edchoz\u00ed hodin\u011b<\/li>\n\n\n\n<li>p\u0159\u00edklady 1<\/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\">14.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\">TBD<\/li>\n\n\n\n<li>p\u0159\u00edklady 2<\/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\">21.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\">TBD<\/li>\n\n\n\n<li>p\u0159\u00edklady 3<\/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\">28.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\">St\u00e1tn\u00ed sv\u00e1tek &#8211; 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\">4.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\">TBD<\/li>\n\n\n\n<li>p\u0159\u00edklady 4<\/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.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 VL<\/strong><\/li>\n\n\n\n<li>p\u0159\u00edklady 5<\/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.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\"><em>Nejsem v \u010cR, cvi\u010den\u00ed bude suplovan\u00e9<\/em><\/li>\n\n\n\n<li>TBD<\/li>\n\n\n\n<li>p\u0159\u00edklady 6<\/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\">25.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\">TBD<\/li>\n\n\n\n<li>p\u0159\u00edklady 7<\/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\">2.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\">TBD<\/li>\n\n\n\n<li>p\u0159\u00edklady 8<\/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.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\">TBD<\/li>\n\n\n\n<li>p\u0159\u00edklady 9<\/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.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\">TBD<\/li>\n\n\n\n<li>p\u0159\u00edklady 10<\/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.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>P\u00e1tek 9:00 S10<\/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\">Prvn\u00ed cvi\u010den\u00ed p\u0159ed p\u0159edn\u00e1\u0161kou \ud83d\ude41 <\/li>\n\n\n\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>p\u0159\u00edklady 1<\/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\">Pokra\u010dov\u00e1n\u00ed v p\u0159edchoz\u00ed hodin\u011b<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">p\u0159\u00edklady 1<\/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\">TBD<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">p\u0159\u00edklady 2<\/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\">TBD<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">p\u0159\u00edklady 3<\/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\">TBD<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">p\u0159\u00edklady 4<\/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\">Sportovn\u00ed den &#8211; 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\">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\"><strong>Test VL<\/strong><\/li>\n\n\n\n<li>p\u0159\u00edklady 5<\/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\"><em>Nejsem v \u010cR, cvi\u010den\u00ed bude suplovan\u00e9<\/em><\/li>\n\n\n\n<li>TBD<\/li>\n\n\n\n<li>p\u0159\u00edklady 6<\/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\">TBD<\/li>\n\n\n\n<li>p\u0159\u00edklady 7<\/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\">TBD<\/li>\n\n\n\n<li>p\u0159\u00edklady 8<\/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\">TBD<\/li>\n\n\n\n<li style=\"padding-top:0;padding-right:0;padding-bottom:0;padding-left:0\">p\u0159\u00edklady 9<\/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\">TBD<\/li>\n\n\n\n<li>p\u0159\u00edklady 10<\/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":8,"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/pages\/78\/revisions"}],"predecessor-version":[{"id":206,"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/pages\/78\/revisions\/206"}],"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}]}}