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 |