{"id":1939,"date":"2020-03-06T20:26:02","date_gmt":"2020-03-06T19:26:02","guid":{"rendered":"http:\/\/dniotwarte.uwb.edu.pl\/?page_id=1939"},"modified":"2023-03-15T10:07:35","modified_gmt":"2023-03-15T09:07:35","slug":"instytut-informatyki-wyklady","status":"publish","type":"page","link":"http:\/\/dniotwarte.uwb.edu.pl\/?page_id=1939","title":{"rendered":"Instytut Informatyki &#8211; wyk\u0142ady"},"content":{"rendered":"<p><!-- [events_list category=\"38\" limit=\"0\" year=\"2022\" ] --><\/p>\n<p><strong>Interaktywne \u0142amig\u0142\u00f3wki logiczne<\/strong><\/p>\n<p>Dr Adam Naumowicz<\/p>\n<p><strong>Forma:<\/strong> wyk\u0142ad\/prezentacja<\/p>\n<p>W trakcie wyk\u0142adu zademonstrowane zostan\u0105 dwie popularne \u0142amig\u0142\u00f3wki logiczne oraz ich prosta implementacja w postaci interaktywnej strony webowej. Do ich stworzenia wystarcz\u0105 nam podstawowe programy, takie jak dowolny edytor tekstu i przegl\u0105darka WWW z obs\u0142ug\u0105 j\u0119zyka JavaScript.<\/p>\n<p><strong>Miejsce:<\/strong> sala 2001<\/p>\n<p><strong>Czas Trwania:<\/strong> 45 min<\/p>\n<p><strong>Termin: <\/strong>24 marca 2023 (pi\u0105tek), 13:15<strong><br \/>\n<\/strong><\/p>\n<hr>\n<p><strong>Komputerowe dowodzenie twierdze\u0144 matematycznych<\/strong><\/p>\n<p>Dr Adam Naumowicz<\/p>\n<p><strong>Forma:<\/strong> wyk\u0142ad\/prezentacja<\/p>\n<p>Wyk\u0142ad wprowadza w tematyk\u0119 wykorzystania komputer\u00f3w do inteligentnego gromadzenia wiedzy matematycznej. Zaprezentowany zostanie system Mizar s\u0142u\u017c\u0105cy do interaktywnego tworzenia i sprawdzania poprawno\u015bci logicznej matematycznych dowod\u00f3w i formu\u0142owanych definicji.<\/p>\n<p><strong>Miejsce:<\/strong> sala 2001<\/p>\n<p><strong>Czas Trwania:<\/strong> 45 min<\/p>\n<p><strong>Termin: <\/strong>24 marca 2023 (pi\u0105tek), 14:15<strong><br \/>\n<\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Interaktywne \u0142amig\u0142\u00f3wki logiczne Dr Adam Naumowicz Forma: wyk\u0142ad\/prezentacja W trakcie wyk\u0142adu zademonstrowane zostan\u0105 dwie popularne \u0142amig\u0142\u00f3wki logiczne oraz ich prosta implementacja w postaci interaktywnej strony webowej. Do ich stworzenia wystarcz\u0105 nam podstawowe programy, takie jak dowolny edytor tekstu i przegl\u0105darka WWW z obs\u0142ug\u0105 j\u0119zyka JavaScript. Miejsce: sala 2001 Czas Trwania: 45 min Termin: 24 marca &hellip; <\/p>\n<p class=\"link-more\"><a href=\"http:\/\/dniotwarte.uwb.edu.pl\/?page_id=1939\" class=\"more-link\">Czytaj dalej<span class=\"screen-reader-text\"> \u201eInstytut Informatyki &#8211; wyk\u0142ady\u201d<\/span><\/a><\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ngg_post_thumbnail":0,"jetpack_post_was_ever_published":false,"footnotes":""},"categories":[],"tags":[],"class_list":["post-1939","page","type-page","status-publish","hentry"],"jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/P9I97i-vh","jetpack_likes_enabled":true,"jetpack-related-posts":[],"_links":{"self":[{"href":"http:\/\/dniotwarte.uwb.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/1939","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/dniotwarte.uwb.edu.pl\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/dniotwarte.uwb.edu.pl\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/dniotwarte.uwb.edu.pl\/index.php?rest_route=\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"http:\/\/dniotwarte.uwb.edu.pl\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1939"}],"version-history":[{"count":8,"href":"http:\/\/dniotwarte.uwb.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/1939\/revisions"}],"predecessor-version":[{"id":3240,"href":"http:\/\/dniotwarte.uwb.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/1939\/revisions\/3240"}],"wp:attachment":[{"href":"http:\/\/dniotwarte.uwb.edu.pl\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1939"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/dniotwarte.uwb.edu.pl\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1939"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/dniotwarte.uwb.edu.pl\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1939"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}