 |
| 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... |
|
|
|
|
|
|
| |
|
|