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 On Campus
... 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-Anrechnungspunkte 4.0
Anmeldungen 5 (25 max.)
Organisationseinheit
Unterrichtssprache Englisch
mögliche Sprache/n der Leistungserbringung Englisch
LV-Beginn 08.03.2018

Zeit und Ort

Liste der Termine wird geladen...

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 inkl. Einsatz von eLearning-Tools

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

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

Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.

Beurteilungsschema

Note 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