 |
| Vorlesung Informatik 1, 44. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; DrScheme; Mathematische Logik; Modelltheorie; Beweistheorie; Logische Kalküle; Sequenzenkalkül; Aussagenlogik; |
| Abstract: | anzeigen... |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2009-01-20 |
| Type: | video |
| Duration: | 00:43:23.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
 | |
|
 |
| Vorlesung Informatik 1, 43. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; DrScheme; Suchbäume; Beobachtungskontext; Logische Kalküle; Logik; Wahrheit; Elementare Aussagen; Zusammengesetzte Aussagen; |
| Abstract: | anzeigen... |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2009-01-20 |
| Type: | video |
| Duration: | 00:41:10.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
|