Indice
15 relazioni: Abduzione, Benchmark (informatica), Computer, Dimostrazione automatica di teoremi, Filosofia, Induzione, Informatica, Informatica teorica, Intelligenza artificiale, Lingua (linguistica), Model checking, Programma (informatica), Programmazione logica, Ragionamento continuo, Senso comune.
- Logica nell'informatica
- Teorie dell'informatica
Abduzione
Il termine abduzione (dal latino ab ducere, condurre da) indica un sillogismo in cui la premessa maggiore è certa mentre quella minore è solamente probabile.
Vedere Ragionamento automatico e Abduzione
Benchmark (informatica)
Con il termine benchmark si intende un insieme di test (collaudo o prova) del software volti a fornire una misura delle prestazioni di un computer per quanto riguarda diverse operazioni.
Vedere Ragionamento automatico e Benchmark (informatica)
Computer
Un computer (pronuncia italiana), in italiano anche noto come elaboratore o calcolatore, è una macchina automatizzata programmabile in grado di eseguire sia complessi calcoli matematici (calcolatore) sia altri tipi di elaborazioni dati (elaboratore).
Vedere Ragionamento automatico e Computer
Dimostrazione automatica di teoremi
La dimostrazione automatica di teoremi (in inglese Automated theorem proving o ATP) o deduzione automatica, è il sottocampo più sviluppato del ragionamento automatico.
Vedere Ragionamento automatico e Dimostrazione automatica di teoremi
Filosofia
La filosofia (philosophía, composto di φιλεῖν (phileîn), "amare", e σοφία (sophía), "sapienza" o "saggezza", ossia "amore per la sapienza") è lo studio sistematizzato di questioni generali e fondamentali, come quelle sull'esistenza, il senso della vita, la ragione, la conoscenza, i valori, la mente e il linguaggio.
Vedere Ragionamento automatico e Filosofia
Induzione
Il metodo induttivo o induzione (dal latino inductio, dal verbo induco, presente di in-ducere), termine che significa letteralmente «portar dentro», ma anche «chiamare a sé», «trarre a sé», è un procedimento che cerca di stabilire una legge universale partendo da singoli casi particolari.
Vedere Ragionamento automatico e Induzione
Informatica
Linformatica è la scienza o disciplina che si occupa del trattamento dell'informazione mediante procedure automatizzate, avendo in particolare per oggetto lo studio dei fondamenti teorici dell'informazione, della sua computazione a livello logico e delle tecniche pratiche per la sua implementazione e applicazione in sistemi elettronici automatizzati detti quindi sistemi informatici; come tale è una disciplina fortemente connessa con la logica matematica, l'automatica, l'elettronica e anche l'elettromeccanica.
Vedere Ragionamento automatico e Informatica
Informatica teorica
L'informatica teorica è una branca dell'informatica e della matematica che riguarda gli aspetti più astratti e matematici della computazione, come la teoria della computazione, la semantica della programmazione e la teoria della complessità computazionale.
Vedere Ragionamento automatico e Informatica teorica
Intelligenza artificiale
Lintelligenza artificiale (in sigla IA o AI, dall'inglese Artificial Intelligence), nel suo significato più ampio, è la capacità (o il tentativo) di un sistema artificiale (tipicamente un sistema informatico) di simulare l'intelligenza umana attraverso l'ottimizzazione di funzioni matematiche.
Vedere Ragionamento automatico e Intelligenza artificiale
Lingua (linguistica)
La lingua è il sistema o forma storicamente determinata attraverso il quale gli appartenenti a una comunità si esprimono e comunicano tra loro attraverso l'uso di un determinato linguaggio ovvero un insieme di segni scritti (simboli) e/o parlati (suoni).
Vedere Ragionamento automatico e Lingua (linguistica)
Model checking
Il model checking è un metodo per verificare algoritmicamente i sistemi formali. Viene realizzato mediante la verifica del modello, spesso derivato dal modello hardware o software, soddisfacendo una specifica formale.
Vedere Ragionamento automatico e Model checking
Programma (informatica)
In informatica, un programma è una sequenza di istruzioni codificate in un linguaggio interpretabile da un elaboratore, espressione di un algoritmo per la risoluzione automatica di una certa classe di problemi.
Vedere Ragionamento automatico e Programma (informatica)
Programmazione logica
In informatica la programmazione logica è un paradigma di programmazione nato negli anni '70 che adotta la logica del primo ordine sia per rappresentare sia per elaborare l'informazione.
Vedere Ragionamento automatico e Programmazione logica
Ragionamento continuo
Il ragionamento continuo (o continuous reasoning, CR) è una metodologia di ragionamento automatico che sfrutta la composizionalità per analizzare sistemi di larga scala in modo differenziale.
Vedere Ragionamento automatico e Ragionamento continuo
Senso comune
La locuzione senso comune è intesa dalla filosofia in polemica con il razionalismo, lo scetticismo e l'idealismo, come una capacità originaria dell'uomo in grado di riconoscere in modo immediato, ricorrendo all'uso della "ragione naturale", i fondamentali principi del conoscere (per es.
Vedere Ragionamento automatico e Senso comune
Vedi anche
Logica nell'informatica
- Aritmetica di Presburger
- Asserzione (informatica)
- Assiomi di Peano
- Backward chaining
- Base di connettivi
- Bisimulazione
- Circuito booleano
- Circuito combinatorio
- Circuito sequenziale
- Clausola di Horn
- Logica combinatoria
- Logica della computabilità
- Logica dinamica
- Logica fuzzy
- Logica intuizionista
- Mappa di Karnaugh
- Model checking
- Postcondizione
- Precondizione
- Race condition
- Ragionamento automatico
- Riscrittura
- Semantica denotazionale
- Semantica formale
- Semantica operazionale
- Soddisfacibilità booleana
- Teoria dei tipi intuizionista
- Verifica formale
Teorie dell'informatica
- Algoritmo
- Algoritmo quantistico
- Algoritmo ricorsivo
- Bisimulazione
- Classe di complessità
- Computazione
- Computazione naturale
- Computazione quantistica
- Definizione ricorsiva
- European Association for Theoretical Computer Science
- Idempotenza
- Informatica teorica
- Institut national de recherche en informatique et en automatique
- Lambda calcolo
- Linguaggio formale
- Logica categorica
- Macchina di Turing
- Metodi formali
- Pi calcolo
- Premio Gödel
- Premio Knuth
- Problema computazionale
- Ragionamento automatico
- Simulazione (informatica)
- Spintronica
- Transcriptor
- Verifica formale