{"id":118,"date":"2018-10-15T19:25:02","date_gmt":"2018-10-15T17:25:02","guid":{"rendered":"http:\/\/calculemus.org\/fi4\/?page_id=118"},"modified":"2018-10-15T19:25:50","modified_gmt":"2018-10-15T17:25:50","slug":"janasz","status":"publish","type":"page","link":"https:\/\/calculemus.org\/fi4\/janasz\/","title":{"rendered":"Marek Janasz (UP)<br><i>Por\u00f3wnanie metod algebraicznych i syntetycznych automatycznego dowodzenia twierdzen na przyk\u0142adzie twierdze\u0144 Euklidesa i Kartezjusza<\/i>"},"content":{"rendered":"<p>W obliczu przemian technologicznych i post\u0119puj\u0105cej cyfryzacji matematycy-teoretycy coraz cz\u0119\u015bciej i ch\u0119tniej wspomagaj\u0105 si\u0119 w pracy naukowej narz\u0119dziami informatycznymi. Tyczy si\u0119 to tak\u017ce dowodzenia twierdze\u0144. Dwie klasy metod dowodzenia twierdze\u0144 geometrycznych: algebraiczna i syntetyczna wymagaja odmiennych, predefiniowanych narz\u0119dzi informatycznych.<\/p>\n<p>Celem wyst\u0105pienia b\u0119dzie zwr\u00f3cenie szczeg\u00f3lnej uwagi na r\u00f3\u017cnice, ale tak\u017ce i podobie\u0144stwa u\u017cytych metod. Zestawieniem zostan\u0105 obj\u0119te obszary samej struktury dowodu i sposobu jego uzyskania, jak i narz\u0119dzi informatycznych, u\u017cytych w procesie dowodzenia. Materia\u0142em, kt\u00f3ry zostanie wykorzystany do zilustrowania powy\u017cszych metod, b\u0119d\u0105 wybrane twierdzenia ksi\u0119gi VI \u201eElement\u00f3w\u201d Euklidesa oraz \u201eArytmetyka odcink\u00f3w\u201d Kartezjusza. \u015arodowiskami informatycznymi, wykorzystywanymi w powy\u017cszym wyst\u0105pieniu, b\u0119d\u0105 WinGCLC oraz Singular.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>W obliczu przemian technologicznych i post\u0119puj\u0105cej cyfryzacji matematycy-teoretycy coraz cz\u0119\u015bciej i ch\u0119tniej wspomagaj\u0105 si\u0119 w pracy naukowej narz\u0119dziami informatycznymi. Tyczy si\u0119 to tak\u017ce dowodzenia twierdze\u0144. Dwie klasy metod dowodzenia twierdze\u0144 geometrycznych: algebraiczna i syntetyczna wymagaja odmiennych, predefiniowanych narz\u0119dzi informatycznych. Celem &hellip; <a href=\"https:\/\/calculemus.org\/fi4\/janasz\/\">Czytaj dalej <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"onecolumn-page.php","meta":[],"_links":{"self":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/118"}],"collection":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/comments?post=118"}],"version-history":[{"count":1,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/118\/revisions"}],"predecessor-version":[{"id":119,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/118\/revisions\/119"}],"wp:attachment":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/media?parent=118"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}