Werkplaatsen

ICIS - III Informatica en Informatiekunde Instituten Online Nederlandstalige werkplaatsen Architectuur in de IT-wereld Hanno Wupper David Jansen Architectuur in de digitale wereld Hanno Wupper David Jansen Bachelorscriptie Hier kunnen studenten hun bachelorscripties schrijven en met hun begeleiders bespreken. Dit gedeelte moet nog worden aangepast aan de nieuwe technische ontwikkelingen (SMW) in deze werkplaats. Beweren en bewijzen Toegepaste logica (BCFA-IPI004) Engelbert Hubbers David Jansen Deze cursus helpt je om expert op het gebied van onzekerheid te worden. Formele logica en computerondersteund bewijzen worden toegepast op de correctheid van dingen in de werkelijkheid. Capita selecta Informatiekunde BCFA-IMK002 In aanvulling op de Bb-site kunnen studenten en docenten hier de huiswerkopdrachten bespreken. Ook maken de deelnemers hier hun bijdrage voor blok D, "student contributions. http://www.studiegids.science.ru.nl/2009/science/prospectus/information_science_master/courses/course/17602 Cognitie en representatie De elektronische Werkplaats Een collaboratieve leer-werk-omgeving Hanno Wupper Jos Huls Dirk van der Linden Freek Verbeek Een artikel / handboek in wording © 2009 Hanno Wupper e.a. Docenten overleg over onderwijs Overlegpagina's voor docenten over alles wat met academisch onderijs en de opleidingen Informatica en Informatiekunde te maken heeft. Domeinmodellering BCFA-IPI004 Doorstroom van HBO naar universiteit Hanno Wupper Hier kunnen studenten die een schakelprogramma volgen, hun docenten en hun adviseur van gedachten wisselen, problemen omtrent schakelprogramma's bespreken en voorstellen doen. Fysieke en digitale architectuur Hanno Wupper ICT Infrastructuren David N. Jansen Introductie Informatica en Informatiekunde De hele opleiding in twee weken? Hanno Wupper Erik Barendsen Stijn Hoppenbrouwers Erik Poll Engelbert Hubbers Frits Vaandrager Angelika Mader Een blokcursus, voltijds, in de eerste twee weken van de opleidingen Informatica en Informatiekunde. Modelcursus Hoe maak ik hier een cursus aan? Hanno Wupper Modelleren van BedrijfsProcessen Ger Paulussen OCT J. Sarbo Opleidingscommissie Hier kan de OCie discussieren. Oude werkplaatsen https://lab.cs.ru.nl/BusinessRules https://lab.cs.ru.nl/IIA - Inleiding Informatiearchitectuur https://lab.cs.ru.nl/OZM - Onderzoeksmethoden https://lab.cs.ru.nl/RE - Requirements Engineering https://lab.cs.ru.nl/RenD1 - Reseach and Development 1 Portfolio waartoe en hoe? M.i.v. 2009-10 bouwen onze studenten een portfolio op. Processen Frits Vaandrager Processoren David Jansen Requirements Engineering Research and Development 1 Patrick van Bommel Sjaak Smetsers In R&D1 voer je een onderzoeks- en ontwikkelproject uit in een team. Research and Development 2 Semantics and Domain Theory Studieadviseurs overleg over begeleiding Talen en automaten Erik Barendsen Tutoren Studiebegeleiding in de bachelor Wat is een tutor? Wie zijn de tutoren? Wie heeft welke tutor? Waarheen? met Informatica en Informatiekunde? De uitdagingen van de toekomst en hoe onze opleidingen daarop inspelen Welkom in de elektronische werkplaats voor Informatica en Informatiekunde! Informatica en Informatiekunde studeren in Nijmegen iChallenge Wij, studenten en wetenschappers, vertellen aan scholieren over Informatica en Informatiekunde in Nijmegen. Wiskunde 1 English workspaces Architecture and New Challenges Hanno Wupper Learning and Modelling System Based Model Development Erik Barendsen Patrick van Bommel Stijn Hoppenbrouwers Hanno Wupper A sub-group of Model Based System Development Model Based System Development Model Based Testing Jan Tretmans Frits Vaandrager Pieter Koopman Julien Schmaltz Fides Aarts Johan Uijen Carsten Rütz Feng Zhu Model Checking Reading Club reading club Modelling in the contexts of verification and design for verification and design Angelika Mader Onderzoeksmethoden Bernadette Smelik Ebrahim Rahimi Ilona Wilmont Erik Barendsen This course is about the preparation and execution of scientific research. Onderzoeksmethoden 2 Pragmatic theory of modelling Stijn Hoppenbrouwers Workplace for theory formation about our Pragmatic Theory of Modelling Quantitative logics David Jansen Semantics and Domain Theory Software Security Software Security/CodeScanners SoftwareSecurity2012 SoftwareSecurity2012/CodeScanners SoftwareSecurity2013 SoftwareSecurity2014 Taxonomy of Computer Science Hanno Wupper Hans Meijer Angelika Mader Stijn Hoppenbrouwers Mieke Boon We propose a consistent set of notions and a consistent terminology which may clarify the relation of information technology and computer science to other scientific disciplines. Deutschsprachige Werkstätten Die elektronische Werkstatt Hanno Wupper Informatische Bildung - Neue Einsichten für Neugierige Neue Einsichten für Neugierige Hanno Wupper Ein Bildungsangebot in Zusammenarbeit mit dem Collegium Augustinianum Gaesdonck Thesen zur Informatik Das zweite Computerzeitalter hat schon begonnen. Thesen zu einer Diskussion mit deutschen Schülern und Lehrern

Deze wiki is een elektronische uitbreiding van ICIS en III: de onderwijs- en onderzoekinstituten voor Informatica en Informatiekunde van de Faculteit Natuurwetenschappen, Wiskunde en Informatica van de Radboud Universiteit Nijmegen. Je kunt het zien als een online instituutsgebouw. (Meer...) Net als in het echte gebouw gaan hier onderzoek, onderwijs, voorlichting, administratie en recreatie in elkaar over. Schotten en afgesloten gedeeltes zijn daar, waar ze nodig zijn. ▼ Werkplaats FAQ ► MediaWiki, de machine onder de werkplaats FAQ ► Toegang tot de werkplaats FAQ ► Werken in de werkplaats FAQ   De werkplaats als informatievoorziening?   Inlogproblemen?   Kan ik hier iets kapot maken?   Waar kan ik informatie over MediaWiki vinden? ▼ FAQ ► Doorstroom FAQ ► Informatievoorziening FAQ ► Multimedia FAQ ► Studeren FAQ ► Studiekeuze FAQ ► Werkplaats FAQ ► Wetenschappelijk schrijven FAQ Werkplaats:te doen