Matches in SemOpenAlex for { <https://semopenalex.org/work/W3008536492> ?p ?o ?g. }
Showing items 1 to 24 of
24
with 100 items per page.
- W3008536492 abstract "06 | 0:00:00 Start0:00:31 Aussagenlogik: Syntax0:03:29 Aufbau einer Formel0:06:44 Formale Sprachen0:08:09 Boolesche Funktionen0:11:06 Interpretation0:12:58 Gleichheit von Formeln0:14:56 Unterscheidung Syntax / Semantik0:15:49 Wahrheitstabelle0:18:15 Modelle0:20:32 Allgemeingultigkeit und Aquivalenz0:21:24 Beweis der Aquivalenz zweier Formeln0:23:07 Vorlesung 060:23:43 Tautologien anderer Bauart0:26:57 Wo sind wir?0:28:08 Kalkul0:31:58 Aussagenkalkul0:34:52 Ableitungen – formal gefasst0:37:16 Beweis – formal gefasst0:39:56 Modus Ponens0:43:43 Was ist wichtig0:44:56 Vollstandige Induktion – Beweisstruktur0:47:47 Vollstandige Induktion: Varianten0:49:54 Verallgemeinerung vollstandiger Induktion0:57:56 Induktive Definitionen1:00:04 Ackermann-Funktion1:13:14 Kapitel 7: formale Sprachen1:14:17 Produkt oder Konkatenation formaler Sprachen1:18:35 Potenzen von Sprachen" @default.
- W3008536492 created "2020-03-06" @default.
- W3008536492 creator A5015010410 @default.
- W3008536492 creator A5060964013 @default.
- W3008536492 date "2019-01-01" @default.
- W3008536492 modified "2023-09-23" @default.
- W3008536492 title "06: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 06.11.2019" @default.
- W3008536492 doi "https://doi.org/10.5445/diva/2019-834" @default.
- W3008536492 hasPublicationYear "2019" @default.
- W3008536492 type Work @default.
- W3008536492 sameAs 3008536492 @default.
- W3008536492 citedByCount "0" @default.
- W3008536492 crossrefType "journal-article" @default.
- W3008536492 hasAuthorship W3008536492A5015010410 @default.
- W3008536492 hasAuthorship W3008536492A5060964013 @default.
- W3008536492 hasConcept C138885662 @default.
- W3008536492 hasConceptScore W3008536492C138885662 @default.
- W3008536492 hasLocation W30085364921 @default.
- W3008536492 hasOpenAccess W3008536492 @default.
- W3008536492 hasPrimaryLocation W30085364921 @default.
- W3008536492 isParatext "false" @default.
- W3008536492 isRetracted "false" @default.
- W3008536492 magId "3008536492" @default.
- W3008536492 workType "article" @default.