Vorhilfe
Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!
[
einloggen
|
registrieren
]
Startseite
·
Forum
·
Wissen
·
Kurse
·
Mitglieder
·
Team
·
Impressum
Forenbaum
Forenbaum
Englisch
Grammatik
Lektüre
Korrekturlesen
Übersetzung
Sonstiges (Englisch)
Gezeigt werden alle Foren bis zur Tiefe
2
Navigation
Startseite
...
Neuerdings
beta
neu
Forum
...
vor
wissen
...
vor
kurse
...
Werkzeuge
...
Nachhilfevermittlung
beta
...
Online-Spiele
beta
Suchen
Verein
...
Impressum
Das Projekt
Server
und Internetanbindung werden durch
Spenden
finanziert.
Organisiert wird das Projekt von unserem
Koordinatorenteam
.
Hunderte Mitglieder
helfen ehrenamtlich in unseren
moderierten
Foren
.
Anbieter der Seite ist der gemeinnützige Verein "
Vorhilfe.de e.V.
".
Partnerseiten
Weitere Fächer:
Vorhilfe.de
FunkyPlot
: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Logik" - Erfüllbarkeitsalgorithmus
Erfüllbarkeitsalgorithmus
<
Logik
<
Logik+Mengenlehre
<
Hochschule
<
Mathe
<
Vorhilfe
Ansicht:
[ geschachtelt ]
|
Forum "Logik"
|
Alle Foren
|
Forenbaum
|
Materialien
Erfüllbarkeitsalgorithmus: Frage (überfällig)
Status
:
(Frage) überfällig
Datum
:
17:50
Di
23.11.2010
Autor
:
Manu87
Aufgabe
Beschreiben Sie einen Algorithmus, der für alle Formeln [mm] \phi [/mm] in DNF in polynomialer Zeit entscheidet, ob [mm] \phi [/mm] erfüllbar ist.
omg? ist das überhaupt noch Logik?
Weiß mir einer Rat wie ich vorgehen soll?
Bezug
Erfüllbarkeitsalgorithmus: Fälligkeit abgelaufen
Status
:
(Mitteilung) Reaktion unnötig
Datum
:
18:22
Do
25.11.2010
Autor
:
matux
$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht:
[ geschachtelt ]
|
Forum "Logik"
|
Alle Foren
|
Forenbaum
|
Materialien
www.englischraum.de
[
Startseite
|
Forum
|
Wissen
|
Kurse
|
Mitglieder
|
Team
|
Impressum
]
