Matches in SemOpenAlex for { <https://semopenalex.org/work/W3009156121> ?p ?o ?g. }
Showing items 1 to 24 of
24
with 100 items per page.
- W3009156121 abstract "14 | 0:00:00 Starten0:04:48 Neutrale Elemente0:14:29 Pradikatenlogische Formeln – Beispiele0:17:15 Interpretationen0:23:47 val (D,I,s) - ein Wert fur jeden Term und ein Wahrheitswert fur jede Formel0:40:58 Allgemeingultige Formeln0:46:57 Modelle0:52:34 Was ist wichtig0:54:45 Vorkommen von Variablensymbolen in Formeln1:02:17 Substitutionen1:14:20 Weitere allgemeingultige Formeln1:15:42 Kalkule1:17:43 Axiome1:21:12 Schlussregeln1:22:30 Ableitungen – formal gefasst1:24:49 Beweis – formal gefasst" @default.
- W3009156121 created "2020-03-13" @default.
- W3009156121 creator A5015010410 @default.
- W3009156121 creator A5051932932 @default.
- W3009156121 date "2016-01-01" @default.
- W3009156121 modified "2023-09-23" @default.
- W3009156121 title "Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 07.12.2016, 14" @default.
- W3009156121 doi "https://doi.org/10.5445/diva/2016-825" @default.
- W3009156121 hasPublicationYear "2016" @default.
- W3009156121 type Work @default.
- W3009156121 sameAs 3009156121 @default.
- W3009156121 citedByCount "0" @default.
- W3009156121 crossrefType "journal-article" @default.
- W3009156121 hasAuthorship W3009156121A5015010410 @default.
- W3009156121 hasAuthorship W3009156121A5051932932 @default.
- W3009156121 hasConcept C33923547 @default.
- W3009156121 hasConceptScore W3009156121C33923547 @default.
- W3009156121 hasLocation W30091561211 @default.
- W3009156121 hasOpenAccess W3009156121 @default.
- W3009156121 hasPrimaryLocation W30091561211 @default.
- W3009156121 isParatext "false" @default.
- W3009156121 isRetracted "false" @default.
- W3009156121 magId "3009156121" @default.
- W3009156121 workType "article" @default.