Albert HOOGEWIJS

UNDER CONSTRUCTION  (laatst aangepast: vrijdag 06/08/2004)
Examenregeling 2de kan Informatica met groepenindeling Formele Logica
 

• Albert Hoogewijs and Pieter Audenaert: Combinatory logic, a bridge to verified programs

Talk: Albert Hoogewijs (Gent), Pieter Audenaert (Gent):
        Implementing Undefinedness in a Two-Valued Proof tool through a
        Four-Valued Kleene Logic

• short abstract
• long abstract

ONTHAAL STUDENTEN INFORMATICA

• INFODAG 2002

• Opleidingsonderdeel FORMELE LOGICA

(laatst bijgewerkt zondag 11 januari 2004:
Cursusnota's : VERSIE 2003-2004 )
 
• ALGEMENE INFO EXAMENSECRETARIAAT
  (laatst aangepast: vrijdag 06/08/2004)

• Examenregeling 2de kan Informatica met groepenindeling Formele Logica
  

  
  ABC-codes 2de kan informatica, 1ste semester
  

 
• OPTIEKEUZE 2DE KANDIDATUUR - LICENTIES

• Cursusnota's 2005: zie MINERVA
• Begeleiding van de oefeningen: zie Jan De Beule
  
• Maple Worksheets 2004-2005
  
  
• Cursusnota's versie 2004  (met paswoord !)

• Begeleiding van de oefeningen: zie ook Pieter Vandecasteele

• Examenregeling juni 2002 (laatst bijgewerkt donderdag 30 mei 2002)
• Slides 2001-2002
• Maple Worksheets 2001-2002

Deze Worksheets zijn getest voor de Maple versie 6.
Gelieve  problemen met de huidige versie van Maple te melden.
(Opmerking:
Links kunnen problemen geven onder Linux (omzetting kleine
letters - hoofdletters).
Zo wordt b.v.  http://cage.rug.ac.be/~bh/Compalg/compalg2.htm
NIET gevonden, maar http://cage.rug.ac.be/~bh/Compalg/COMPALG2.HTM
WEL.
die omzetting is gebeurd bij het copiëren ...
Downloaden en uitvoeren is geen probleem.)
 
• Projectopgave Licentie Informatica - Computerwetenschappen (2000)
• Projectopgave 2001
• Handleiding Maple7 (zie ook zip-file: bij de auteurs N. Van den Bergh, S. Van Wonterghem en P. Puylaert)

Thesisonderwerpen LICENTIE INFORMATICA

• 1997-1998
• 1998-1999
• 1999-2000
• 2000-2001
• 2001-2002
• 2002-2003
• 2003-2004
• 2004-2005
• 2005-2006
  
• 2006-2007
  

Thesisonderwerpen LICENTIE WISKUNDE

• Een aantal onderwerpen uit bovenstaande lijst kunnen ook door wiskundigen (die niet bang zijn voor logica en programmeren) gekozen worden.
• Op afspraak worden er onderwerpen aangeboden in:
• logica
• herschrijfsystemen
• computeralgebra
• formele talen

FIELDS OF INTREST:

Logic

• Automatic theorem proving
• Applications in software specifications
• LC98
• PPC

Formal methods

• GOA2002: Embedded Systems for Multimedia Applications

Formal languages

• LL1 specifications in Robotics
• FTA course material (dutch)
• Marvin Minsky in Vlaanderen

Computer Algebra

• Computer algebra in teaching
• Groebner in Derive

Rewrite Systems

• Algemene informatie over de curus
• L-systemen  (in het Nederlands)
• html-link    (NIEUWE VERSIE)
  
• PDF-formaat (print-vriendelijk)
• deel A (pg. 1-12)
• deel B (pg. 13-27)
• deel C (voorbeelden pg 28-33) (4.549 KB)
• deel D (voorbeelden pg 34-40) (5.485 KB)
• deel E (voorbeelden pg 41-51) (2.716 KB)
  
• OBJ-intro  ( Timothy Winkler)

Ailo (Academische Initiële Lerarenopleiding)

• Praktische informatie over vakdidactiek INFORMATICA
  

Multimedia

• Robert Cailliau and the WWW (In Dutch)

OCI

• OCI-vergaderingen
• PE-TABELLEN INFORMATICA
• DATA VERDEDIGINGEN AFSTUDEERWERKEN 1999-2000
• TOEGEKENDE THESISONDERWERPEN 2000-2001
• TOEGEKENDE THESISONDERWERPEN 2001-2002
• VOORBEELDLIJST MET KEUZEVAKKEN(2000-2001)
• VOORBEELDLIJST MET KEUZEVAKKEN(2001-2002)

• Overzicht
• Formulieren voor aanvragen van studiebeurzen
• 1e bachelor 2004-2005
• 2de kandidatuur 2004-2005
• 1e Licentie 2004-2005
• 2e Licentie 2004-2005
• Formuilieren voor Postgraduaatsbeurzen
• Formulieren voor Navorsingskredieten
  

Some interesting Internet-sites:

• Cursusbibliotheek + bibliotheek met de referentiewerken uit de ECTS-fiches
• Department of Pure Mathematics and Computer algebra
• EDU INTERNET Vlaanderen
• Argo
• Discovery Planet Onderwijs
• Virtuele School
• De Digitale School
• EUROLOGO
• Belgian Mathematical Society

Map of Ghent

Revised on 22/01/1998