<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="nl">
	<id>https://wiki.student.utwente.nl/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Reporterrick</id>
	<title>CampusWiki - Gebruikersbijdragen [nl]</title>
	<link rel="self" type="application/atom+xml" href="https://wiki.student.utwente.nl/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Reporterrick"/>
	<link rel="alternate" type="text/html" href="https://wiki.student.utwente.nl/wiki/Speciaal:Bijdragen/Reporterrick"/>
	<updated>2026-10-31T04:24:47Z</updated>
	<subtitle>Gebruikersbijdragen</subtitle>
	<generator>MediaWiki 1.43.9</generator>
	<entry>
		<id>https://wiki.student.utwente.nl/w/index.php?title=Kansrekening_%26_Statistiek&amp;diff=11179</id>
		<title>Kansrekening &amp; Statistiek</title>
		<link rel="alternate" type="text/html" href="https://wiki.student.utwente.nl/w/index.php?title=Kansrekening_%26_Statistiek&amp;diff=11179"/>
		<updated>2009-01-26T18:51:10Z</updated>

		<summary type="html">&lt;p&gt;Reporterrick: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Omschrijving ==&lt;br /&gt;
Vakbeschrijving	Dit vak beoogt een gedegen introductie te geven in de beschrijving en analyse van situaties waarin toeval een belangrijke rol speelt. In het toepassingsgebied van de informatica kan men daarbij denken aan bijvoorbeeld prestatieanalyse van computersystemen en de simulatie van het gedrag van klanten in een systeem. &lt;br /&gt;
Het kansrekeningdeel van het vak richt zich vooral op de modellering van toevalsverschijnselen in de werkelijkheid en het statistiekdeel biedt de basisvaardigheden om uit metingen conclusies te kunnen trekken over de correctheid van de gebruikte modellen. &lt;br /&gt;
Korte inhoud: toevalsexperiment, (voorwaardelijke) kans, onafhankelijkheid, stochastische variabelen, discrete en continue verdelingen, simultane verdeling, voorwaardelijke verdeling, centrale limietstelling, wachttijdverdelingen, schatten, betrouwbaarheidsintervallen, toetsingstheorie, Ã©Ã©n-steekproef-problemen.&lt;br /&gt;
&lt;br /&gt;
== Vakgegevens ==&lt;br /&gt;
Vaknaam EN	Probability theory and statistics&lt;br /&gt;
&lt;br /&gt;
Studiejaar	2008&lt;br /&gt;
&lt;br /&gt;
Taal vak	Nederlands&lt;br /&gt;
&lt;br /&gt;
Deeln. opleiding&lt;br /&gt;
	&lt;br /&gt;
Telematica (TEL)&lt;br /&gt;
Fase 	B2	Kwartiel 	K3&lt;br /&gt;
&lt;br /&gt;
Technische Informatica (INF)&lt;br /&gt;
Fase 	B2	Kwartiel 	K3&lt;br /&gt;
&lt;br /&gt;
Collegevormen	HC Hoorcollege, WC Werkcollege&lt;br /&gt;
&lt;br /&gt;
Tentamenvorm	Schriftelijk tentamen en enige facultatieve huiswerkopgaven&lt;br /&gt;
&lt;br /&gt;
Voorkennis	&lt;br /&gt;
&lt;br /&gt;
Noodzakelijk:&lt;br /&gt;
 	Calculus: reeksen, (dubbele) integralen&lt;br /&gt;
