Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

IB112 Matematické základy

Interaktivní osnova

IB112 Matematické základy

Základy matematické logiky

Slajdy k tématu "Základy matematické logiky"

23. 3. 2011 - výroková logika
30. 3. 2011 - axiomatický systém pro výrokovou logiku, predikátová logika
6. 4. 2011 - dokončení predikátové logiky.

Předchozí

IB112 Matematické základy
- Nyní studovat
  
  Informace o předmětu (včetně systému hodnocení)
- Nyní studovat
  
  Základy naivní teorie množin, relace, zobrazení, číselné obory
- Nyní studovat
  
  Základy matematické logiky
- Nyní studovat
  
  Řešení soustavy lineárních rovnic, matice, vektory
- Nyní studovat
  
  Základy kombinatoriky a kombinatorická pravděpodobnost
- Nyní studovat
  
  Základy popisné statistiky
- Nyní studovat
  
  Grafy

Operace

Prohlédnout vše