Worsteling naar waarheid - pagina 170
W I S K U N D E ENINFORMATICAtalen, automatentheorie en programmeertheorie. In de theoretische informatica worden correctheidsbewijzen van programma's en de complexiteit (rekensnelheid) van algoritmen bestudeerd. 12 De vakgroep Informatica aan de v u volgde deze indeling. Van de Rie ...
Worsteling naar waarheid - pagina 198
NOTEN33. Synode: kerkvergadering; het 'bestuur' van de Hervormde Kerk (thans PKN).34. Stellingwerff, Kuyper en de v u , 147. 35. In 1 8 9 2 ging de kerk van de Doleantie samen met een groot deel van de kerken van de Afscheiding en ontstonden de Gereformeerde Kerken in Nederland. 36. ...
Worsteling naar waarheid - pagina 227
AANHANGSEL21 juni B. F. Schriever, Order dependence. Amsterdam: Centrum voor Wiskunde en Informatica, 1985. (J. Oosterhoff) 27 juni D. P. van der Vecht, Inequalities for stopped Browman motion. Amsterdam: Centrum voor Wiskunde en Informatica, 1985. (P.J. Holewijn) 31 okt. S.}. Mullender, P ...
Worsteling naar waarheid - pagina 236
GERAADPLEEGDE ARCHIEVENENLITERATUURHaaften, M. van, Notatie en methode in de elementairelevensverzekeringswiskunde(Amsterdam 1930). Haaften, M. van, 'Promoties. De eerste promoties in de wis- en natuurkunde', in: Vrije Universiteitsblad. Maandelijksche mededeeli ...
Worsteling naar waarheid - pagina 217
NOTEN53. Ibidem, 44-48; citaat: 47. 54. Ibidem, 47-48, 51. 55. Ibidem, 79. Van Dael noemt bijvoorbeeld een afstudeerrichting Bedrijfsinformatica in hetHEAO.56. 'De opleiding in de informatica aan de Vrije Universiteit. Nota samengesteld door de Senaatscommissie Informatica' ( ...
Worsteling naar waarheid - pagina 152
MODERNISERINGENINFORMATISERINGDe brede opzet van de commissie was niet voor niets; het achterliggende idee was dat op alle faculteiten de computer wezenlijke veranderingen in de wetenschapsbeoefening teweeg bracht en alle faculteiten dus vertegenwoordigd moesten zijn. Informa ...
Worsteling naar waarheid - pagina 61
R E A C T I E S OP H E TPROEFSCHRIFTnoemd als bronnen op dat gebied. Over Vollenhovens proefschrift zegt De Haan: De taal van dat boek is machteloos vergeleken bij de Taal van Brouwer en Mannoury. En de schrijver ziet niet in, dat men met grote metaforen als: product, grondslag, enz ...
Worsteling naar waarheid - pagina 190
EpiloogDe bescheiden sectie Wiskunde in de Wis- en Natuurkundige Faculteit van 1930 is in ruim zeventig jaar uitgegroeid tot twee afdelingen, Wiskunde en Informatica, binnen de Faculteit der Exacte Wetenschappen aan de Vrije Universiteit. Beide afdelingen herbergen levende wetenschappelijk ...
Worsteling naar waarheid - pagina 232
AANHANGSEL29 okt. K. Bouhjar, On the Structure of n-Point Sets, z.p.: z.n., 2 0 0 2 . (J. van Mill) 29 okt. M. El Bachraoui, Relation Algebras, Multigroupoids, and Degree, z.p.: z.n., 2 0 0 2 . (J. van Mill) 22 nov. P. H. G. van Langen, The Anatomy of Design: foundations, models and applic ...
Worsteling naar waarheid - pagina 197
NOTEN18. Zie 'Wet van 17 Augustus 1878: houdende herziening der wet van 13 Augustus 1857', in: Staatsblad nr. 103 (1878). 19. A. Kuyper e.a., Aan de gereformeerden in den lande (z.p. (Amsterdam) z.j. (.878)). 20. Vereeniging voor Hooger Onderwijs op Gereformeerden Grondslag-, thans Verenig ...