Logic

Sort options

Razonamiento artificial (Coursera)

El razonamiento formal juega un papel importante en la inteligencia artificial. Hay dos maneras principales de formalizar razonamiento: una que enfatiza la deducción (lógica), y otra que enfatiza la incertidumbre (teoría de la probabilidad). En este curso vamos a cubrir una introducción tanto a la lógica (vamos a cubrir [...]

Python Programming Essentials (Coursera)

This course will introduce you to the wonderful world of Python programming! We'll learn about the essential elements of programming and how to construct basic Python programs. We will cover expressions, variables, functions, logic, and conditionals, which are foundational concepts in computer programming. We will also teach you [...]

What is a Proof? (Coursera)

Mathematical thinking is crucial in all areas of computer science: algorithms, bioinformatics, computer graphics, data science, machine learning, etc. In this course, we will learn the most important tools used in discrete mathematics: induction, recursion, logic, invariants, examples, optimality. We will use these tools to answer typical programming questions [...]

VLSI CAD Part I: Logic (Coursera)

A modern VLSI chip has a zillion parts -- logic, control, memory, interconnect, etc. How do we design these complex chips? Answer: CAD software tools. Learn how to build thesA modern VLSI chip is a remarkably complex beast: billions of transistors, millions of logic gates deployed [...]

Pensamento Crítico, Lógica e Argumentação (Coursera)

Depois de concluir este curso, o aluno estará equipado com ferramentas para analisar a validade e a força de todos os tipos de declarações e argumentos, de propaganda a artigos de opinião na política e na mídia, veredictos de tribunais e debate geral.

Logic for Economists (Coursera)

This course provides a very brief introduction to basic mathematical concepts like propositional and predicate logic, set theory, the number system, and proof techniques.

Introduction to Logic (Coursera)

This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, [...]

Introduction to Calculus (Coursera)

The focus and themes of the Introduction to Calculus course address the most important foundations for applications of mathematics in science, engineering and commerce. The course emphasises the key ideas and historical motivation for calculus, while at the same time striking a balance between theory and application, leading to [...]

Information Theory (Coursera)

At the completion of this course, the student should be able to: demonstrate knowledge and understanding of the fundamentals of information theory; appreciate the notion of fundamental limits in communication systems and more generally all systems; develop deeper understanding of communication systems; apply the concepts of information theory to [...]

Logic: The Language of Truth (FutureLearn)

May 30th 2022
Logic: The Language of Truth (FutureLearn)
Course Auditing
Categories
Effort
Languages
Learn how to use logic to evaluate arguments and discover more about philosophical concepts like truth-tables and logical form. Understand and evaluate arguments using philosophical theory. If you believe Mickey is a big mouse and Dumbo is a small elephant, then you must also believe that Mickey is a [...]