Abstract: The main purpose of conducting this research is to design and implement a single precision floating-point arithmetic logic unit (ALU) that considered as a part of the math coprocessor. The ...
Notes for MATH700132 (Mathematical Logic) taught by David Evans at Imperial in Spring 2025. They are a work in progress. These notes are primarily based on the content covered in lectures, with some ...