Login
Registrieren
Frage?
Alle Fragen
Neue Fragen 🙋
Offene Fragen
Liveticker ⌚
Stichwörter/Themen 🏷️
Mitglieder
Alle Mitglieder 👪
Beste Informatiker 🏆
Monatsbeste
Jahresbeste
Punktesystem
Auszeichnungen 🏅
Community Chat 💬
Communities
Aktuelle Fragen
Chemie ⚗️
Informatik 💾
Mathematik 📐
Physik 🚀
Übersicht
Stell deine Frage
Fragen mit Stichwort logik
+
0
Daumen
1
Antwort
Term in KNF umformen
Gefragt
12 Jan 2021
von
Timo001
logik
+
0
Daumen
1
Antwort
Sequenzenkalkül Prädikatenlogik
Gefragt
30 Jan 2020
von
Anton Hermann
logik
terme
sequenzen
kalkül
+
0
Daumen
1
Antwort
Die pränexe Normalform
Gefragt
17 Jan 2020
von
Anton Hermann
logik
aussagenlogik
+
0
Daumen
1
Antwort
Rückführung in Aussagenlogik
Gefragt
21 Dez 2019
von
Max Mustermann0001
aussagenlogik
formel
logik
+
0
Daumen
1
Antwort
Mittelwert aller Elemente eines mehrdimensionalen Arrays
Gefragt
19 Dez 2019
von
justusbumm
logik
algorithmus
java
+
0
Daumen
1
Antwort
Aussagenlogik: Estelle im Sequenzenkalkül Links- und Rechts-Regeln für: if P then Q else R := P ∧ Q ∨ ¬P ∧ R
Gefragt
14 Dez 2019
von
FatalDestiniy08
logik
sequenzen
kalkül
terme
aussagenlogik
+
0
Daumen
1
Antwort
Beweis mit Sequenzenkalkül
Gefragt
14 Dez 2019
von
CasioFxPLUS
logik
boolesche
terme
+
0
Daumen
1
Antwort
C++ : Logische Aussagen aus gegebenen natürlichen Sätzen umformen.
Gefragt
3 Dez 2019
von
limonade
logik
c
cpp
+
0
Daumen
1
Antwort
Hilbert-Kalkül Aussagenlogik
Gefragt
2 Dez 2019
von
Ahnungslos007
aussagenlogik
logik
terme
boolesche
+
0
Daumen
1
Antwort
Subsumieren von Klauseln
Gefragt
29 Nov 2019
von
JoachimHall
rekursiv
logik
rechnerarchitektur
+
0
Daumen
1
Antwort
Logik Resolventenmethode - Klauseln K und K'
Gefragt
29 Nov 2019
von
Anton Hermann
logik
baum
rekursiv
aussagenlogik
+
0
Daumen
1
Antwort
Boolesche Junktoren darstellen
Gefragt
9 Nov 2019
von
Ahnungslos007
boolesche-algebra
logik
aussagenlogik
+
0
Daumen
1
Antwort
Aussagenlogik Äquivalenzen: F:=A1∧A3→(¬A2∨¬A1), G1:=A1→A2, G2:=A1∨A2 α:=[A1→1,A2→0,A3→1]
Gefragt
8 Nov 2019
von
Anton Hermann
aussagenlogik
logik
boolesche
terme
+
0
Daumen
1
Antwort
Strukturelle Induktion Logik
Gefragt
2 Nov 2019
von
ServusTV
induktion
rekursiv
logik
aussagenlogik
+
0
Daumen
1
Antwort
Schachtelungstiefe von Formeln als rekursive Funktion definieren
Gefragt
1 Nov 2019
von
Anton Hermann
tiefe
schachtelung
rekursiv
logik
funktion
+
+2
Daumen
1
Antwort
2
Logische Signaturen auf funktionale Vollständigkeit prüfen
Gefragt
25 Okt 2019
von
Vikiller94
vollständigkeit
boolesche
logik
äquivalenz
signatur
+
0
Daumen
1
Antwort
Syntax und Semantik. Syntaktisch korrekte SASP Programme sind durch folgende Grammatik definiert
Gefragt
25 Okt 2019
von
Vikiller94
grammatik
syntax
logik
aussagenlogik
+
0
Daumen
1
Antwort
Syntaktische Korrektheit Aussagenlogik
Gefragt
23 Okt 2019
von
Rapiz
aussagenlogik
logik
+
+1
Daumen
1
Antwort
1
Wie kann man diese Schaltung zeichnen?
Gefragt
19 Mai 2019
von
Mero1
logik
dekoder
schaltung
+
+1
Daumen
1
Antwort
1
Wie kann man diese Schaltung zeichnen?
Gefragt
19 Mai 2019
von
Mero1
logik
schaltung
register
Seite:
« vorherige
1
2
3
4
5
nächste »
Made by a lovely
community