 |
| 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 Mathematik I für Informatiker und Bioinformatiker; 25. Stunde |
|
| Title (alt.): | Mathematik I für Diplomkandidaten der Informatik und Bioinformatik |
| Creator: | Wolff, Manfred (author); |
| Subject: | Vorlesung; Mathematik; Aussagenlogik; Resolutionskalkül; Resolutionstheorem; Entscheidbarkeitssatz; |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2002-11-27 |
| Type: | video |
| Duration: | 00:37:52.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
 |
| Vorlesung Mathematik I für Informatiker und Bioinformatiker; 24. Stunde |
|
| Title (alt.): | Mathematik I für Diplomkandidaten der Informatik und Bioinformatik |
| Creator: | Wolff, Manfred (author); |
| Subject: | Vorlesung; Mathematik; Aussagenlogik; Resolutionskalkül; Resolutionsverfahren; Resolutionstheorem; |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2002-11-25 |
| Type: | video |
| Duration: | 00:44:27.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
 |
| Vorlesung Mathematik I für Informatiker und Bioinformatiker; 23. Stunde |
|
| Title (alt.): | Mathematik I für Diplomkandidaten der Informatik und Bioinformatik |
| Creator: | Wolff, Manfred (author); |
| Subject: | Vorlesung; Mathematik; Aussagenlogik; Konjunktive Normalform; Resolutionskalkül; Erfüllbarkeit; Kontradiktion; Implikation; |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2002-11-25 |
| Type: | video |
| Duration: | 00:42:09.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
 |
| Vorlesung Mathematik I für Informatiker und Bioinformatiker; 22. Stunde |
|
| Title (alt.): | Mathematik I für Diplomkandidaten der Informatik und Bioinformatik |
| Creator: | Wolff, Manfred (author); |
| Subject: | Vorlesung; Mathematik; Aussagenlogik; Disjunktive Normalform; Konjunktive Normalform; Logische Folgerung; |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2002-11-18 |
| Type: | video |
| Duration: | 00:42:16.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
 |
| Vorlesung Mathematik I für Informatiker und Bioinformatiker; 21. Stunde |
|
| Title (alt.): | Mathematik I für Diplomkandidaten der Informatik und Bioinformatik |
| Creator: | Wolff, Manfred (author); |
| Subject: | Vorlesung; Mathematik; Aussagenlogik; Logische Äquivalenz; Literale; Disjunktive Normalform; Konjunktive Normalform; |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2002-11-18 |
| Type: | video |
| Duration: | 00:39:31.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
 |
| Vorlesung Mathematik I für Informatiker und Bioinformatiker; 20. Stunde |
|
| Title (alt.): | Mathematik I für Diplomkandidaten der Informatik und Bioinformatik |
| Creator: | Wolff, Manfred (author); |
| Subject: | Vorlesung; Mathematik; Aussagenlogik; Interpretation; Erfüllbarkeit; Tautologie; Kontradiktion; Logische Äquivalenz; |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2002-11-13 |
| Type: | video |
| Duration: | 00:40:00.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
 |
| Vorlesung Mathematik I für Informatiker und Bioinformatiker; 19. Stunde |
|
| Title (alt.): | Mathematik I für Diplomkandidaten der Informatik und Bioinformatik |
| Creator: | Wolff, Manfred (author); |
| Subject: | Vorlesung; Mathematik; Aussagenlogik; Aussagenlogische Formel; Aussage; Semantik; Interpretation; |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2002-11-13 |
| Type: | video |
| Duration: | 00:41:18.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
|