Matches in SemOpenAlex for { <https://semopenalex.org/work/W3009664213> ?p ?o ?g. }
Showing items 1 to 32 of
32
with 100 items per page.
- W3009664213 abstract "06 | 0:00:00 Start0:00:17 Vollstandige Induktion 0:10:03 Varianten der vollstandigen Induktion 0:16:24 Verallgemeinerung 0:25:47 Induktive Definitionen 0:28:28 Ackermann-Funktion 0:37:33 Was ist wichtig? 0:41:28 Anfang der Ubung 0:41:56 Boolesche Funktion 0:43:50 Interpretation 0:46:59 Unterscheidung Syntax/Semantik 0:48:50 Gleichheit von Formeln 0:51:20 Wahrheitstabelle 0:54:01 Modelle 0:55:55 Allgemeingultigkeit und Aquivalenz 0:58:07 Beweisen mit Aquivalenz1:01:06 Vollstandige Induktion 1:03:40 Beispiel 1:05:28 Beliebte Fehler 1:09:51 induktive Definitionen 1:13:58 Starke Induktion" @default.
- W3009664213 created "2020-03-13" @default.
- W3009664213 creator A5015010410 @default.
- W3009664213 creator A5051932932 @default.
- W3009664213 creator A5075494871 @default.
- W3009664213 date "2018-01-01" @default.
- W3009664213 modified "2023-09-23" @default.
- W3009664213 title "06: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 02.11.2018" @default.
- W3009664213 doi "https://doi.org/10.5445/diva/2018-798" @default.
- W3009664213 hasPublicationYear "2018" @default.
- W3009664213 type Work @default.
- W3009664213 sameAs 3009664213 @default.
- W3009664213 citedByCount "0" @default.
- W3009664213 crossrefType "journal-article" @default.
- W3009664213 hasAuthorship W3009664213A5015010410 @default.
- W3009664213 hasAuthorship W3009664213A5051932932 @default.
- W3009664213 hasAuthorship W3009664213A5075494871 @default.
- W3009664213 hasConcept C138885662 @default.
- W3009664213 hasConcept C207467116 @default.
- W3009664213 hasConcept C33436860 @default.
- W3009664213 hasConcept C41895202 @default.
- W3009664213 hasConceptScore W3009664213C138885662 @default.
- W3009664213 hasConceptScore W3009664213C207467116 @default.
- W3009664213 hasConceptScore W3009664213C33436860 @default.
- W3009664213 hasConceptScore W3009664213C41895202 @default.
- W3009664213 hasLocation W30096642131 @default.
- W3009664213 hasOpenAccess W3009664213 @default.
- W3009664213 hasPrimaryLocation W30096642131 @default.
- W3009664213 isParatext "false" @default.
- W3009664213 isRetracted "false" @default.
- W3009664213 magId "3009664213" @default.
- W3009664213 workType "article" @default.