Anti-Scepticism within the Jewish Averroist School

Scepticism at the Service of Revelation: Logic and epistemology in Judah Halevi’s "Kuzari"

Does Maimonides’ Theory of Parables in the Guide of the Perplexed Support a Sceptical Reading of the Work?

Between Philosophic Optimism and Fideistic Scepticism: An Overview of Medieval Jewish Philosophy

The Sex Life of a Metaphysical Sceptic: Platonic Themes in Gersonides’ Commentary on Song of Songs

Hasdai Crescas’ Sceptical Critique of Maimonides

On the Role of Certain and Near-Certain Knowledge in Maimonides’ Religious Philosophy

Automatic Sentiment Translation

28 - Speicherhierarchie Teil 2

27 - Parallelarchitekturen und Speicherhierarchie

26 - Pipelining und Parallelarchitekturen

25 - Dynamische Speicherverwaltung

24 - Assembler Programmierung Teil 3

23 - Assembler Programmierung Teil 2

22 - Assembler Progammierung

21 - Warum Assembler?

20 - Instruction Set Architecture Teil 2

19 - Instruction Set Architecture Teil 2 - Befehlsformate

18 - Rechnerarchitektur Teil 3 und Instruction Set Architecture

17 - Rechnerachitektur Teil 2

16 - Schaltwerke Teil 2 sowie Rechnerarchitektur

15 - Schaltwerke

14 - Schaltnetze Teil 2

13 - Schaltnetze

12 - Schaltfunktionen und HADES Editior

11 - Codierung - Hamming Code

10 - Fehlererkennende Codes

9 - Codierung - Symbolhäufigkeiten

8 - Logische Operationen und Codierung

7 - Zeichen und Text

5 - Gleitkommazahlen

4 - Ziffern und Zahlen

3 - Moores Law

2 - Digitalrechner

1 - Einführung

14 - aktive Datenstrukturen Teil 2

13 - Scheme in Prolog Teil 3 und Aktive Datenstrukturen

12 - Scheme in Prolog Teil 2

11 - Scheme in Prolog

10 - Prädikate höherer Ordnung Teil 2, Metaprogrammierung

9 - Extra- und Metalogische Prädikate und Prädikate höherer Ordnung

8 - Verkettete Listen Teil 3

7 - Verkettete Listen Teil 2

6 - Rekursive Datenstrukturen Teil 3 und Verkettete Listen

5 - Rekursive Datenstrukturen Teil 2

4 - Deduktive Datenbanken und Rekursive Datenstrukturen

3 - komplexe Anfragen, deduktion, rekursion

2 - Relationale Datenbanken

1 - Allgemeines und Programmierparadigmen

13 - General Problem Solver und Zusammenfassung

12 - Meta- und Stromorientierte Programmierung sowie Programmieren mit Zuständen

11 - Relationale Programmierung

10 - Entwurf eines ereingnisorientierten Simulationssystem

9 - Pattern Matching Teil 2 und Objektorientierte Programmierung

8 - Backtracking, Nichtdeterminismus und Pattern Matching

7 - GUI und kombinatorische Logik

6 - Der Entwurf von Funktionen

5 - Rekursion

4 - Semantik, Korrektheit und Spezifikation

3 - Datenabstraktion in Racket

2 - Das Racket-System

1 - Einführung

Vorlesung 14

Vorlesung 13

Vorlesung 12

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 2

Vorlesung 1

Diskrete Mathematik - Informatik 1. Semester 23.12.2016

Diskrete Mathematik - Informatik 1. Semester 03.02.2017

Diskrete Mathematik - Informatik 1. Semester 02.02.2017

Diskrete Mathematik - Informatik 1. Semester 27.01.2017

Diskrete Mathematik - Informatik 1. Semester 20.01.2017

Diskrete Mathematik - Informatik 1. Semester 13.01.2017

Diskrete Mathematik - Informatik 1. Semester 12.01.2017

Diskrete Mathematik - Informatik 1. Semester 22.12.2016

Diskrete Mathematik - Informatik 1. Semester 16.12.2016

Diskrete Mathematik - Informatik 1. Semester 15.12.2016

Diskrete Mathematik - Informatik 1. Semester 09.12.2016

Diskrete Mathematik - Informatik 1. Semester 08.12.2016

Diskrete Mathematik - Informatik 1. Semester 02.12.2016

Diskrete Mathematik - Informatik 1. Semester 01.12.2016

Diskrete Mathematik - Informatik 1. Semester 25.11.2016

Diskrete Mathematik - Informatik

Diskrete Mathematik - Informatik 1. Semester 17.11.2016

Herkunftsregionen und Fluchtursachen: Syrien und Irak. Konfliktgeschichte und aktuelle Lage

Der eritreische Nationaldienst und seine Auswirkungen auf die Gesellschaftsstruktur

Grundinformationen Asyl- und Ausländerrecht für Flüchtlingsunterstützer/innen

Zwischen Exklusion und Turbointegration. Alternative Lösungsansätze für die Integration von Flüchtlingen in den Arbeitsmarkt

Freiwilliges Engagement in der Flüchtlingsarbeit als Berufsvorbereitung und Qualifizierung für Akademiker/innen?

Bilder von Geflüchteten im öffentlichen Raum

Refugee Rights – Aspirations and Reality in USA, Germany/Europe and South Africa

Was ist Volkskunde/Kulturanthropologie? Zur historischen, sozialen und kognitiven Identität des Fachs

Theorien & Epistemologien / Disziplinäres - Repräsentationen kulturanthropologischer Forschung

Theorien & Epistemologien - Historische Forschungszugänge

Theorien & Epistemologien - Forschungsfelder, Feldzugänge & Assemblagen

Theorien & Epistemologien - Dinge, Netzwerke, Infrastrukturen

Theorien & Epistemologien - Soziale Praxis

Theorien & Epistemologien - Symbole und Diskurse

Theorien & Epistemologien - Kulturtheorien/Kulturbegriff

Phänomene & Gegenstände - Materialität & Technizität

Phänomene & Gegenstände - Medialität

Phänomene & Gegenstände - Soziale und kulturelle Räume

Binärbäume

Natürliche Zahlen

Listen

Nicht-rekursive Datentypen

Theoreme zu Gleichheit, Lambda-Ausdrücke, Suchen

Prädikatenlogik mit Gleichheit in Coq

Prädikatenlogische Regeln mit Gleichheit

Aussagenlogik in Coq Teil 2 und Formalisierung durch Prädikatenlogik

Aussagenlogik in Coq Teil 1

Aussagenlogische Regeln Teil 2 und Kurzeinführung in Coq

Aussagenlogische Regeln Teil 1

Mathematisches Argumentieren