&lt;br /&gt;
Studiebelasting	5.0 EC&lt;br /&gt;
&lt;br /&gt;
Contactpersoon	 dr.ir. E.A.Van Doorn&lt;br /&gt;
&lt;br /&gt;
Docenten	Dr.ir.E.A. van Doorn&lt;br /&gt;
&lt;br /&gt;
Studiemateriaal	Syllabus&lt;br /&gt;
&lt;br /&gt;
HTTP-adres	http://wwwhome.math.utwente.nl/~meijertmj/153008.html&lt;br /&gt;
&lt;br /&gt;
== Links ==&lt;br /&gt;
[http://webapps.utwente.nl/vist/nl/vistservlet?node=VistVakinfoResultNode&amp;amp;details=true&amp;amp;vak_code=153008&amp;amp;studie_jaar=2008 Vist 2008]&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Categorie:Vak]]&lt;br /&gt;
[[Categorie:Technische Informatica]]&lt;br /&gt;
[[Categorie:Telematica]]&lt;/div&gt;</summary>
		<author><name>Reporterrick</name></author>
	</entry>
	<entry>
		<id>https://wiki.student.utwente.nl/w/index.php?title=Vertalerbouw&amp;diff=11176</id>
		<title>Vertalerbouw</title>
		<link rel="alternate" type="text/html" href="https://wiki.student.utwente.nl/w/index.php?title=Vertalerbouw&amp;diff=11176"/>
		<updated>2009-01-26T18:36:19Z</updated>

		<summary type="html">&lt;p&gt;Reporterrick: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Omschrijving ==&lt;br /&gt;
Doel: het kunnen vertalen van structuren die veel voorkomen in de informatica, met name in hogere programmeertalen.&lt;br /&gt;
Het hoorcollege behandelt het complete traject van de (automatische) vertaling van moderne (object-georienteerde) programmeertalen naar machinetaal voor een microprocessor. Er wordt vooral ingegaan op de practische aspecten van het schrijven van een vertaler.&lt;br /&gt;
Aan de orde komen onder meer: syntactische analyse, contextuele analyse, run-time organisatie, vertaler generatoren, code generatie, interpretatie en het afhandelen van fouten.&lt;br /&gt;
Er wordt gebruik gemaakt van de programmeertaal Java.&lt;br /&gt;
Het practicum bestaat uit twee delen. In het eerste gedeelte wordt er geoefend met ANTLR, een LL(k) vertaler generator. Daarnaast worden er enkele Java modules ontwikkeld die gebruikt zullen worden in het vervolg van het practicum. In dit tweede gedeelte doen de studenten ervaring op met het ontwikkelen van een complete vertaler voor een Pascal-achtige programmeertaal, gebruikmakend van ANTLR.&lt;br /&gt;
Het practicum is verroosterd en verplicht.&lt;br /&gt;
&lt;br /&gt;
== Vakgegevens== &lt;br /&gt;
&lt;br /&gt;
Vaknaam EN	Compiler construction&lt;br /&gt;
&lt;br /&gt;
Studiejaar	2008&lt;br /&gt;
&lt;br /&gt;
Taal vak	Nederlands&lt;br /&gt;
&lt;br /&gt;
Deeln. opleiding	&lt;br /&gt;
Technische Informatica (INF)&lt;br /&gt;
Fase 	B2	Kwartiel 	K4&lt;br /&gt;
&lt;br /&gt;
Collegevormen	HC Hoorcollege, PR Practicum&lt;br /&gt;
&lt;br /&gt;
Aanwezigheidsverpl.	Ja bij practicum&lt;br /&gt;
&lt;br /&gt;
Contacturen p/w	8&lt;br /&gt;
&lt;br /&gt;
Tentamenvorm	huiswerkopgaven en practicum&lt;br /&gt;
&lt;br /&gt;
Inschrijvingseisen	Inschrijving in TeleTOP is verplicht&lt;br /&gt;
&lt;br /&gt;
Voorkennis	&lt;br /&gt;
Noodzakelijk:&lt;br /&gt;
 	213500 en 213505&lt;br /&gt;
&lt;br /&gt;
Gewenst:&lt;br /&gt;
 	211180&lt;br /&gt;
&lt;br /&gt;
Studiebelasting	5.0 EC&lt;br /&gt;
&lt;br /&gt;
Inlichtingen	T.C. Ruys&lt;br /&gt;
&lt;br /&gt;
Contactpersoon	T.C. Ruys&lt;br /&gt;
&lt;br /&gt;
Docenten	dr.ir. T.C. Ruys&lt;br /&gt;
&lt;br /&gt;
Studiemateriaal	David A. Watt and Deryck F. Brown: Programing Language Processors in Java. Pearson Education Ltd., Harlow, Essex, England. 2000. ISBN 0-130-25786-9. &lt;br /&gt;
&lt;br /&gt;
Practicumhandleiding (via website beschikbaar)&lt;br /&gt;
&lt;br /&gt;
HTTP-adres	fmt.cs.utwente.nl/courses/vertalerbouw&lt;br /&gt;
&lt;br /&gt;
== Links ==&lt;br /&gt;
[http://webapps.utwente.nl/vist/nl/vistservlet?node=VistVakinfoResultNode&amp;amp;details=true&amp;amp;vak_code=211035&amp;amp;studie_jaar=2008 Vist 2008] Vertalerbouw op VIST&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Categorie:Vak]]&lt;br /&gt;
[[Categorie:Technische Informatica]]&lt;/div&gt;</summary>
		<author><name>Reporterrick</name></author>
	</entry>
	<entry>
		<id>https://wiki.student.utwente.nl/w/index.php?title=Inleiding_logica&amp;diff=11175</id>
		<title>Inleiding logica</title>
		<link rel="alternate" type="text/html" href="https://wiki.student.utwente.nl/w/index.php?title=Inleiding_logica&amp;diff=11175"/>
		<updated>2009-01-26T18:35:53Z</updated>

		<summary type="html">&lt;p&gt;Reporterrick: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Omschrijving ==&lt;br /&gt;
Logica is het wetenschapsgebied dat zich bezighoudt met &amp;quot;geldig gevolg&amp;quot;: correct redeneren met geldige conclusies. In de klassieke logica (Aristoteles) vinden we al het besef dat de correctheid van een redenering is af te lezen uit de vorm van de beweringen die tezamen het argument vormen, en dat de inhoud van minder belang is. Door het werk van Boole en Frege werd logica een &amp;quot;calculus&amp;quot; waarvan de eigenschappen formeel kunnen worden onderzocht en bewezen, als was het een fragment van de wiskunde.&lt;br /&gt;
We bespreken een aantal logische calculi en hun eigenschappen, en vergelijken de verschillende manieren (syntactisch, semantisch) om &amp;quot;geldig gevolg&amp;quot; in die calculi te begrijpen.&lt;br /&gt;
Uitstapjes naar fundamentele wiskundige theorieÃ«n als die van de natuurlijke getallen en verzamelingenleer maken duidelijk dat in de logische calculi hele stukken wiskunde kunnen worden uitgedrukt, en dat zo &amp;quot;metamathematica&amp;quot; kan worden bedreven: onderzoek van wiskundige methoden met wiskundige hulpmiddelen. In die context zullen we de begrippen onvolledigheid (ware beweringen die toch niet kunnen worden bewezen) en onafhankelijkheid (beweringen waarvan we zowel kunnen veronderstellen dat zij waar zijn als dat zij onwaar zijn) tegenkomen.&lt;br /&gt;
Tenslotte verkennen we terreinen waar verrijkte vormen van de elementaire wiskundig logische calculi worden ingezet. De verrijking betreft het toevoegen van tijd en modaliteit, het toepassingsgebied is syntax en semantiek van natuurlijke taal.&lt;br /&gt;
&lt;br /&gt;
== Vakgegevens == &lt;br /&gt;
&lt;br /&gt;
Vaknaam EN	  Introduction to Logics&lt;br /&gt;
&lt;br /&gt;
Studiejaar	  2008&lt;br /&gt;
&lt;br /&gt;
Taal vak	  Nederlands&lt;br /&gt;
&lt;br /&gt;
Kwartiel 	  K4&lt;br /&gt;
&lt;br /&gt;
Collegevormen	  HC Hoorcollege&lt;br /&gt;
&lt;br /&gt;
Contacturen p/w	  2&lt;br /&gt;
&lt;br /&gt;
Tentamenvorm	  Schriftelijk tentamen&lt;br /&gt;
&lt;br /&gt;
Studiebelasting	  5.0 EC&lt;br /&gt;
&lt;br /&gt;
WTM-Doelstelling  B  Inzicht geven in de samenhang der wetenschappen&lt;br /&gt;
&lt;br /&gt;
Inlichtingen	  G.F. van der Hoeven&lt;br /&gt;
&lt;br /&gt;
Contactpersoon	  G.F. van der Hoeven&lt;br /&gt;
&lt;br /&gt;
Docenten	  dr. G.F. van der Hoeven&lt;br /&gt;
&lt;br /&gt;
Studiemateriaal	  Komt electronisch beschikbaar&lt;br /&gt;
&lt;br /&gt;
Extra informatie  WTM keuzevak&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== Externe Links ==&lt;br /&gt;
[http://webapps.utwente.nl/vist/nl/vistservlet] vakinformatie op VIST&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Categorie:Vak]]&lt;br /&gt;
[[Categorie:Technische Informatica]]&lt;/div&gt;</summary>
		<author><name>Reporterrick</name></author>
	</entry>
	<entry>
		<id>https://wiki.student.utwente.nl/w/index.php?title=Vertalerbouw&amp;diff=11173</id>
		<title>Vertalerbouw</title>
		<link rel="alternate" type="text/html" href="https://wiki.student.utwente.nl/w/index.php?title=Vertalerbouw&amp;diff=11173"/>
		<updated>2009-01-26T18:33:15Z</updated>

		<summary type="html">&lt;p&gt;Reporterrick: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Omschrijving ==&lt;br /&gt;
Doel: het kunnen vertalen van structuren die veel voorkomen in de informatica, met name in hogere programmeertalen.&lt;br /&gt;
Het hoorcollege behandelt het complete traject van de (automatische) vertaling van moderne (object-georienteerde) programmeertalen naar machinetaal voor een microprocessor. Er wordt vooral ingegaan op de practische aspecten van het schrijven van een vertaler.&lt;br /&gt;
Aan de orde komen onder meer: syntactische analyse, contextuele analyse, run-time organisatie, vertaler generatoren, code generatie, interpretatie en het afhandelen van fouten.&lt;br /&gt;
Er wordt gebruik gemaakt van de programmeertaal Java.&lt;br /&gt;
Het practicum bestaat uit twee delen. In het eerste gedeelte wordt er geoefend met ANTLR, een LL(k) vertaler generator. Daarnaast worden er enkele Java modules ontwikkeld die gebruikt zullen worden in het vervolg van het practicum. In dit tweede gedeelte doen de studenten ervaring op met het ontwikkelen van een complete vertaler voor een Pascal-achtige programmeertaal, gebruikmakend van ANTLR.&lt;br /&gt;
Het practicum is verroosterd en verplicht.&lt;br /&gt;
&lt;br /&gt;
== Vakgegevens== &lt;br /&gt;
&lt;br /&gt;
Vaknaam EN	Compiler construction&lt;br /&gt;
&lt;br /&gt;
Studiejaar	2008&lt;br /&gt;
&lt;br /&gt;
Taal vak	Nederlands&lt;br /&gt;
&lt;br /&gt;
Deeln. opleiding	&lt;br /&gt;
Technische Informatica (INF)&lt;br /&gt;
Fase 	B2	Kwartiel 	K4&lt;br /&gt;
&lt;br /&gt;
Collegevormen	HC Hoorcollege, PR Practicum&lt;br /&gt;
&lt;br /&gt;
Aanwezigheidsverpl.	Ja bij practicum&lt;br /&gt;
&lt;br /&gt;
Contacturen p/w	8&lt;br /&gt;
&lt;br /&gt;
Tentamenvorm	huiswerkopgaven en practicum&lt;br /&gt;
&lt;br /&gt;
Inschrijvingseisen	Inschrijving in TeleTOP is verplicht&lt;br /&gt;
&lt;br /&gt;
Voorkennis	&lt;br /&gt;
Noodzakelijk:&lt;br /&gt;
 	213500 en 213505&lt;br /&gt;
&lt;br /&gt;
Gewenst:&lt;br /&gt;
 	211180&lt;br /&gt;
&lt;br /&gt;
Studiebelasting	5.0 EC&lt;br /&gt;
&lt;br /&gt;
Inlichtingen	T.C. Ruys&lt;br /&gt;
&lt;br /&gt;
Contactpersoon	T.C. Ruys&lt;br /&gt;
&lt;br /&gt;
Docenten	dr.ir. T.C. Ruys&lt;br /&gt;
&lt;br /&gt;
Studiemateriaal	David A. Watt and Deryck F. Brown: Programing Language Processors in Java. Pearson Education Ltd., Harlow, Essex, England. 2000. ISBN 0-130-25786-9. &lt;br /&gt;
&lt;br /&gt;
Practicumhandleiding (via website beschikbaar)&lt;br /&gt;
&lt;br /&gt;
HTTP-adres	fmt.cs.utwente.nl/courses/vertalerbouw&lt;br /&gt;
&lt;br /&gt;
== Links ==&lt;br /&gt;
[http://webapps.utwente.nl/vist/nl/vistservlet?node=VistVakinfoResultNode&amp;amp;details=true&amp;amp;vak_code=211035&amp;amp;studie_jaar=2008 Vist 2008] Vertalerbouw op VIST&lt;/div&gt;</summary>
		<author><name>Reporterrick</name></author>
	</entry>
	<entry>
		<id>https://wiki.student.utwente.nl/w/index.php?title=Vertalerbouw&amp;diff=11171</id>
		<title>Vertalerbouw</title>
		<link rel="alternate" type="text/html" href="https://wiki.student.utwente.nl/w/index.php?title=Vertalerbouw&amp;diff=11171"/>
		<updated>2009-01-26T18:31:16Z</updated>

		<summary type="html">&lt;p&gt;Reporterrick: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Omschrijving ==&lt;br /&gt;
Doel: het kunnen vertalen van structuren die veel voorkomen in de informatica, met name in hogere programmeertalen.&lt;br /&gt;
Het hoorcollege behandelt het complete traject van de (automatische) vertaling van moderne (object-georienteerde) programmeertalen naar machinetaal voor een microprocessor. Er wordt vooral ingegaan op de practische aspecten van het schrijven van een vertaler.&lt;br /&gt;
Aan de orde komen onder meer: syntactische analyse, contextuele analyse, run-time organisatie, vertaler generatoren, code generatie, interpretatie en het afhandelen van fouten.&lt;br /&gt;
Er wordt gebruik gemaakt van de programmeertaal Java.&lt;br /&gt;
Het practicum bestaat uit twee delen. In het eerste gedeelte wordt er geoefend met ANTLR, een LL(k) vertaler generator. Daarnaast worden er enkele Java modules ontwikkeld die gebruikt zullen worden in het vervolg van het practicum. In dit tweede gedeelte doen de studenten ervaring op met het ontwikkelen van een complete vertaler voor een Pascal-achtige programmeertaal, gebruikmakend van ANTLR.&lt;br /&gt;
Het practicum is verroosterd en verplicht.&lt;br /&gt;
&lt;br /&gt;
== Vakgegevens== &lt;br /&gt;
&lt;br /&gt;
Vaknaam EN	Compiler construction&lt;br /&gt;
&lt;br /&gt;
Studiejaar	2008&lt;br /&gt;
&lt;br /&gt;
Taal vak	Nederlands&lt;br /&gt;
&lt;br /&gt;
Deeln. opleiding	&lt;br /&gt;
Technische Informatica (INF)&lt;br /&gt;
 	Fase 	B2	Kwartiel 	K4&lt;br /&gt;
&lt;br /&gt;
Collegevormen	HC Hoorcollege, PR Practicum&lt;br /&gt;
&lt;br /&gt;
Aanwezigheidsverpl.	Ja bij practicum&lt;br /&gt;
&lt;br /&gt;
Contacturen p/w	8&lt;br /&gt;
&lt;br /&gt;
Tentamenvorm	huiswerkopgaven en practicum&lt;br /&gt;
&lt;br /&gt;
Inschrijvingseisen	Inschrijving in TeleTOP is verplicht&lt;br /&gt;
&lt;br /&gt;
Voorkennis	&lt;br /&gt;
Noodzakelijk:&lt;br /&gt;
 	213500 en 213505&lt;br /&gt;
&lt;br /&gt;
Gewenst:&lt;br /&gt;
 	211180&lt;br /&gt;
&lt;br /&gt;
Studiebelasting	5.0 EC&lt;br /&gt;
&lt;br /&gt;
Inlichtingen	T.C. Ruys&lt;br /&gt;
&lt;br /&gt;
Contactpersoon	T.C. Ruys&lt;br /&gt;
&lt;br /&gt;
Docenten	dr.ir. T.C. Ruys&lt;br /&gt;
&lt;br /&gt;
Studiemateriaal	David A. Watt and Deryck F. Brown: Programing Language Processors in Java. Pearson Education Ltd., Harlow, Essex, England. 2000. ISBN 0-130-25786-9. &lt;br /&gt;
&lt;br /&gt;
Practicumhandleiding (via website beschikbaar)&lt;br /&gt;
&lt;br /&gt;
HTTP-adres	fmt.cs.utwente.nl/courses/vertalerbouw&lt;br /&gt;
&lt;br /&gt;
== Links ==&lt;br /&gt;
[http://webapps.utwente.nl/vist/nl/vistservlet] Vertalerbouw op VIST&lt;/div&gt;</summary>
		<author><name>Reporterrick</name></author>
	</entry>
	<entry>
		<id>https://wiki.student.utwente.nl/w/index.php?title=Inleiding_logica&amp;diff=11170</id>
		<title>Inleiding logica</title>
		<link rel="alternate" type="text/html" href="https://wiki.student.utwente.nl/w/index.php?title=Inleiding_logica&amp;diff=11170"/>
		<updated>2009-01-26T18:25:56Z</updated>

		<summary type="html">&lt;p&gt;Reporterrick: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Omschrijving ==&lt;br /&gt;
Logica is het wetenschapsgebied dat zich bezighoudt met &amp;quot;geldig gevolg&amp;quot;: correct redeneren met geldige conclusies. In de klassieke logica (Aristoteles) vinden we al het besef dat de correctheid van een redenering is af te lezen uit de vorm van de beweringen die tezamen het argument vormen, en dat de inhoud van minder belang is. Door het werk van Boole en Frege werd logica een &amp;quot;calculus&amp;quot; waarvan de eigenschappen formeel kunnen worden onderzocht en bewezen, als was het een fragment van de wiskunde.&lt;br /&gt;
We bespreken een aantal logische calculi en hun eigenschappen, en vergelijken de verschillende manieren (syntactisch, semantisch) om &amp;quot;geldig gevolg&amp;quot; in die calculi te begrijpen.&lt;br /&gt;
Uitstapjes naar fundamentele wiskundige theorieÃ«n als die van de natuurlijke getallen en verzamelingenleer maken duidelijk dat in de logische calculi hele stukken wiskunde kunnen worden uitgedrukt, en dat zo &amp;quot;metamathematica&amp;quot; kan worden bedreven: onderzoek van wiskundige methoden met wiskundige hulpmiddelen. In die context zullen we de begrippen onvolledigheid (ware beweringen die toch niet kunnen worden bewezen) en onafhankelijkheid (beweringen waarvan we zowel kunnen veronderstellen dat zij waar zijn als dat zij onwaar zijn) tegenkomen.&lt;br /&gt;
Tenslotte verkennen we terreinen waar verrijkte vormen van de elementaire wiskundig logische calculi worden ingezet. De verrijking betreft het toevoegen van tijd en modaliteit, het toepassingsgebied is syntax en semantiek van natuurlijke taal.&lt;br /&gt;
&lt;br /&gt;
== Vakgegevens == &lt;br /&gt;
&lt;br /&gt;
Vaknaam EN	  Introduction to Logics&lt;br /&gt;
&lt;br /&gt;
Studiejaar	  2008&lt;br /&gt;
&lt;br /&gt;
Taal vak	  Nederlands&lt;br /&gt;
&lt;br /&gt;
Kwartiel 	  K4&lt;br /&gt;
&lt;br /&gt;
Collegevormen	  HC Hoorcollege&lt;br /&gt;
&lt;br /&gt;
Contacturen p/w	  2&lt;br /&gt;
&lt;br /&gt;
Tentamenvorm	  Schriftelijk tentamen&lt;br /&gt;
&lt;br /&gt;
Studiebelasting	  5.0 EC&lt;br /&gt;
&lt;br /&gt;
WTM-Doelstelling  B  Inzicht geven in de samenhang der wetenschappen&lt;br /&gt;
&lt;br /&gt;
Inlichtingen	  G.F. van der Hoeven&lt;br /&gt;
&lt;br /&gt;
Contactpersoon	  G.F. van der Hoeven&lt;br /&gt;
&lt;br /&gt;
Docenten	  dr. G.F. van der Hoeven&lt;br /&gt;
&lt;br /&gt;
Studiemateriaal	  Komt electronisch beschikbaar&lt;br /&gt;
&lt;br /&gt;
Extra informatie  WTM keuzevak&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== Externe Links ==&lt;br /&gt;
[http://webapps.utwente.nl/vist/nl/vistservlet] vakinformatie op VIST&lt;/div&gt;</summary>
		<author><name>Reporterrick</name></author>
	</entry>
	<entry>
		<id>https://wiki.student.utwente.nl/w/index.php?title=Inleiding_logica&amp;diff=11169</id>
		<title>Inleiding logica</title>
		<link rel="alternate" type="text/html" href="https://wiki.student.utwente.nl/w/index.php?title=Inleiding_logica&amp;diff=11169"/>
		<updated>2009-01-26T18:25:36Z</updated>

		<summary type="html">&lt;p&gt;Reporterrick: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Omschrijving ==&lt;br /&gt;
Logica is het wetenschapsgebied dat zich bezighoudt met &amp;quot;geldig gevolg&amp;quot;: correct redeneren met geldige conclusies. In de klassieke logica (Aristoteles) vinden we al het besef dat de correctheid van een redenering is af te lezen uit de vorm van de beweringen die tezamen het argument vormen, en dat de inhoud van minder belang is. Door het werk van Boole en Frege werd logica een &amp;quot;calculus&amp;quot; waarvan de eigenschappen formeel kunnen worden onderzocht en bewezen, als was het een fragment van de wiskunde.&lt;br /&gt;
We bespreken een aantal logische calculi en hun eigenschappen, en vergelijken de verschillende manieren (syntactisch, semantisch) om &amp;quot;geldig gevolg&amp;quot; in die calculi te begrijpen.&lt;br /&gt;
Uitstapjes naar fundamentele wiskundige theorieÃ«n als die van de natuurlijke getallen en verzamelingenleer maken duidelijk dat in de logische calculi hele stukken wiskunde kunnen worden uitgedrukt, en dat zo &amp;quot;metamathematica&amp;quot; kan worden bedreven: onderzoek van wiskundige methoden met wiskundige hulpmiddelen. In die context zullen we de begrippen onvolledigheid (ware beweringen die toch niet kunnen worden bewezen) en onafhankelijkheid (beweringen waarvan we zowel kunnen veronderstellen dat zij waar zijn als dat zij onwaar zijn) tegenkomen.&lt;br /&gt;
Tenslotte verkennen we terreinen waar verrijkte vormen van de elementaire wiskundig logische calculi worden ingezet. De verrijking betreft het toevoegen van tijd en modaliteit, het toepassingsgebied is syntax en semantiek van natuurlijke taal.&lt;br /&gt;
&lt;br /&gt;
== Vakgegevens == &lt;br /&gt;
&lt;br /&gt;
Vaknaam EN	  Introduction to Logics&lt;br /&gt;
&lt;br /&gt;
Studiejaar	  2008&lt;br /&gt;
&lt;br /&gt;
Taal vak	  Nederlands&lt;br /&gt;
&lt;br /&gt;
Kwartiel 	  K4&lt;br /&gt;
&lt;br /&gt;
Collegevormen	  HC Hoorcollege&lt;br /&gt;
&lt;br /&gt;
Contacturen p/w	  2&lt;br /&gt;
&lt;br /&gt;
Tentamenvorm	  Schriftelijk tentamen&lt;br /&gt;
&lt;br /&gt;
Studiebelasting	  5.0 EC&lt;br /&gt;
&lt;br /&gt;
WTM-Doelstelling  B  Inzicht geven in de samenhang der wetenschappen&lt;br /&gt;
&lt;br /&gt;
Inlichtingen	  G.F. van der Hoeven&lt;br /&gt;
&lt;br /&gt;
Contactpersoon	  G.F. van der Hoeven&lt;br /&gt;
&lt;br /&gt;
Docenten	  dr. G.F. van der Hoeven&lt;br /&gt;
&lt;br /&gt;
Studiemateriaal	  Komt electronisch beschikbaar&lt;br /&gt;
&lt;br /&gt;
Extra informatie  WTM keuzevak&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== Externe Links ==&lt;br /&gt;
[http://webapps.utwente.nl/vist/nl/vistservlet]&lt;/div&gt;</summary>
		<author><name>Reporterrick</name></author>
	</entry>
	<entry>
		<id>https://wiki.student.utwente.nl/w/index.php?title=Inleiding_logica&amp;diff=11168</id>
		<title>Inleiding logica</title>
		<link rel="alternate" type="text/html" href="https://wiki.student.utwente.nl/w/index.php?title=Inleiding_logica&amp;diff=11168"/>
		<updated>2009-01-26T18:24:25Z</updated>

		<summary type="html">&lt;p&gt;Reporterrick: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Omschrijving ==&lt;br /&gt;
Logica is het wetenschapsgebied dat zich bezighoudt met &amp;quot;geldig gevolg&amp;quot;: correct redeneren met geldige conclusies. In de klassieke logica (Aristoteles) vinden we al het besef dat de correctheid van een redenering is af te lezen uit de vorm van de beweringen die tezamen het argument vormen, en dat de inhoud van minder belang is. Door het werk van Boole en Frege werd logica een &amp;quot;calculus&amp;quot; waarvan de eigenschappen formeel kunnen worden onderzocht en bewezen, als was het een fragment van de wiskunde.&lt;br /&gt;
We bespreken een aantal logische calculi en hun eigenschappen, en vergelijken de verschillende manieren (syntactisch, semantisch) om &amp;quot;geldig gevolg&amp;quot; in die calculi te begrijpen.&lt;br /&gt;
Uitstapjes naar fundamentele wiskundige theorieÃ«n als die van de natuurlijke getallen en verzamelingenleer maken duidelijk dat in de logische calculi hele stukken wiskunde kunnen worden uitgedrukt, en dat zo &amp;quot;metamathematica&amp;quot; kan worden bedreven: onderzoek van wiskundige methoden met wiskundige hulpmiddelen. In die context zullen we de begrippen onvolledigheid (ware beweringen die toch niet kunnen worden bewezen) en onafhankelijkheid (beweringen waarvan we zowel kunnen veronderstellen dat zij waar zijn als dat zij onwaar zijn) tegenkomen.&lt;br /&gt;
Tenslotte verkennen we terreinen waar verrijkte vormen van de elementaire wiskundig logische calculi worden ingezet. De verrijking betreft het toevoegen van tijd en modaliteit, het toepassingsgebied is syntax en semantiek van natuurlijke taal.&lt;br /&gt;
&lt;br /&gt;
== Vakgegevens == &lt;br /&gt;
&lt;br /&gt;
Vaknaam EN	  Introduction to Logics&lt;br /&gt;
Studiejaar	  2008&lt;br /&gt;
Taal vak	  Nederlands&lt;br /&gt;
Kwartiel 	  K4&lt;br /&gt;
Collegevormen	  HC Hoorcollege&lt;br /&gt;
Contacturen p/w	  2&lt;br /&gt;
Tentamenvorm	  Schriftelijk tentamen&lt;br /&gt;
Studiebelasting	  5.0 EC&lt;br /&gt;
WTM-Doelstelling  B  Inzicht geven in de samenhang der wetenschappen&lt;br /&gt;
Inlichtingen	  G.F. van der Hoeven&lt;br /&gt;
Contactpersoon	  G.F. van der Hoeven&lt;br /&gt;
Docenten	  dr. G.F. van der Hoeven&lt;br /&gt;
Studiemateriaal	  Komt electronisch beschikbaar&lt;br /&gt;
Extra informatie  WTM keuzevak&lt;br /&gt;
&lt;br /&gt;
== Externe Links ==&lt;br /&gt;
[http://webapps.utwente.nl/vist/nl/vistservlet]&lt;/div&gt;</summary>
		<author><name>Reporterrick</name></author>
	</entry>
	<entry>
		<id>https://wiki.student.utwente.nl/w/index.php?title=Overleg:Objectgeori%C3%ABnteerd_programmeren&amp;diff=10897</id>
		<title>Overleg:Objectgeoriënteerd programmeren</title>
		<link rel="alternate" type="text/html" href="https://wiki.student.utwente.nl/w/index.php?title=Overleg:Objectgeori%C3%ABnteerd_programmeren&amp;diff=10897"/>
		<updated>2009-01-12T16:24:06Z</updated>

		<summary type="html">&lt;p&gt;Reporterrick: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Is dit een vak? - [[Gebruiker:DeSinT|DeSinT]] 6 jan 2009 22:40 (CET)&lt;br /&gt;
&lt;br /&gt;
nee, maar wel het principe waar bij p1 en p2 gebruik van wordt gemaakt tijdens het programmeren.&lt;/div&gt;</summary>
		<author><name>Reporterrick</name></author>
	</entry>
	<entry>
		<id>https://wiki.student.utwente.nl/w/index.php?title=Programmeren&amp;diff=10755</id>
		<title>Programmeren</title>
		<link rel="alternate" type="text/html" href="https://wiki.student.utwente.nl/w/index.php?title=Programmeren&amp;diff=10755"/>
		<updated>2009-01-06T17:12:43Z</updated>

		<summary type="html">&lt;p&gt;Reporterrick: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&#039;&#039;&#039;Programmeren&#039;&#039;&#039; is een een activiteit waarbij een bepaald idee voor een computerprogramma wordt uitgewerkt en omgezet in computercode door middel van het intypen van commando&#039;s in een bepaalde computertaal, waardoor een computerbestand ontstaat dat, na eventuele compilatie, kan worden uitgevoerd. Op de [[UT]] vindt deze activiteit veelvuldig plaats, met name in het kader van studies als [[Informatica]], [[Telematica]] en [[Bedrijfsinformatietechnologie]]. Computertalen waarmee veel wordt gewerkt zijn Java (voor vakken als [[Programmeren 1]] en 2) en (voor websites en -applicaties) PHP.&lt;br /&gt;
&lt;br /&gt;
[[Categorie:IT]]&lt;/div&gt;</summary>
		<author><name>Reporterrick</name></author>
	</entry>
	<entry>
		<id>https://wiki.student.utwente.nl/w/index.php?title=Programmeren_1&amp;diff=10749</id>
		<title>Programmeren 1</title>
		<link rel="alternate" type="text/html" href="https://wiki.student.utwente.nl/w/index.php?title=Programmeren_1&amp;diff=10749"/>
		<updated>2009-01-06T16:47:49Z</updated>

		<summary type="html">&lt;p&gt;Reporterrick: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Programmeren 1 laat de studenten kennis maken met het [[objectgeoriÃ«nteerd programmeren]]. Er wordt gebruik gemaakt van de programmeertaal [[Java]]. De studenten leren onder andere de basisbegrippen van het programmeren, het grafisch weergeven van een klassendiagram met behulp van het programma [[Borland Together]], basisstructuren van bijvoorbeeld lijsten en arrays, en het ontwerpen van software.&lt;br /&gt;
&lt;br /&gt;
Per week is er Ã©Ã©n hoorcollege, Ã©Ã©n werkcollege en zes uur practicum. Tijdens het practicum wordt geprogrammeerd met behulp van de tijdens het hoorcollege opgedane kennis. Het vak is verplicht voor eerstejaars [[informatica]]-, [[telematica]]- en [[bedrijfsinformatietechnologie]]studenten.&lt;br /&gt;
&lt;br /&gt;
== Zie Ook ==&lt;br /&gt;
* [http://webapps.utwente.nl/vist/nl/vistservlet?node=VistVakinfoResultNode&amp;amp;details=true&amp;amp;vak_code=2135000&amp;amp;studie_jaar=2008 VIST over Programmeren 1]&lt;/div&gt;</summary>
		<author><name>Reporterrick</name></author>
	</entry>
</feed>