Courses / Module

Toggle Print


Module code: CS151
Credits: 5
Semester: 1
International: Yes
Overview Overview

First Order Logic and proof strategies for reasoning about programs. Basic set and bag definitions, operations, and properties. Using functions to solve problems: to include definitions of function domain, range, image, composition, identity, inverse, abstraction, application, total & partial functions, injections, bijections & surjections. Reasoning using First Order Logic: truth tables, use of conjunction, disjunction, implication, negations, equivalence rules, assertions, tautologies, contradictions, universal and existential quantifiers. Representing natural language in a formal logic and proving the validity of logical statements using proof by contradiction and natural deduction.

Open Learning Outcomes
Open Teaching & Learning methods
Open Assessment
Open Repeat options
Open Timetable
Copyright © 2017 Maynooth University
Maynooth, Co. Kildare, Ireland
Tel: +353(1) 7086000
Powered by MDAL Framework © 2019
V5.2.0 - Powered by MDAL Framework © 2019