Fundamentals of Computer Science - Week 2 Summary - Part 1 out of 2

Propositional Equivalences

* Two formulas are equivalent when they have the same truth tables
* We denote equivalence by ≡
* A ≡ B means that A and B always have the same truth values, regardless of how the variables are assigned.
* Note that ≡ is a relation and NOT a connective

De Morgan's Laws

¬(p∧q)≡¬p∨¬q 
¬(p∨q)≡¬p∧¬q

It is similar to the process of algebra when you have a negative before a parenthesis. First law tells us also that the connective also changes.


Comments

Post a Comment

Popular posts from this blog

syllabus: Algorithms and Data Structures 1 [CM1035]

Algorithms and Data Structures 1 [CM1035] Course Description The study of algorithms and data structures is central to an undergraduate degree in computer science. This course will introduce you to your first algorithms and data structures, as well as the tools of abstraction required to help you decide which of these concepts to use. In this way you will not only enhance your box of problem solving tools, you will be able to critically compare, and assess the advantages and disadvantages, of these tools. The course starts at a basic level by describing problems and algorithms in computer science. It then goes on to introduce the tools for describing algorithms: flowcharts and pseudocode. You will then build on these basics to cover a wide range of topics: Abstract data structures such as vectors, queues and stacks. Implementation of abstract data structures with arrays and linked lists. Searching algorithms: Linear Search and Binary Search. Sorting algorithms: Bubble Sort,...
Read more

syllabus: Fundamentals of Computer Science [CM1025]

Course Description Target Audience - Those looking to explore the concepts that underpin modern computer science principles. Learners will begin to appreciate some of the core concepts that form the basis of modern computer systems, how they are designed and built and some of the challenges that they will face in developing their own systems. Content Differentiation - This course covers a variety of concepts, presenting them in a clear, accessible and reasoned way. Concepts are explained through examples and learning is reinforced through a variety of interactive activities. Course Goals and Objectives Upon successful completion of this module, you will be able to: Understand the core concepts that underpin modern computer science. Explain, describe and employ different techniques in both a theoretical and practical way. Appreciate how more complex techniques employ the fundamentals that are covered in this course. Textbook and Readings Specific essential readi...
Read more

Introduction to Programming - Week 1 and 2 Summary

Image
What is programming? Commands are the smallest building blocks of your program. A single intruction to the computer to perform an action. A program is a collection of these individual ccommands put together in the right order to solve a problem, complete a task, or maybe interact with the user. The collection of commands you write for your program is called source code. 2D coordinate system * Computer screens are made up of tiny dots * Each one of these dots is called pixels * In p5.js we create an area of pixels on a webpage we can draw to: this is called the canvas * A canvas needs a width and height in pixels How you will be assessed?  * New topic every two weeks * This is your first topic (development environment) * Each topic will be divided into a series of lessons * In a lesson you will learn by watching videos * The game keeps a running total of your score which increases as you progress but fixed grades are taken at two points in the term. Each of...
Read more