Benutzer:DieserGorilla
Zur Navigation springen
Zur Suche springen
|
Aktuelles
[Bearbeiten | Quelltext bearbeiten]- Das französische Parlament hat gegen den Willen der konservativen Regierung für die Einführung einer Milliardärssteuer gestimmt.
- Der Triathlet Patrick Lange (Bild) hat den Ironman Hawaii mit einem neuen Streckenrekord gewonnen.
- Nach einem Anschlag der PKK auf die Zentrale des Rüstungskonzerns Turkish Aerospace Industries haben die türkischen Luftstreitkräfte kurdische Dörfer in Syrien und im Nordirak angegriffen; dabei kamen mehr als 50 Menschen ums Leben.
Artikel des Tages
[Bearbeiten | Quelltext bearbeiten]Vorschlag für Montag, 28. Oktober 2024: Modallogik
Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst. So lassen sich innerhalb der Modallogik nicht nur Aussagen wie „Es regnet“ oder „Alle Kreise sind rund“ analysieren, sondern auch Aussagen wie „Möglicherweise regnet es“ und „Notwendigerweise sind alle Kreise rund“. Ein formales System der Modallogik entsteht dadurch, dass man einer Aussagenlogik oder Prädikatenlogik modallogische Formeln und zusätzliche Axiome bzw. Schlussregeln hinzufügt. Je nachdem von welcher Logik man ausgeht, spricht man von modallogischer Aussagen- bzw. Prädikatenlogik. Die Sprache der Modallogik enthält alle aussagen- bzw. prädikatenlogischen Formeln sowie zusätzlich alle Formeln der Gestalt und für alle modallogischen Formeln . – Zum Artikel …
Wikidata-Kurzbeschreibung für Modallogik:
Art von logischem System (Bearbeiten)
Art von logischem System (Bearbeiten)
Neue Artikel im Fachbereich Informatik
[Bearbeiten | Quelltext bearbeiten]- 27. Okt.: Netzwerkadresse · Ascomp Software · E-Logbuch der Ärztekammern · Everybody’s Golf (Computerspiel, 2011) · Everybody’s Golf
- 26. Okt.: Samsung Galaxy S24
- 25. Okt.: Gaussian Splatting · Satellite Reign
- 24. Okt.: Qualitätsmanagement-Software · Wavehouse · Grand Theft Hamlet · Samsung Galaxy A34 5G
- 23. Okt.: Gleam (Programmiersprache) · Raven’s Cry
- 22. Okt.: Compa · PDFVue
- 21. Okt.: Polygraphia · RSTS/E · Friendly Captcha · Mural (Software) · Proton VPN
- 20. Okt.: Information will frei sein · Xeno (Franchise)
- 19. Okt.: Arwen Hollweg · F1 Manager 2023 · F1 Manager · Halo World Championship
- 18. Okt.: Steganographia · E-Cycling-Weltmeisterschaften 2023 · E-Cycling-Weltmeisterschaften 2024 · Georg Nigrin · Odysee (Videoplattform)
- 17. Okt.: E-Cycling-Weltmeisterschaften 2020 · E-Cycling-Weltmeisterschaften 2022 · PrePoMax
- 16. Okt.: Ada Lovelace Tag · Skibidi Toilet · Spezialmodell S1 · Spezialmodell S2 · Star Wars: Starfighter
- 15. Okt.: OpenQA · Timberborn · Christoph Benzmüller · OpenAI Five · Safe and Secure Innovation for Frontier Artificial Intelligence Models Act · Star Wars: Jedi Starfighter
- 14. Okt.: Tabularasa (Online-Magazin) · Unicodeblock Tulu-Tigalari · Unicodeblock Ägyptische Hieroglyphen, erweitert-A