https://wiki.student.utwente.nl/w/index.php?action=history&feed=atom&title=Basismodellen_in_de_Informatica 2026-11-02T09:07:44Z Bewerkingsoverzicht voor deze pagina op de wiki MediaWiki 1.43.9 https://wiki.student.utwente.nl/w/index.php?title=Basismodellen_in_de_Informatica&diff=11074&oldid=prev 2009-01-25T12:46:21Z

<p>Categorieën toegevoegd</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="nl"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Oudere versie</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Versie van 25 jan 2009 12:46</td> </tr><tr> <td colspan="2" class="diff-lineno">Regel 31:</td> <td colspan="2" class="diff-lineno">Regel 31:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>====Links====</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>====Links====</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[http://webapps.utwente.nl/vist/nl/vistservlet?node=VistVakinfoResultNode&amp;details=true&amp;vak_code=211180&amp;studie_jaar=2008 VIST]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[http://webapps.utwente.nl/vist/nl/vistservlet?node=VistVakinfoResultNode&amp;details=true&amp;vak_code=211180&amp;studie_jaar=2008 VIST]</div></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Categorie:Vak]]</div></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Categorie:Technische Informatica]]</div></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Categorie:Technische Wiskunde]]</div></td> </tr> </table>

Jelte https://wiki.student.utwente.nl/w/index.php?title=Basismodellen_in_de_Informatica&diff=10974&oldid=prev 2009-01-22T21:58:08Z

<p></p> <p><b>Nieuwe pagina</b></p><div>====Omschrijving====<br /> Basismodellen in de Informatica wordt vaak afgekort tot BAMI. <br /> <br /> Er wordt een introductie gegeven tot wat basismodellen uit de informatica, vooral kijkende naar automaten, transistiesystemen, stapelautomaten, Turing-machines, formele talen en context-crije en reguliere grammatica’s. <br /> <br /> Verder is er een kleine introductie op het principe van beslisbaarheid en als voorbeeld van een onbeslisbaar probleem wordt er het “halting-probleem� gebruikt. <br /> <br /> ===Leerdoelen===<br /> * Een aantal standaard basismodellen uit de informatica uitleggen<br /> * Belangrijke toepassingen van deze modellen toelichten. <br /> * Zulke modellen construeren en manipuleren voor eenvoudige toepassingen<br /> * Bruikbaarheid van deze modellen toetsen evenals nagaan onder welke omstandigheden deze modellen hun geldigheid verliezen. <br /> * Uitleggen wat onbeslisbare problemen zijn en waarom deze onbeslisbaar zijn, en minstens éen zo&#039;n probleem noemen.<br /> <br /> ====Onderwijsvorm====<br /> <br /> Iedere week wordt er 1 hoorcollege, 1 werkcollege en 1 practicumblokuur gehouden. De opzet is vergelijkbaar met [[Programmeren 1]]. Groot verschil met vorig jaar is dat er toen maar 2 practica-opdrachten waren waar er nu iedere week opdrachten zijn.<br /> <br /> ====Docenten====<br /> * prof. dr. J.C. van de Pol<br /> * dr. ir. A. Rensink<br /> <br /> ====Deelnemende Opleidingen====<br /> * Technische Wiskunde (TW) **Fase B1, Kwartiel K4**<br /> * Technische Informatica (INF) **Fase B1, Kwartiel K4**<br /> <br /> ====Studiemateriaal====<br /> * T.A. Sudkamp, Languages and Machines - An Introduction to the Theory of Computer Science, 3rd edition (2006), Addison-Wesley, MA; ISBN 0-201-82136-2 <br /> * Collegedictaat (incl. werkcollege- en practicumhandleiding)<br /> <br /> ====Links====<br /> [http://webapps.utwente.nl/vist/nl/vistservlet?node=VistVakinfoResultNode&amp;details=true&amp;vak_code=211180&amp;studie_jaar=2008 VIST]</div>

S0166200