000			a
999			_c31640 _d31640
008			230412b xxu||||| |||| 00| 0 eng d
020			_a9780262544269
082			_a511.36 _bLOL
100			_aLolli, Gabriele
245			_aMeaning of proofs : mathematics as storytelling
260			_bMIT Press, _c2022 _aCambridge :
300			_axviii, 157 p. ; _bill., _c21 cm
365			_b24.95 _cUSD _d85.90
504			_aIncludes bibliographical references and index.
520			_aThis book introduces readers to the narrative structure of mathematical proofs and why mathematicians communicate that way, drawing examples from classic literature and employing metaphors and imagery.
650			_aCommunication in mathematics
650			_aAdders
650			_aArithmetic operations
650			_aArty board
650			_aClock management tile(CMT)
650			_a Combinational circuit
650			_aDataflow model
650			_aDigital clock
650			_a Floating point
650			_aVerilog description
650			_a Intellectual property
650			_a Logic function
650			_aMicroBlaze
650			_aMultiplexer
650			_a PicoBlaze
650			_a Sequential Circuit
650			_a Seven-segment display
650			_aTestbench formation
650			_aUART
650			_aVector operations;
650			_aVector operations;
650			_a VHOL
650			_a Vivado design suile
650			_a Xilinx Artix-7
650			_a Xor gate
650			_aArgumentation
650			_aVivado
650			_a Time alarm system
650			_aLogic
700			_aMcClellan-Broussard, Bonnie _etr.
942			_2ddc _cBK