{"id":105,"date":"2018-10-14T20:32:53","date_gmt":"2018-10-14T18:32:53","guid":{"rendered":"http:\/\/calculemus.org\/fi4\/?page_id=105"},"modified":"2018-10-14T20:32:53","modified_gmt":"2018-10-14T18:32:53","slug":"strzelecki","status":"publish","type":"page","link":"https:\/\/calculemus.org\/fi4\/strzelecki\/","title":{"rendered":"Jaros\u0142aw Strzelecki (UWM)<br><i>Filozofia in silico. Modele deklaratywne.<\/i>"},"content":{"rendered":"<p>W naukach biologicznych wyr\u00f3\u017cnia si\u0119 mi\u0119dzy innymi dwie metody prowadzenia bada\u0144: in vivo oraz in vitro. Pierwsza z nich etymologicznie znaczy tyle co ,,na \u017cywym&#8221;, a donosi si\u0119 do bada\u0144 prowadzonych na \u017cywym organizmie. Druga metoda etymologicznie znaczy ,,w szkle&#8221;, a polega na prowadzeniu bada\u0144 poza organizmem. W drugiej po\u0142owie XX wieku zacz\u0119to stosowa\u0107 metod\u0119 in silico, kt\u00f3ra etymologicznie znaczy ,,w krzemie&#8221;, a polega na badaniach przeprowadzanych za pomoc\u0105 komputera.<\/p>\n<p>Przez analogi\u0119 do metody in silico w naukach biologicznych, mo\u017cna zbudowa\u0107 filozofi\u0119 in silico, kt\u00f3ra zajmowa\u0142by si\u0119 szeroko poj\u0119t\u0105 wirtualizacj\u0105 zagadnie\u0144 filozoficznych. Wydaje si\u0119, \u017ce odpowiedni\u0105 podstaw\u0105 informatyczn\u0105 dla tego zadania s\u0105 dwa paradygmaty programowania: programowanie obiektowe oraz programowanie deklaratywne, w sk\u0142ad kt\u00f3rego wchodzi programowanie funkcyjne i logiczne. A j\u0119zykami, kt\u00f3re mog\u0105 by\u0107 pomocne, s\u0105 Python (sprawdzaj\u0105cy si\u0119 w programowaniu obiektowym i funkcyjnym), Haskell (j\u0119zyk programowania funkcyjnego) oraz Prolog (j\u0119zyk programowania w logice).<\/p>\n<p>Referat b\u0119dzie prezentacj\u0105 podstawowych za\u0142o\u017ce\u0144 filozofii in silico wraz z przedstawieniem pewnych wirtualnych model\u00f3w filozoficznych.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>W naukach biologicznych wyr\u00f3\u017cnia si\u0119 mi\u0119dzy innymi dwie metody prowadzenia bada\u0144: in vivo oraz in vitro. Pierwsza z nich etymologicznie znaczy tyle co ,,na \u017cywym&#8221;, a donosi si\u0119 do bada\u0144 prowadzonych na \u017cywym organizmie. Druga metoda etymologicznie znaczy ,,w szkle&#8221;, &hellip; <a href=\"https:\/\/calculemus.org\/fi4\/strzelecki\/\">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\/105"}],"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=105"}],"version-history":[{"count":1,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/105\/revisions"}],"predecessor-version":[{"id":106,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/105\/revisions\/106"}],"wp:attachment":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/media?parent=105"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}