Matches in SemOpenAlex for { <https://semopenalex.org/work/W3007613977> ?p ?o ?g. }
Showing items 1 to 28 of
28
with 100 items per page.
- W3007613977 abstract "16 | 0:00:00 Start0:00:48 Pradikatenlogik0:07:53 Modelle0:13:10 Beschreibung formaler Sprachen0:16:53 Logische Aquivalenz0:24:24 Algorithmusbegriff informell0:28:00 Diskussion des informellen Algorithmusbegriffs0:32:22 Korrektheit eines Algorithmus - wie beweist man sie?0:34:17 Eine einfache Programmiersprache0:35:52 Hoare-Tripel0:50:20 Ableitungsregeln1:01:41 Regel HT-I1:08:26 Regel HT-W1:23:54 Schleifeninvariante" @default.
- W3007613977 created "2020-03-06" @default.
- W3007613977 creator A5015010410 @default.
- W3007613977 creator A5060964013 @default.
- W3007613977 date "2019-01-01" @default.
- W3007613977 modified "2023-09-23" @default.
- W3007613977 title "16: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 11.12.2019" @default.
- W3007613977 doi "https://doi.org/10.5445/diva/2019-979" @default.
- W3007613977 hasPublicationYear "2019" @default.
- W3007613977 type Work @default.
- W3007613977 sameAs 3007613977 @default.
- W3007613977 citedByCount "0" @default.
- W3007613977 crossrefType "journal-article" @default.
- W3007613977 hasAuthorship W3007613977A5015010410 @default.
- W3007613977 hasAuthorship W3007613977A5060964013 @default.
- W3007613977 hasConcept C121332964 @default.
- W3007613977 hasConcept C138885662 @default.
- W3007613977 hasConcept C33923547 @default.
- W3007613977 hasConceptScore W3007613977C121332964 @default.
- W3007613977 hasConceptScore W3007613977C138885662 @default.
- W3007613977 hasConceptScore W3007613977C33923547 @default.
- W3007613977 hasLocation W30076139771 @default.
- W3007613977 hasOpenAccess W3007613977 @default.
- W3007613977 hasPrimaryLocation W30076139771 @default.
- W3007613977 isParatext "false" @default.
- W3007613977 isRetracted "false" @default.
- W3007613977 magId "3007613977" @default.
- W3007613977 workType "article" @default.