{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":37,"n_cols":5,"rows_kept":37,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[14,2,14,3],[15,2,15,3],[19,2,19,3],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[32,2,32,3],[33,2,33,3],[35,2,35,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910139601903321"]
[null,null,"Autore",null,"Rodgers Nancy <1941->"]
[null,null,"Titolo",null,"Learning to reason [[electronic resource] ] : an introduction to logic, sets, and relations / / Nancy Rodgers"]
[null,null,"Pubbl/distr/stampa",null,"New York, : Wiley, 2000"]
[null,null,"ISBN",null,"1-283-28003-5"]
[{"$nulls":4},"9786613280039"]
[{"$nulls":4},"1-118-16569-1"]
[{"$nulls":4},"1-118-16570-5"]
[null,null,"Descrizione fisica",null,"1 online resource (457 p.)"]
[null,null,"Disciplina",null,"511.3"]
[null,null,"Soggetti",null,"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Proof theory"]
[{"$nulls":4},"Set theory"]
[{"$nulls":4},"Electronic books."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Learning to Reason: An Introduction to Logic, Sets, and Relations; Contents; To Students; To Teachers; 1 Logical Reasoning; 1.1 Symbolic Language; 1.2 Two Quantifiers; 1.3 Five Logical Operators; 1.4 Laws of Logic; 1.5 Logic Circuits; 1.6 Translations; Review; 2 Writing Our Reasoning; 2.1 Proofs & Arguments; 2.2 Proving Implications; 2.3 Writing a Proof; 2.4 Working with Quantifiers; 2.5 Using Cases; 2.6 Proof by Contradiction; 2.7 Mathematical Induction; 2.8 Axiomatic Systems; Review; 3 Sets - The Building Blocks; 3.1 Sets & Elements; 3.2 Operations on Sets"]
[{"$nulls":4},"3.3 Multiple Unions & Intersections3.4 Cross Product; 3.5 Finite Sets; 3.6 Infinite Sets; Review; 4 Relations - The Action; 4.1 Relations; 4.2 Equivalence Relations; 4.3 Functions; 4.4 Order Relations; Review; Appendix A Selected Answers; Appendix B Glossary; Appendix C Symbols; Appendix D Suggested Readings; Index"]
[null,null,null,"Sommario/riassunto","Learn how to develop your reasoning skills and how to write well-reasoned proofsLearning to Reason shows you how to use the basic elements of mathematical language to develop highly sophisticated, logical reasoning skills. You'll get clear, concise, easy-to-follow instructions on the process of writing proofs, including the necessary reasoning techniques and syntax for constructing well-written "]
[{"$nulls":4},"arguments. Through in-depth coverage of logic, sets, and relations, Learning to Reason offers a meaningful, integrated view of modern mathematics, cuts through confusing terms and ideas, and pro"]
[null,"2.","Record Nr.",null,"UNINA9910375970203321"]
[null,null,"Titolo",null,"The 2nd International Conference on Computer Science and Application Engineering : October 22-24, 2018, Hohhot, China : CSAE 2018 / / Ali Emrouznejad, editor, organizer ; Zhihong Qian, organizer"]
[null,null,"Pubbl/distr/stampa",null,"New York NY : , : ACM, , 2018"]
[null,null,"Descrizione fisica",null,"1 online resource (1083 pages) : illustrations"]
[null,null,"Collana",null,"ACM international conference proceedings series"]
[null,null,"Disciplina",null,"621.39"]
[null,null,"Soggetti",null,"Computer engineering"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Information technology"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Session I: Algorithm and Data Structure  -- Session II: Big Data & Cloud Computing -- Session III: Communication Networks -- Session IV: Computational Science and Engineering -- Session V: Data Mining, AI and Machine Learning  -- Session VI : Image Processing & Text Analytics -- Session VII : Information Systems and Applications -- Session VIII: Intelligent Transportation System -- Session IX: Software Engineering, Security and Cryptology."]
[null,null,null,"Sommario/riassunto","The 2nd International Conference on Computer Science and Application Engineering (CSAE 2018) was successfully held in Hohhot during October 22-24, 2018. The conference was to provide a high forum for researchers, scholars, and engineers in the general areas of Computer Sciences and Application Engineering to disseminate their latest research results and exchange views on the future research directions of these fields, to exchange computer science and integrate of its practice, application of the academic ideas, improve the academic depth of computer science and its application, provide an international communication platform for technology and scientific research for the world universities, business intelligence engineering field experts, professionals, and business executives."]