DVDRips | MP4 / AVC, ~49 kb/s | 960x540 | Duration: 4 hours | English: AAC, 64 kb/s (2 ch) | + PDF Guides | 883 MB
Genre: Logic, Science
This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and philosophy. You will learn propositional logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.”
Is this argument watertight, or do we need to add more to make the conclusion to really follow from the premises?
Do these two sentences say the same things in different ways, or do they say something subtly different?
Does this information follow from what’s in this database, and what procedure could we use to get the answer quickly?
Is there a more cost-effective design for this digital circuit? And how can we specify what the circuit is meant to do so we could check that this design does what we want?
These are questions about Logic. When you learn logic you'll learn to recognise patterns of information and the way it can be represented. These skills are used whether we're dealing with theories, databases, digital circuits, meaning in language, or mathematical reasoning, and they will be used in the future in ways we haven't yet imagined. Learning logic is a central part of learning to think well, and this course will help you learn logic and how you can apply it.If you take this subject, you will learn how to use the core tools in logic: the idea of a formal language, which gives us a way to talk about logical structure; and we'll introduce and explain the central logical concepts such as consistency and validity; models; and proofs. But you won’t only learn concepts and tools. We will also explore how these techniques connect with issues in linguistics, computer science, electronic engineering, and philosophy.