5 relationer: Datalogi, Filosofi, Logik, Logisk konnektiv, Matematik.
Datalogi
Datalogi er læren om data og behandling af data – især vha.
Ny!!: Modallogik og Datalogi · Se mere »
Filosofi
Rembrandts maleri "Filosoffen" fra 1633 Filosofi er i det moderne Vesten videnskaben vedrørende de grundlæggende vilkår for erkendelse og moral.
Ny!!: Modallogik og Filosofi · Se mere »
Logik
Den græske tænker og filosof Aristoteles anses som faderen til den klassiske logik. Logik (fra græsk λόγος, logos.
Ny!!: Modallogik og Logik · Se mere »
Logisk konnektiv
Et logisk konnektiv er en afbildning, som kombinerer nogle (ofte to) udsagn til ét, således at sandhedsværdien for det samlede udsagn udelukkende afhænger af sandhedsværdierne for de indgående udsagn.
Ny!!: Modallogik og Logisk konnektiv · Se mere »
Matematik
Matematiklærer ved tavlen. Rafael. Eksempel på sammenhæng mellem algebra og geometri. Mandelbrotmængden er et eksempel på en fraktal. Perspektiviske trekanter. Forlænger man trekanternes respektive sider, mødes disse forlængelser (grå ubrudte) på en ret linje kaldet perspektivaksen. Linjer (blå prikkede) gennem trekanternes respektive hjørner vil mødes i perspektivcentret (forsvindingspunktet). - Allerede i 1600-tallet beviste den franske matematiker Girard Desargues, at hvis det første gælder, vil det andet også gælde, og omvendt. Matematik (fra oldgræsk μάθημα; máthēma: 'viden, læring, studie') er et vidensområde, der omfatter emner som tal (aritmetik og talteori), formler og relaterede strukturer (algebra), former og rummene, hvori de er indesluttet (geometri), og mængder og deres ændringer (kalkulus og analyse).
Ny!!: Modallogik og Matematik · Se mere »