Hurtigere adgang end browser!
6 relationer: Computerprogram, Datalogi, Filosofi, Fornuft, Kunstig intelligens, Matematisk logik.
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. Et stykke computersoftware eller kortere software også kaldet programmel, udgøres af et eller flere computerprogrammer.
Ny!!: Automatiseret ræsonnement og Computerprogram · Se mere »
Datalogi
Datalogi er læren om data og behandling af data – især vha.
Ny!!: Automatiseret ræsonnement 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!!: Automatiseret ræsonnement og Filosofi · Se mere »
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.
Ny!!: Automatiseret ræsonnement og Fornuft · Se mere »
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.
Ny!!: Automatiseret ræsonnement og Kunstig intelligens · Se mere »
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.
Ny!!: Automatiseret ræsonnement og Matematisk logik · Se mere »
