You are here: Home › Mathematics › Logic and foundations › Results 1–19 of 19
Sort by:
- A–Z
-
- Title
Algorithms: Mathematics for computer science facts and formulae
- Description
- An introduction to algorithms, providing definitions and examples of conversion of decimal to binary numbers, Euclid's Algorithm, Prim's Algorithm, the Binary Search Algorithm and the Bubble Sort Algorithm. The resource forms 1 of 11 mathematics for computer science fact sheets produced by mathcentre.
- Publisher
- mathcentre
- http://www.mathcentre.ac.uk/search/?q=%22large+print%22&saudience=all&cat%5B%5D=512
-
- Title
Answers: Discrete mathematics: A-Level course material
- Description
- This resource provides the answers to the exercises included in the 15 chapters dealing with discrete mathematics which are contained within the wider collection of A-Level course material provided by the Centre for Innovation in Mathematics Teaching, University of Plymouth. The individual chapters are also catalogued in the e-library.
- Publisher
- Centre for Innovation in Mathematics Teaching (CIMT), University of Plymouth
- http://www.cimt.plymouth.ac.uk/projects/mepres/alevel/discrete_solutions.pdf
-
- Title
Answers: Pure mathematics: A-Level course material
- Description
- This resource provides the answers to the exercises included in the 21 chapters dealing with pure mathematics which are contained within the wider collection of A-Level course material provided by the Centre for Innovation in Mathematics Teaching, University of Plymouth. The individual chapters are also catalogued in the e-library.
- Publisher
- Centre for Innovation in Mathematics Teaching (CIMT), University of Plymouth
- http://www.cimt.plymouth.ac.uk/projects/mepres/alevel/pure_solutions.pdf
-
- Title
Boolean algebra and logic gates: Mathematics support materials
- Description
- This resource on logic gates includes quizzes, exercises and worked examples covering truth tables and Boolean algebra. It is one of a collection of mathematics support materials provided for schools and colleges by the University of Plymouth School of Mathematics and Statistics.
- Publisher
- School of Mathematics and Statistics, University of Plymouth
- http://www.tech.plym.ac.uk/maths/resources/PDFLaTeX/boolean_alg2.pdf
-
- Title
Boolean algebra: A-Level course material
- Description
- This resource describe the use of Boolean algebra and logic in mathematical and circuit problems. Topics include applying Boolean logic, combinatorial and switching circuits, simplifying Boolean expressions, minimising circuits, and understanding half and full adder circuits. Numerous worked examples are presented, with illustrations where applicable. The resource is chapter 11 of 15 dealing with discrete mathematics, as part of a wider collection of A-Level course material provided by the Centre for Innovation in Mathematics Teaching, University of Plymouth. Answers to the exercises are also catalogued in the e-library.
- Publisher
- Centre for Innovation in Mathematics Teaching (CIMT), University of Plymouth
- http://www.cimt.plymouth.ac.uk/projects/mepres/alevel/discrete_ch11.pdf
-
- Title
Commonly used sets: Mathematics for computer science facts and formulae
- Description
- This sheet describes commonly used sets, together with set algebra and logic definitions and examples. The resource forms 1 of 11 mathematics for computer science fact sheets produced by mathcentre.
- Publisher
- mathcentre
- http://www.mathcentre.ac.uk/search/?q=%22large+print%22&saudience=all&cat%5B%5D=512
-
- Title
Introduction to pure mathematics
- Description
- Introductory notes on pure mathematics are provided covering numbers and induction, sets, relations and functions, writing mathematical statements, proofs and refutations, and problem-solving in mathematics. The notes were prepared to accompany a course given by Peter M. Neumann at the Mathematical Institute, University of Oxford, England.
- Publisher
- Mathematical Institute, University of Oxford
- http://www.maths.ox.ac.uk/system/files/coursematerial/2012/2629/4/PrelimIntro2012-Ver3.pdf
-
- Title
Logic
- Description
- These lecture notes on logic, written by Jakub Zavodny, cover propositional calculus, deductive systems, predicate calculus and Godel's Completeness Theorem. The notes were prepared to accompany a course given by Jochen Koenigsmann at the Mathematical Institute, University of Oxford, England.
- Publisher
- Mathematical Institute, University of Oxford
- http://www.maths.ox.ac.uk/system/files/coursematerial/2013/2369/4/logic.pdf
-
- Title
Logic: A-Level course material
- Description
- This resource describes various topics to do with logic. These include propositional logic, use of Boolean logic, implication and equivalence, truth tables, contradiction and tautology. Testing the validity of an argument is also discussed. Numerous worked examples are presented, with illustrations where applicable. The resource is chapter 10 of 15 dealing with discrete mathematics, as part of a wider collection of A-Level course material provided by the Centre for Innovation in Mathematics Teaching, University of Plymouth. Answers to the exercises are also catalogued in the e-library.
- Publisher
- Centre for Innovation in Mathematics Teaching (CIMT), University of Plymouth
- http://www.cimt.plymouth.ac.uk/projects/mepres/alevel/discrete_ch10.pdf
-
- Title
Matrices and determinants: Facts & formulae
- Description
- A basic introduction to 2 x 2 and 3 x 3 matrices, together with examples of multiplication of matrices, and the inverse of a 2 x 2 matrix. Definition of binomial coefficients and Pascal's triangle are also included. The resource forms 1 of 11 general maths fact sheets produced by mathcentre.
- Publisher
- mathcentre
- http://www.mathcentre.ac.uk/search/?q=%22large+print%22&saudience=all&cat%5B%5D=512
-
- Title
Matrices and determinants: Mathematics for computer science facts and formulae
- Description
- A basic introduction to 2 x 2 and 3 x 3 matrices, together with examples of multiplication of matrices, and the inverse of a 2 x 2 matrix. The sheet also includes an introduction to binary relations and functions. The resource forms 1 of 11 mathematics for computer science fact sheets produced by mathcentre.
- Publisher
- mathcentre
- http://www.mathcentre.ac.uk/search/?q=%22large+print%22&saudience=all&cat%5B%5D=512
-
- Title
Powers: A-Level course material
- Description
- This resource provides an introduction to powers or indices, and their use in mathematical formulae. There is also a detailed description of the binomial theorem. Numerous worked examples are presented, with illustrations where applicable. The resource is chapter 9 of 21 dealing with pure mathematics, as part of a wider collection of A-Level course material provided by the Centre for Innovation in Mathematics Teaching, University of Plymouth. Answers to the exercises are also catalogued in the e-library.
- Publisher
- Centre for Innovation in Mathematics Teaching (CIMT), University of Plymouth
- http://www.cimt.plymouth.ac.uk/projects/mepres/alevel/pure_ch9.pdf
-
- Title
Proof by induction: Mathematics support materials
- Description
- This resource on proof by induction includes quizzes, exercises and worked examples. It is one of a collection of mathematics support materials provided for schools and colleges by the University of Plymouth School of Mathematics and Statistics.
- Publisher
- School of Mathematics and Statistics, University of Plymouth
- http://www.tech.plym.ac.uk/maths/resources/PDFLaTeX/induction.pdf
-
- Title
Sequences and series: Facts & formulae
- Description
- This resource provides definitions and examples of a number of basic sequences and series, including the arithmetic progression, sum of the first n integers, sum of the squares of the first n integers, geometric progressions, the sum of an infinite geometric series, the binomial theorem, and standard power series expansions. The resource forms 1 of 11 general maths fact sheets produced by mathcentre.
- Publisher
- mathcentre
- http://www.mathcentre.ac.uk/search/?q=%22large+print%22&saudience=all&cat%5B%5D=512
-
- Title
Sequences and series: Mathematics for computer science facts and formulae
- Description
- This resource provides definitions and examples of a number of basic sequences and series, including the arithmetic progression, sum of the first n integers, sum of the squares of the first n integers, geometric progressions, the sum of an infinite geometric series, and proof by induction. The resource forms 1 of 11 mathematics for computer science fact sheets produced by mathcentre.
- Publisher
- mathcentre
- http://www.mathcentre.ac.uk/search/?q=%22large+print%22&saudience=all&cat%5B%5D=512
-
- Title
Sets and Venn diagrams 1: Mathematics for computer science facts and formulae
- Description
- A description of various simple concepts relating to sets and Venn diagrams, such as empty and universal sets, subsets, set members, unions, complements, and intersections. The resource forms 1 of 11 mathematics for computer science fact sheets produced by mathcentre.
- Publisher
- mathcentre
- http://www.mathcentre.ac.uk/search/?q=%22large+print%22&saudience=all&cat%5B%5D=512
-
- Title
Sets and Venn diagrams 2: Mathematics for computer science facts and formulae
- Description
- This sheet describes various topics relating to sets and Venn diagrams, including set difference, symmetric difference, cartesian products, power sets and cardinality. The resource forms 1 of 11 mathematics for computer science fact sheets produced by mathcentre.
- Publisher
- mathcentre
- http://www.mathcentre.ac.uk/search/?q=%22large+print%22&saudience=all&cat%5B%5D=512
-
- Title
Truth tables and Boolean algebra: Mathematics support materials
- Description
- This resource on truth tables and Boolean algebra includes quizzes, exercises and worked examples covering conjunction, disjunction and the rules of Boolean algebra. It is one of a collection of mathematics support materials provided for schools and colleges by the University of Plymouth School of Mathematics and Statistics.
- Publisher
- School of Mathematics and Statistics, University of Plymouth
- http://www.tech.plym.ac.uk/maths/resources/PDFLaTeX/boolean_alg1a.pdf
-
- Title
Truth tables: Mathematics for computer science facts and formulae
- Description
- An overview of truth tables and related terms, such as propositions and predicates. A number of examples are included. The resource forms 1 of 11 mathematics for computer science fact sheets produced by mathcentre.
- Publisher
- mathcentre
- http://www.mathcentre.ac.uk/search/?q=%22large+print%22&saudience=all&cat%5B%5D=512
Sort by:
- A–Z