formale Logik - Info

Glossar | Kategorie wählen | Hilfe

Fehler?

formale Logik

Programmierung-Fachbegriffe

Die formale Logik wird z.B. bei der Überprüfung der Fehlerfreiheit von Programmen eingesetzt und untersucht ohne Beachtung der Wahrheit des Arguments logische Ausdrücke, Verkettungen und die Gesamtkonstruktion eines gültigen Arguments.

Siehe auch: Logik, geteilte Logik, negative Logik, positive Logik, stromgesteuerte Logik, symbolische Logik .

Person(en):
Zeitraum:
Firma:

kein Eintrag vorhanden
- -
kein Eintrag vorhanden

Es gibt 10 weiterführende Erklärungen oder Definitionen:

Fehler, geteilte Logik, Kettung, Logik, negative Logik, positive Logik, Programm, stromgesteuerte Logik,

Symbol, symbolische Logik

Veröffentlicht am:
Zuletzt bearbeitet am:
Referenz:

05.05.2004 von Wilhelm Janssen (7094) Beiträge
07.07.2004 von Carsten Kühn
at-mix

Druckversion

Navigation

	Home
	Internet
	e Commerce
	Kontakt
	Partnerprogramm
	Lexikon

News-Rubriken
	Computer / Internet
	Daten-Sicherheit
	E-Commerce
	E-Learning
	Online-Recht
	Sonstiges
	Technologie
	Telekommunikation

Besuchte Seiten
	formale Logik
	Form Feed
	Force Feedback
	FOP
	Footer Link

Begriffslisten
	Lexikon top 100
	Lexikon last 100
	Lexikon Gesamtliste

Empfehlung:
	Computer Kurs Täglich neue Fragen und Antworten die Ihr Wissen bereichern!

Empfehlung?
	Sie haben: Ein Online-Lexikon! Sie möchten: Einen Link! Sprechen Sie mit uns!

Bei WinTotal finden Sie Programme und Tools für Microsoft Windows

Werbung

Lexikon last 5
	Dump (7051)
	formale Logik (4738)
	Doom (12915)
	Nassi Shneiderman...
	Touchpad (9533)

Aktuelle Forenbeiträge
	-== С&am...
	Sag mir ob diese w...
	HTML luppt nicht, ...
	at-mix in der Comp...
	Welches ist das be...

Bei Validome können Sie Ihre Website auf barrierefreies HTML testen