626.015 (18S) Selected Topics in Informatics: Formal Research Methods in Computer Science

Sommersemester 2018

Anmeldefrist abgelaufen.

Erster Termin der LV
08.03.2018 16:00 - 18:00 , S.2.05
... keine weiteren Termine bekannt

Überblick

Lehrende/r
LV-Titel englisch
Selected Topics in Informatics: Formal Research Methods in Computer Science
LV-Art
Vorlesung-Kurs (prüfungsimmanente LV )
Semesterstunde/n
2.0
ECTS-Anrechungspunkte
4.0
Anmeldungen
5 (25 max.)
Organisationseinheit
Unterrichtssprache
Englisch
mögliche Sprache/n der Leistungserbringung
Englisch
LV-Beginn
08.03.2018

LV-Beschreibung

Intendierte Lernergebnisse

Objective of the course:

After attending this course, one should be able to go into arbitrary detail, depth and precision when 

  • analyzing real world and model problems
  • exploring and inventing possible solution systems
  • assessing the quality of results in the literature and the quality of existing systems
  • discussing research and development and working in teams with mixed background
  • presenting one’s work in talks, conferences, papers etc.

This should significantly improve your qualification for positions both in academy and industry.

Motto: “Five % more clarity in thinking and speaking may save / earn millions!”

Lehrmethodik

Course organization:

Block course for PhD Students at AAU, Summer Semester 2018;
three blocks of six hours each (distributed over two days):

  • March 8-9, 2018
  • April 12-13, 2018
  • June 8-11, 2018(exam on June 11)

Instructor:

Professor Bruno Buchberger

Dr.phil., Dr.h.c.mult.
Member of the Academy of Europe
Professor of Computer Mathematics

Founder of RISC, Journal of Symbolic Computation, Softwarepark Hagenberg, FH Hagenberg

bruno.buchberger@jku.at
++ 43 664 42 11 646
www.brunobuchberger.com
skype: bruno.buchberger1

Research Institute for Symbolic Computation (RISC)
Johannes Kepler University (JKU), Schloss Hagenberg, A4236 Hagenberg, Austria

Inhalt/e

Table of contents:

  • Real world modelling, model exploration, model interpretation
  • The invention spiral: problem – experimenting – conjecture – proving – proven fact – programming – method – applying – new problem …
  • The explanation matrix: preparatory questions, logical aspects versus didactic methods
  • Scripts for oral and written presentations based on the explanation matrix
  • Formal logic and Mathematica as working language
  • Formal definitions, problem specifications, theorems, algorithms
  • Formal reasoning
  • Steps towards automating the invention process (automated reasoning)
  •  Artificial and natural intelligence (Gödel’s theorem)

Erwartete Vorkenntnisse keine Anmeldevoraussetzung

This is a course for PhD students at AAU.

In this course, students will use Mathematica. Please consult https://intranet.aau.at/pages/viewpage.action?pageId=64520247 to register for, and access, this software package (campus license).

Prüfungsinformationen

Beurteilungsschema

Note/Grade Benotungsschema

Position im Curriculum

  • Doktoratsprogramm Informatics (SKZ: ---, Version: 17W.1)
    • Fach: Informatics (Pflichtfach)
      • Informatics ( 0.0h XX / 0.0 ECTS)
        • 626.015 Selected Topics in Informatics: Formal Research Methods in Computer Science (2.0h VC / 4.0 ECTS)
  • Doktoratsstudium Doktoratsstudium der Technischen Wissenschaften (SKZ: 786, Version: 12W.4)
    • Fach: Studienleistungen gem. § 3 Abs. 2a des Curriculums (Pflichtfach)
      • Studienleistungen gem. § 3 Abs. 2a des Curriculums ( 16.0h XX / 32.0 ECTS)
        • 626.015 Selected Topics in Informatics: Formal Research Methods in Computer Science (2.0h VC / 4.0 ECTS)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Diese Lehrveranstaltung ist keiner Kette zugeordnet