Matches in SemOpenAlex for { <https://semopenalex.org/work/W3009953957> ?p ?o ?g. }
Showing items 1 to 28 of
28
with 100 items per page.
- W3009953957 abstract "05 | 0:00:00 Start0:10:20 Auswertung von Formeln - ein Beispiel0:12:41 Auswertung einer Formel fur alle Interpretation0:15:46 Aquivalente Formeln0:18:59 kleine Randbemerkung - Auffassung einer Formel als Abbildung0:21:34 Modelle0:25:59 Wichtige Spezialfalle aussagenlogischer Formeln0:30:25 Tautologien - viele Beispiele auf ein Mal0:32:18 Zwei Aquivalenz ,,Begriffe'' die zusammenpassen0:33:51 Tautologien - konkreten Beispiele0:34:22 Tautologien anderer Bauart0:35:29 Beweisbarkeit0:36:39 Kalkul0:39:13 Aussagenkalkul0:41:50 Ableitungen0:46:40 Beweis0:53:27 Modus Ponens ,,erhalt Allgemeingultigkeit''0:55:56 Alle Theoreme des Aussagenkalkuls sind Tautologien0:57:24 Die umgekehrte Richtung gilt auch0:59:40 Ein Beispiel fur die Nutzlichkeit des Kalkuls1:02:07 Fortsetzung des Beweises1:02:59 Was ist wichtig1:08:31 Vollstandige Induktion1:08:45 Eine Erinnerung1:10:12 Das Lemma uber Wortlangen" @default.
- W3009953957 created "2020-03-13" @default.
- W3009953957 creator A5015010410 @default.
- W3009953957 creator A5051932932 @default.
- W3009953957 date "2018-01-01" @default.
- W3009953957 modified "2023-09-23" @default.
- W3009953957 title "05: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 31.10.2018" @default.
- W3009953957 doi "https://doi.org/10.5445/diva/2018-792" @default.
- W3009953957 hasPublicationYear "2018" @default.
- W3009953957 type Work @default.
- W3009953957 sameAs 3009953957 @default.
- W3009953957 citedByCount "0" @default.
- W3009953957 crossrefType "journal-article" @default.
- W3009953957 hasAuthorship W3009953957A5015010410 @default.
- W3009953957 hasAuthorship W3009953957A5051932932 @default.
- W3009953957 hasConcept C114614502 @default.
- W3009953957 hasConcept C138885662 @default.
- W3009953957 hasConcept C33923547 @default.
- W3009953957 hasConceptScore W3009953957C114614502 @default.
- W3009953957 hasConceptScore W3009953957C138885662 @default.
- W3009953957 hasConceptScore W3009953957C33923547 @default.
- W3009953957 hasLocation W30099539571 @default.
- W3009953957 hasOpenAccess W3009953957 @default.
- W3009953957 hasPrimaryLocation W30099539571 @default.
- W3009953957 isParatext "false" @default.
- W3009953957 isRetracted "false" @default.
- W3009953957 magId "3009953957" @default.
- W3009953957 workType "article" @default.