Matches in SemOpenAlex for { <https://semopenalex.org/work/W3008618398> ?p ?o ?g. }
Showing items 1 to 24 of
24
with 100 items per page.
- W3008618398 abstract "15 | 0:00:00 Start0:01:42 Kapitel 13: Pradikatenlogik erster Stufe0:02:09 Eine Grenze kontextfreier Grammatiken0:03:50 Lvv - Beispielworter0:04:22 Lvv ist nicht kontextfrei0:29:01 Uberblick0:30:15 Pradikatenlogische Formeln0:32:10 Pradikatenlogische Formeln - der Aufwand lohnt sich0:33:10 Terme - benotigte Alphabete0:35:22 Terme - Syntax0:37:41 Terme - Beispiel0:42:11 Atomare Formeln - Syntax0:45:53 Atomare Forlmeln - Beispiele0:48:31 Pradikatenlogische Formeln - Syntax0:50:51 Pradikatenlogische Formeln - Beispiele0:51:56 Was ist wichtig0:52:48 Interpretetaion0:58:02 val - ein Wert fur jeden Term und ein Wahrheitswert fur jede Formel0:59:15 val - ein Wert in D fur jeden Term1:03:22 val - ein Wahrheitswert fur jede atomare Formel1:05:31 val - Bespiel fur atomare Formeln1:09:28 val - Wahrheitswert fur quantifizierte Formeln1:11:08 val - Beispiel fur quantifizierte Formeln1:14:01 Allgemeingultige Formeln1:15:51 Allgemeingultige Formeln - aber keine Tautologien1:18:38 Modelle1:20:32 Modelle - Beispiel1:22:55 Was ist wichtig" @default.
- W3008618398 created "2020-03-06" @default.
- W3008618398 creator A5015010410 @default.
- W3008618398 creator A5051932932 @default.
- W3008618398 date "2018-01-01" @default.
- W3008618398 modified "2023-09-23" @default.
- W3008618398 title "15: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 05.12.2018" @default.
- W3008618398 doi "https://doi.org/10.5445/diva/2018-939" @default.
- W3008618398 hasPublicationYear "2018" @default.
- W3008618398 type Work @default.
- W3008618398 sameAs 3008618398 @default.
- W3008618398 citedByCount "0" @default.
- W3008618398 crossrefType "journal-article" @default.
- W3008618398 hasAuthorship W3008618398A5015010410 @default.
- W3008618398 hasAuthorship W3008618398A5051932932 @default.
- W3008618398 hasConcept C121332964 @default.
- W3008618398 hasConceptScore W3008618398C121332964 @default.
- W3008618398 hasLocation W30086183981 @default.
- W3008618398 hasOpenAccess W3008618398 @default.
- W3008618398 hasPrimaryLocation W30086183981 @default.
- W3008618398 isParatext "false" @default.
- W3008618398 isRetracted "false" @default.
- W3008618398 magId "3008618398" @default.
- W3008618398 workType "article" @default.