Git
Number Systems
Data Representation
Gates and Circuits
Proofs
100
This git state means that you have changed the file but you have not committed it to your database yet.
What is modified?
100
This can be defined as a unit of an abstract mathematical system subject to the laws of arithmetic.
What is a number?
100
In order to determine an integer value in this complement, you start with a positive number, flip the bits, and add one.
What is two's complement?
100
This is a device that performs a basic operation on electrical signals, is made by transistors with semiconductor material, and accepts one or more inputs signals.
What is a gate?
100
These are the three types of proofs we covered in class.
What are direct proof (proof by construction), proof by contradiction, and proof by induction (recursive proof)?
200
The basic git workflow includes these major stages.
What is checkout, stage fixes, and commit?
200
This is the name of the base-2 numbering system used in computers.
What is the binary numbering system?
200
This occurs when adding two positive operands together results in a negative number.
What is overflow?
200
This is a combination of interacting gates designed to accomplish a specific logic function.
What is a circuit?
200
In this type of proof you demonstrate how to build that object so that it can exist.
What is a direct proof or a proof by construction?
300
If you want to check your configuration settings, you can use this command to list all the settings Git can find at that point, along with the location where those settings are stored.
What is git config --list --show-origin?
300
C in hexadecimal is this value in decimal.
What is 12?
300
These are the three components represented in the bits of a real number in binary.
What are sign, mantissa, and exponent?
300
The above image shows the boolean expression and logic diagram for this gate type.
What is an and gate?
300
In this type of proof, you assume the assumption is false and then show the false assumption cannot be, thereby proving the theorem.
What is a proof by contradiction?
400
You can clone a repository at a certain url with this command.
What is git clone <url>?
400
754 in base 8 is this value in binary.
What is 111101100?
400
This is the binary representation for the decimal value 0.75.
What is 0.11 in base-2?
400
The above image shows the boolean expression and the logic diagram symbol for this gate type.
What is an xor gate?
400
In this proof type, you show that all elements in an infinite set have a certain property.
What is proof by induction?
500
Running this command in git will easily allow you to print out the history of commits, showing where your branch pointers are and how your history has diverged.
What is git log --oneline --decorate --graph --all?
500
This is the remainder in binary when you divide 1001010 by 1001.
What is 10 in base-2?
500
This is the decimal representation of the binary number 10100.01.
What is 20.25 in decimal?
500
The above image shows the boolean expression and the logic diagram symbol for this gate type.
What is a nand gate?
500
In this step of an induction proof, you show that the property holds for all values of n larger than the starting point.
What is the inductive step?