{"id":148,"date":"2024-06-20T09:38:44","date_gmt":"2024-06-20T09:38:44","guid":{"rendered":"https:\/\/pietervanengelen.nl\/?p=148"},"modified":"2024-06-21T13:28:38","modified_gmt":"2024-06-21T13:28:38","slug":"church-turing-these-2-0","status":"publish","type":"post","link":"https:\/\/pietervanengelen.nl\/?p=148","title":{"rendered":"Church-Turing these 2.0"},"content":{"rendered":"\n<p>Op 20 juni was ik weer te gast bij de lerarenopleiding bij de Master Docent Wiskunde aan de Fontys Hogeschool in Sittard.<\/p>\n\n\n\n<p>De slides kun je <a href=\"http:\/\/pietervanengelen.nl\/wp-content\/uploads\/2024\/06\/20240619-Church-Turing.pdf\">hier<\/a> vinden.<\/p>\n\n\n\n<p>In het college hebben we gewerkt met een turing machine emulator, die te vinden is op <a href=\"http:\/\/turingmachine.io\">turingmachine.io<\/a><\/p>\n\n\n\n<p>De code voor de unaire optelling staat hieronder.<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>input: '11s111 '\nblank: ' '\nstart state: start\ntable:\n&nbsp; start:\n&nbsp; &nbsp; 1&nbsp; : {write: 1,&nbsp; R: start}\n&nbsp; &nbsp; s&nbsp; : {write: 1,&nbsp; R: A}\n&nbsp; A:\n&nbsp; &nbsp; 1&nbsp; : {write: 1,&nbsp; R: A}\n&nbsp; &nbsp; ' ': {write: ' ',L: B}\n&nbsp; B:\n&nbsp; &nbsp; 1&nbsp; : {write: ' ',L: C}\n&nbsp; C:\n&nbsp; &nbsp; 1&nbsp; : {write: 1&nbsp; ,L: C}\n&nbsp; &nbsp; ' ': {write: ' ',R: halt}\n&nbsp; halt:<\/code><\/pre>\n\n\n\n<p>Wanneer je met je leerlingen aan de slag wil met turingmachines, dan kun je bij WikiWijs een fijne lessenserie vinden. Let op: het materiaal is gedateerd, dus sommige links van dit materiaal werken niet meer. De wiskundige inhoud blijft natuurlijk tijdloos.<br><a href=\"https:\/\/maken.wikiwijs.nl\/46166\/14_H12_Turingmachines\">https:\/\/maken.wikiwijs.nl\/46166\/14_H12_Turingmachines<\/a><\/p>\n\n\n\n<p>De \u03bb-calculus is genoemd, maar vanwege de complexiteit en de beschikbare tijd zijn we er niet op in gegaan. Hieronder een aantal bronnen waarmee je wat meer kan leren over de \u03bb-calculus van Church.<\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-4-3 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"CSE 340 11-23-15 Lecture: &quot;Lambda Calculus Pt. 1&quot;\" width=\"640\" height=\"480\" src=\"https:\/\/www.youtube.com\/embed\/_kYGDJSm0gE?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe>\n<\/div><\/figure>\n\n\n\n<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-4-3 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"CSE 340 11-25-15 Lecture: &quot;Lambda Calculus Pt. 2&quot;\" width=\"640\" height=\"480\" src=\"https:\/\/www.youtube.com\/embed\/zg0UgCg7tZQ?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe>\n<\/div><\/figure>\n","protected":false},"excerpt":{"rendered":"<p>Op 20 juni was ik weer te gast bij de lerarenopleiding bij de Master Docent Wiskunde aan de Fontys Hogeschool in Sittard. De slides kun je hier vinden. In het college hebben&#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6,8],"tags":[],"class_list":["post-148","post","type-post","status-publish","format-standard","hentry","category-artikelen","category-turing"],"_links":{"self":[{"href":"https:\/\/pietervanengelen.nl\/index.php?rest_route=\/wp\/v2\/posts\/148","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pietervanengelen.nl\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/pietervanengelen.nl\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/pietervanengelen.nl\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/pietervanengelen.nl\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=148"}],"version-history":[{"count":3,"href":"https:\/\/pietervanengelen.nl\/index.php?rest_route=\/wp\/v2\/posts\/148\/revisions"}],"predecessor-version":[{"id":152,"href":"https:\/\/pietervanengelen.nl\/index.php?rest_route=\/wp\/v2\/posts\/148\/revisions\/152"}],"wp:attachment":[{"href":"https:\/\/pietervanengelen.nl\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=148"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/pietervanengelen.nl\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=148"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/pietervanengelen.nl\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=148"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}