Lecture
Bitwise Operators: Integers Types
Related lectures (27)
Computer Arithmetic (Integers)
Covers binary representation, two's complement, overflow detection, and operations in MIPS for computer arithmetic with integers.
Predicate Logic: Quantifiers and Normal Forms
Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.
Complexity & Induction: Algorithms & Proofs
Covers worst-case complexity, algorithms, and proofs including mathematical induction and recursion.
Complexity & Induction: Algorithms & Proofs
Explores worst-case complexity, mathematical induction, and algorithms like binary search and insertion sort.
Relations in Computer Science
Explores the properties of relations in computer science, including equivalence relations and the partition of a set.
Proofs and Logic: Introduction
Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.
Binary Integer RepresentationMOOC: Information, Calcul, Communication: Introduction à la pensée informatique
Covers the binary representation of integers, including positive and negative numbers.
Integers Representation: Sign vs. Two's Complement
Explores integer representation methods, comparing sign-and-magnitude with two's complement, and introduces fixed-point and floating-point representations.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
Elementary Algebra: Numeric Sets
Explores elementary algebra concepts related to numeric sets and prime numbers, including unique factorization and properties.