Add to watchlist
Back

 

52345-01 - Main lecture: Einführung in die Logik 6 CP

Semester fall semester 2018
Course frequency Irregular
Lecturers Fabrizio Barroero (fabrizio.barroero@unibas.ch, Assessor)
Content Set Theory: posets, ordinals and cardinals.
Model Theory: first order structures and formulas, the compactness theorem.
Bibliography Script on ADAM.
Other references:
M. Ziegler, Mathematische Logik
K. Hrbacek, T. Jech, Introduction to set theory
T. Jech, Set theory
J. Bell, A. Slomson, Models and ultraproducts
H. Ebbinghaus, J. Flum, W. Thomas, Mathematical logic
W. Hodges, A shorter model theory
Comments Office hours: Tuesday 14:00-16:00

 

Admission requirements Analysis I and II. Lineare Algebra I and II.
Language of instruction English
Use of digital media No specific media used
Course auditors welcome

 

Interval Weekday Time Room

No dates available. Please contact the lecturer.

Modules Module: Algebra and Number Theory (Bachelor's Studies: Mathematics)
Assessment format main lecture exam
Assessment details Oral exam between 23.1.2019 and 1.2.2019.
The students will be asked to solve (variations of) exercises from the exercise sheets and the material covered during the lectures.
Assessment registration/deregistration Reg.: in 'course reg.'; dereg.: Dean of Std. Off. in writing
Repeat examination one repetition, best attempt counts
Scale 1-6 0,5
Repeated registration no repetition
Responsible faculty Faculty of Science, studiendekanat-philnat@unibas.ch
Offered by Fachbereich Mathematik

Back