{"id":846,"date":"2016-07-10T15:05:15","date_gmt":"2016-07-10T12:05:15","guid":{"rendered":"http:\/\/stwww1.weizmann.ac.il\/?page_id=846"},"modified":"2021-04-06T18:08:08","modified_gmt":"2021-04-06T15:08:08","slug":"%d7%9c%d7%9e%d7%99%d7%93%d7%94-%d7%9c%d7%95%d7%92%d7%99%d7%aa-%d7%9e%d7%aa%d7%9e%d7%98%d7%99%d7%aa","status":"publish","type":"page","link":"https:\/\/stwww1.weizmann.ac.il\/?page_id=846","title":{"rendered":"\u05dc\u05de\u05d9\u05d3\u05d4 \u05dc\u05d5\u05d2\u05d9\u05ea \u05de\u05ea\u05de\u05d8\u05d9\u05ea"},"content":{"rendered":"<h2>\u05dc\u05de\u05d9\u05d3\u05d4 \u05dc\u05d5\u05d2\u05d9\u05ea \u05de\u05ea\u05de\u05d8\u05d9\u05ea<\/h2>\n<h3>\u05e6\u05d5\u05d5\u05ea \u05de\u05d5\u05d1\u05d9\u05dc<\/h3>\n<ul>\n<li><a href=\"http:\/\/www.weizmann.ac.il\/sci-tea\/benari\/\" target=\"_blank\" rel=\"noopener noreferrer\">\u05e4\u05e8\u05d5\u05e4' \u05d0\u05de\u05e8\u05d9\u05d8\u05d5\u05e1 \u05de\u05d5\u05d8\u05d9 \u05d1\u05df \u05d0\u05e8\u05d9<\/a><\/li>\n<\/ul>\n<h3>\u05ea\u05e7\u05e6\u05d9\u05e8<\/h3>\n<p>\u05db\u05ea\u05d1\u05ea\u05d9 \u05de\u05d4\u05d3\u05d5\u05e8\u05d4 \u05d7\u05d3\u05e9\u05d4 \u05e9\u05dc \u05e1\u05e4\u05e8 \u05d4\u05dc\u05d9\u05de\u05d5\u05d3 \u05d1\u05e0\u05d5\u05e9\u05d0 \u05d4\u05db\u05d5\u05dc\u05dc \u05e0\u05d5\u05e9\u05d0\u05d9\u05dd \u05d7\u05d3\u05e9\u05d9\u05dd \u05d5\u05d7\u05e9\u05d5\u05d1\u05d9\u05dd, \u05d5\u05d1\u05de\u05d9\u05d5\u05d7\u05d3, \u05d0\u05dc\u05d2\u05d5\u05e8\u05d9\u05ea\u05de\u05d9\u05dd \u05dc\u05e4\u05ea\u05e8\u05d5\u05df \u05e9\u05dc \u05d1\u05e2\u05d9\u05d9\u05ea SAT. \u05e4\u05d9\u05ea\u05d7\u05ea\u05d9 \u05db\u05dc\u05d9 \u05de\u05de\u05d5\u05d7\u05e9\u05d1 LearnSAT \u05db\u05d3\u05d9 \u05dc\u05ea\u05de\u05d5\u05da \u05d1\u05e1\u05d8\u05d5\u05d3\u05e0\u05d8\u05d9\u05dd \u05d4\u05dc\u05de\u05d5\u05d3\u05d9\u05dd \u05e0\u05d5\u05e9\u05d0 \u05d6\u05d4.<\/p>\n<h3>\u05dc\u05e7\u05e8\u05d9\u05d0\u05d4 \u05e0\u05d5\u05e1\u05e4\u05ea:<\/h3>\n<div dir=\"ltr\">\n<ul>\n<li><a href=\"http:\/\/www.springer.com\/978-1-4471-4128-0\" target=\"_blank\" rel=\"noopener\">M. Ben-Ari. Mathematical Logic for Computer Science (Third Edition). Springer, 2012<\/a>.<\/li>\n<li><a href=\"http:\/\/link.springer.com\/chapter\/10.1007\/978-3-642-39071-5_30\" target=\"_blank\" rel=\"noopener\">M. Ben-Ari. LearnSAT: A SAT Solver for Education. 16th International Conference on Theory and Applications of Satisfiability Testing, Springer LNCS 7962, pp. 403\u2013407, 2013.<\/a><\/li>\n<li><a href=\"https:\/\/code.google.com\/p\/mlcs\/\" target=\"_blank\" rel=\"noopener\">\u05d0\u05ea\u05e8 \u05d4\u05e4\u05e8\u05d5\u05d9\u05d9\u05e7\u05d8<\/a><\/li>\n<\/ul>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>\u05dc\u05de\u05d9\u05d3\u05d4 \u05dc\u05d5\u05d2\u05d9\u05ea \u05de\u05ea\u05de\u05d8\u05d9\u05ea<br \/>\n\u05e6\u05d5\u05d5\u05ea \u05de\u05d5\u05d1\u05d9\u05dc<\/p>\n<p>\u05e4\u05e8\u05d5\u05e4' \u05d0\u05de\u05e8\u05d9\u05d8\u05d5\u05e1 \u05de\u05d5\u05d8\u05d9 \u05d1\u05df \u05d0\u05e8\u05d9<\/p>\n<p>\u05ea\u05e7\u05e6\u05d9\u05e8<br \/>\n\u05db\u05ea\u05d1\u05ea\u05d9 \u05de\u05d4\u05d3\u05d5\u05e8\u05d4 \u05d7\u05d3\u05e9\u05d4 \u05e9\u05dc \u05e1\u05e4\u05e8 \u05d4\u05dc\u05d9\u05de\u05d5\u05d3 \u05d1\u05e0\u05d5\u05e9\u05d0 \u05d4\u05db\u05d5\u05dc\u05dc \u05e0\u05d5\u05e9\u05d0\u05d9\u05dd \u05d7\u05d3\u05e9\u05d9\u05dd \u05d5\u05d7\u05e9\u05d5\u05d1\u05d9\u05dd, \u05d5\u05d1\u05de\u05d9\u05d5\u05d7\u05d3, \u05d0\u05dc\u05d2\u05d5\u05e8\u05d9\u05ea\u05de\u05d9\u05dd \u05dc\u05e4\u05ea\u05e8\u05d5\u05df \u05e9\u05dc \u05d1\u05e2\u05d9\u05d9\u05ea SAT. \u05e4\u05d9\u05ea\u05d7\u05ea\u05d9 \u05db\u05dc\u05d9 \u05de\u05de\u05d5\u05d7\u05e9\u05d1 LearnSAT \u05db\u05d3\u05d9 \u05dc\u05ea\u05de\u05d5\u05da \u05d1\u05e1\u05d8\u05d5\u05d3\u05e0\u05d8\u05d9\u05dd \u05d4\u05dc\u05de\u05d5\u05d3\u05d9\u05dd \u05e0\u05d5\u05e9\u05d0 \u05d6\u05d4.<br \/>\n\u05dc\u05e7\u05e8\u05d9\u05d0\u05d4 \u05e0\u05d5\u05e1\u05e4\u05ea:<\/p>\n<p>\nM. Ben-Ari. Mathematical Logic for Computer Science (Third Edition). Springer, 2012.<br \/>\nM. Ben-Ari. LearnSAT: A SAT Solver for Education. 16th International Conference on Theory and Applications of Satisfiability Testing, Springer LNCS 7962, pp. 403\u2013407, 2013.<br \/>\n\u05d0\u05ea\u05e8 &#8230;<\/p>\n","protected":false},"author":5,"featured_media":0,"parent":1704,"menu_order":819,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"class_list":["post-846","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/stwww1.weizmann.ac.il\/index.php?rest_route=\/wp\/v2\/pages\/846"}],"collection":[{"href":"https:\/\/stwww1.weizmann.ac.il\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/stwww1.weizmann.ac.il\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/stwww1.weizmann.ac.il\/index.php?rest_route=\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/stwww1.weizmann.ac.il\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=846"}],"version-history":[{"count":5,"href":"https:\/\/stwww1.weizmann.ac.il\/index.php?rest_route=\/wp\/v2\/pages\/846\/revisions"}],"predecessor-version":[{"id":14629,"href":"https:\/\/stwww1.weizmann.ac.il\/index.php?rest_route=\/wp\/v2\/pages\/846\/revisions\/14629"}],"up":[{"embeddable":true,"href":"https:\/\/stwww1.weizmann.ac.il\/index.php?rest_route=\/wp\/v2\/pages\/1704"}],"wp:attachment":[{"href":"https:\/\/stwww1.weizmann.ac.il\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=846"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}