626.015 (18S) Selected Topics in Informatics: Formal Research Methods in Computer Science
Ü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
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
Beurteilungsschema
Note BenotungsschemaPosition 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)
-
Informatics (
0.0h XX / 0.0 ECTS)
-
Fach: Informatics
(Pflichtfach)
- 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)
-
Studienleistungen gem. § 3 Abs. 2a des Curriculums (
16.0h XX / 32.0 ECTS)
-
Fach: Studienleistungen gem. § 3 Abs. 2a des Curriculums
(Pflichtfach)