Logica, Ragionamento e Risoluzione Refutazione

Questo corso di pensiero critico spiega come applicare la logica e il ragionamento attraverso la confutazione di risoluzione. Iniziamo introducendo voi a varie lingue logiche diverse e fornendo una panoramica di calculus propositivo. Stendiamo poi i simboli utilizzati in calculus propositivo e mostrate come convertire le frasi inglesi in calculus propositivo. Si discute di predicato calculus (chiamato anche "logica di primo ordine") nel dettaglio e identifichiamo i suoi simboli, la semantica e le differenze rispetto alla calculus propositiva.

Il corso esamina poi varie tecniche di pensiero critico, tra cui "modus ponens", "modus tollens", eliminazione, introduzione e istanziazione universale. Copriamo il processo di unificazione e detrazione per aiutarvi ad applicare la logica agli scenari del mondo reale. Dimostriamo come costruire un sistema di ragionamento e abbinare due predicati per implementare un motore di inferenza. Poiché tutte le variabili devono essere universalmente quantificate, esplora i passi coinvolti nel processo di unificazione e quelli presi per attuare il principio di risoluzione mediante detrazione.

La nostra sezione successiva si concentra sul teorema che si sta dimostrando per confutazione di risoluzione. Forniamo esempi per aiutarvi a comprendere i passi fondamentali presi per stabilire i teoremi, incluso il modulo di clausola, strategie di risoluzione efficienti e l'estrazione di risposta dalla confutazione di risoluzione. Il corso esamina la sostituzione di unificazione e la Skolemizzazione per valorizzare le vostre abilità di ragionamento critico pratico. Spieghiamo anche come utilizzare Prolog, un linguaggio di programmazione logica e un'applicazione di teorema di risoluzione che si sta dimostrando spesso nell'informatica moderna. La nostra sezione finale mette a confronto vari approcci di ragionamento. Questo corso si adatta ai programmatori informatici in quanto spiega come il pensiero critico possa essere espresso e applicato per potenziare le tue abilità di informatica.