Indice
14 relazioni: Complessità temporale, Congettura, Dimostrazione, Implicazione logica, Ipotesi, Ipotesi di Riemann, Logica filosofica, Logica matematica, Logica proposizionale, Modus ponens, NP-completo, Premessa, Teorema di deduzione, Teoria della complessità.
Complessità temporale
In informatica, la complessità temporale di un algoritmo quantifica la quantità di tempo impiegata da un algoritmo a essere eseguito in funzione della lunghezza della stringa che rappresenta l'input:226.
Vedere Dimostrazione condizionale e Complessità temporale
Congettura
Una congettura (dal latino coniectūra, dal verbo conīcere, ossia "interpretare, dedurre, concludere") è un'affermazione o un giudizio fondato sull'intuito, ritenuto probabilmente vero, ma non ancora rigorosamente dimostrato, cioè dunque relegato solamente a rango di ipotesi.
Vedere Dimostrazione condizionale e Congettura
Dimostrazione
La dimostrazione è una serie di ragionamenti logici che, partendo da una ipotesi, porta necessariamente a una tesi. Consiste nel verificare, nel senso di mostrarne la ragionevole verità, un predicato, una frase.
Vedere Dimostrazione condizionale e Dimostrazione
Implicazione logica
Il termine implicazione logica si riferisce al legame che esiste tra una proposizione (antecedente) e un'altra proposizione (conseguente) in modo da metterne in relazione i rispettivi valori di verità.
Vedere Dimostrazione condizionale e Implicazione logica
Ipotesi
Un'ipotesi (dal greco antico ὑπόθεσις hypothesis, composto da hypo, "sotto" e thesis, "posizione", ovvero supposizione) è la premessa sottesa ad un ragionamento o a una dimostrazione.
Vedere Dimostrazione condizionale e Ipotesi
Ipotesi di Riemann
In matematica, più precisamente in teoria analitica dei numeri, lipotesi di Riemann o congettura di Riemann è una congettura sulla distribuzione degli zeri non banali della funzione zeta di Riemann.
Vedere Dimostrazione condizionale e Ipotesi di Riemann
Logica filosofica
La logica filosofica è una branca della filosofia che si occupa dello studio e dell'analisi dei principi e delle strutture del ragionamento e del pensiero.
Vedere Dimostrazione condizionale e Logica filosofica
Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.
Vedere Dimostrazione condizionale e Logica matematica
Logica proposizionale
La logica proposizionale (o enunciativa) è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...).
Vedere Dimostrazione condizionale e Logica proposizionale
Modus ponens
Nella logica, il modus ponens (MP), accorciamento del latino modus ponendo ponens ("modo che afferma"), è una semplice e valida regola d'inferenza, che afferma in parole: o in notazione con operatori logici: dove vdash rappresenta l'asserzione logica, nota anche come sequente.
Vedere Dimostrazione condizionale e Modus ponens
NP-completo
Nella teoria della complessità computazionale i problemi NP-completi sono i più difficili problemi nella classe NP ("problemi risolvibili non-deterministicamente in tempo polinomiale") nel senso che, se si trovasse un algoritmo in grado di risolvere "velocemente" (nel senso di utilizzare tempo polinomiale) un qualsiasi problema NP-completo, allora si potrebbe usarlo per risolvere "velocemente" ogni problema in NP.
Vedere Dimostrazione condizionale e NP-completo
Premessa
Una premessa è una dichiarazione preliminare ad un'altra dichiarazione o a un discorso, che ha lo scopo di introdurre o chiarire un concetto precedente rispetto al momento in cui si vuole affrontare un determinato argomento principale.
Vedere Dimostrazione condizionale e Premessa
Teorema di deduzione
Nella logica matematica, il teorema di deduzione afferma che se una formula F è deducibile da un'altra formula E allora l'implicazione E → F è dimostrabile (ovvero è "deducibile" dall'insieme vuoto) e, viceversa, che se l'implicazione E → F è dimostrabile, allora la formula F è deducibile da E.
Vedere Dimostrazione condizionale e Teorema di deduzione
Teoria della complessità
In fisica moderna la teoria della complessità o teoria dei sistemi complessi o scienza dei sistemi complessi è una branca della scienza moderna che studia i cosiddetti sistemi complessi, venuta affermandosi negli ultimi decenni sotto la spinta dell'informatizzazione (uso di supercomputer) e grazie alla crescente inclinazione, nell'indagine scientifica, a rinunciare alle assunzioni di linearità nei sistemi dinamici per indagarne più a fondo il comportamento reale.
Vedere Dimostrazione condizionale e Teoria della complessità