Indholdsfortegnelse
6 relationer: Computerprogram, Datalogi, Filosofi, Fornuft, Kunstig intelligens, Matematisk logik.
- Teoretisk datalogi
Computerprogram
brugeren (engelsk ''User'') interagerer med applikationssoftware, på en typisk computer. Applikationssoftwarens lag deler grænseflade med styresystemet (engelsk ''Operating System''), som igen kommunikerer med hardware. Pilene indikerer datastrømme.
Se Automatiseret ræsonnement og Computerprogram
Datalogi
Datalogi er læren om data og behandling af data – især vha.
Se Automatiseret ræsonnement og Datalogi
Filosofi
Rembrandts maleri "Filosoffen" fra 1633 Filosofi er i det moderne Vesten videnskaben vedrørende de grundlæggende vilkår for erkendelse og moral.
Se Automatiseret ræsonnement og Filosofi
Fornuft
Allegoriske figurer for '''''fornuft''''' og '''''visdom''''' i Pietro Testas streg fra 1630. Fornuft er evnen til at bringe orden og rette proportioner i menneskets erfaringer og tænkning, evnen til bevidst at få mening ud af ting, anvende logik, etablere og verificere fakta.
Se Automatiseret ræsonnement og Fornuft
Kunstig intelligens
Sophia, der via kunstig intelligens er i stand til at føre en (form for) samtale. Kunstig intelligens er den gren inden for datalogien, der beskæftiger sig med at få maskiner til at "tænke"; det vil sige det at få dem til at kunne gå målrettet efter noget, fx at vinde over en person i et spil, eller ligesom os at undgå at holde op med at fungere, ved hjælp af påvirkninger som opfattes af sensorer.
Se Automatiseret ræsonnement og Kunstig intelligens
Matematisk logik
Matematisk logik (også kendt som symbolsk logik) er et felt i matematikken med tæt forbindelse til matematikkens grundlag, datalogi og filosofisk logik.
Se Automatiseret ræsonnement og Matematisk logik
Se også
Teoretisk datalogi
- Algoritme
- Automatiseret ræsonnement
- Formalsprog
- Idempotent
- Kvantedatabehandling
- Lambdakalkyle
- Turingmaskine