Matches in SemOpenAlex for { <https://semopenalex.org/work/W3009574523> ?p ?o ?g. }
Showing items 1 to 28 of
28
with 100 items per page.
- W3009574523 abstract "16 | 0:00:00 Starten0:00:10 Kap13: Pradikatenlogik erster Stufe0:11:37 Vorkommen von Variablensymbolen in Formeln0:13:24 freie und gebundene Vorkommen von Variablensymbolen0:21:02 Substitutionen0:36:51 Kollisionsfreie Substitutionen fur Formeln0:39:06 Logisch aquivalente Formeln0:49:36 Weitere allgemeingultige Formeln0:53:25 Kapitel 14: Der Begriff des Algorithmus (einige grundlegende Aspekte)0:53:34 Kalkul0:55:53 Aussagenkalkul0:56:42 Hilbert-Kalkul0:59:54 Axiome fur Hilbert-Kalkul1:03:12 Schlussregeln fur den Hilbert-Kalkul1:05:06 Ableitungen - formal gefasst1:09:30 Beweis - formal gefasst1:09:55 Hilbert-Kalkul - korrekt und vollstandig1:12:39 Deduktionstheorem - aber nur mit Einschrankungen1:14:47 Skizze eines Beispiels1:28:22 Groszugige Benutzung von Pradikatenlogik1:29:26 Zusammenfassung" @default.
- W3009574523 created "2020-03-13" @default.
- W3009574523 creator A5015010410 @default.
- W3009574523 creator A5051932932 @default.
- W3009574523 date "2017-01-01" @default.
- W3009574523 modified "2023-09-23" @default.
- W3009574523 title "16: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 13.12.2017" @default.
- W3009574523 doi "https://doi.org/10.5445/diva/2017-789" @default.
- W3009574523 hasPublicationYear "2017" @default.
- W3009574523 type Work @default.
- W3009574523 sameAs 3009574523 @default.
- W3009574523 citedByCount "0" @default.
- W3009574523 crossrefType "journal-article" @default.
- W3009574523 hasAuthorship W3009574523A5015010410 @default.
- W3009574523 hasAuthorship W3009574523A5051932932 @default.
- W3009574523 hasConcept C155647269 @default.
- W3009574523 hasConcept C185592680 @default.
- W3009574523 hasConcept C33923547 @default.
- W3009574523 hasConceptScore W3009574523C155647269 @default.
- W3009574523 hasConceptScore W3009574523C185592680 @default.
- W3009574523 hasConceptScore W3009574523C33923547 @default.
- W3009574523 hasLocation W30095745231 @default.
- W3009574523 hasOpenAccess W3009574523 @default.
- W3009574523 hasPrimaryLocation W30095745231 @default.
- W3009574523 isParatext "false" @default.
- W3009574523 isRetracted "false" @default.
- W3009574523 magId "3009574523" @default.
- W3009574523 workType "article" @default.