Benutzer:DieserGorilla

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
Dieser Benutzer interessiert sich für Technik.
Dieser Benutzer schreibt hauptsächlich für die Redaktion Informatik
Qualitätssicherung
Qualitätssicherung
 Diese Person ist für Verbessern und gegen voreiliges Löschen.
Aktuelle Vandalismusintensität

niedrig (~ 25 last 60 min)

Um sicher zu gehen, dass dieser Benutzer Deine Nachricht zügig liest, kannst Du ihm eine E-Mail schicken.
Ich habe Sich­tungs­rech­te und 1.623 Ver­si­onen nach­ge­sich­tet.

Aktuelles

[Bearbeiten | Quelltext bearbeiten]

Artikel des Tages

[Bearbeiten | Quelltext bearbeiten]
Vorschlag für Montag, 28. Oktober 2024: Modallogik
Die Modallogik ist derjeni­ge Zweig der Logik, der sich mit den Folge­rungen um die Modal­begriffe möglich und notwen­dig befasst. So lassen sich innerhalb der Modal­logik nicht nur Aussagen wie „Es regnet“ oder „Alle Kreise sind rund“ analy­sieren, sondern auch Aussagen wie „Mög­licherwei­se regnet es“ und „Not­wendiger­weise sind alle Kreise rund“. Ein formales System der Modal­logik entsteht dadurch, dass man einer Aus­sagen­logik oder Prä­dikaten­logik modal­logi­sche Formeln und zu­sätzli­che Axiome bzw. Schluss­regeln hinzufügt. Je nachdem von welcher Logik man ausgeht, spricht man von modal­logi­scher Aussagen- bzw. Prä­dikaten­logik. Die Sprache der Modal­logik enthält alle aussagen- bzw. prä­dikaten­logischen Formeln sowie zusätzlich alle Formeln der Gestalt und für alle modal­logi­schen Formeln . – Zum Artikel …
Wikidata-Kurzbeschreibung für Modallogik:
Art von logischem System (Bearbeiten)
Archiv · Weitere exzellente und lesenswerte Artikel ·  RSS-Feed

Neue Artikel im Fachbereich Informatik

[Bearbeiten | Quelltext bearbeiten]
[Bearbeiten | Quelltext bearbeiten]
Abgerufen von „https://de.wikipedia.org/w/index.php?title=Benutzer:DieserGorilla&oldid=189374372“