{"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":35,"n_cols":5,"rows_kept":35,"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],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[11,2,11,3],[12,2,12,3],[16,2,16,3],[16,4,16,5],[17,2,17,3],[17,4,17,5],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[29,2,29,3],[30,2,30,3],[33,2,33,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910554863703321"]
[null,null,"Autore",null,"Farlow Stanley J."]
[null,null,"Titolo",null,"Advanced mathematics : a transitional reference / / Stanley J. Farlow"]
[null,null,"Pubbl/distr/stampa",null,"Hoboken, New Jersey : , : Wiley, , 2020"]
[null,null,"ISBN",null,"1-119-56354-2"]
[{"$nulls":4},"1-119-56348-8"]
[null,null,"Edizione",null,"[1st edition]"]
[null,null,"Descrizione fisica",null,"1 online resource (474 pages)"]
[null,null,"Disciplina",null,"510"]
[null,null,"Soggetti",null,"Mathematics"]
[{"$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,"Sommario/riassunto","Provides a smooth and pleasant transition from first-year calculus to upper-level mathematics courses in real analysis, abstract algebra and number theory  Most universities require students majoring in mathematics to take a “transition to higher math” course that introduces mathematical proofs and more rigorous thinking. Such courses help students be prepared for higher-level mathematics course from their onset. Advanced Mathematics: A Transitional Reference provides a “crash course” in beginning pure mathematics, offering instruction on a blendof inductive and deductive reasoning. By avoiding outdated methods and countless pages of theorems and proofs, this innovative textbook prompts students to think about the ideas presented in an enjoyable, constructive setting. Clear and concise chapters cover all the essential topics students need to transition from the \"rote-orientated\" courses of calculus to the more rigorous \"proof-orientated” advanced mathematics courses. Topics include sentential and predicate calculus, mathematical induction, sets and counting, complex numbers, point-set topology, and symmetries, abstract groups, rings, and fields. Each section contains numerous problems for students of various interests and abilities. Ideally suited for a one-semester course, this book: Introduces students to mathematical proofs and rigorous thinking Provides thoroughly class-tested material from the authors own course in transitioning to higher math Strengthens the mathematical thought process of the reader Includes informative sidebars, historical notes, and plentiful graphics Offers a "]
[{"$nulls":4},"companion website to access a supplemental solutions manual for instructors  Advanced Mathematics: A Transitional Reference is a valuable guide for undergraduate students who have taken courses in calculus, differential equations, or linear algebra, but may not be prepared for the more advanced courses of real analysis, abstract algebra, and number theory that await them. This text is also useful for scientists, engineers, and others seeking to refresh their skills in advanced math."]
[null,"2.","Record Nr.",null,"UNINA9910483424803321"]
[null,null,"Titolo",null,"Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / / edited by Yamine Ait Ameur, Klaus-Dieter Schewe"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014"]
[null,null,"ISBN",null,"3-662-43652-3"]
[null,null,"Edizione",null,"[1st ed. 2014.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVI, 336 p. 93 illus.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 8477"]
[null,null,"Disciplina",null,"005.131"]
[null,null,"Soggetti",null,"Machine theory"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Theory of Computation"]
[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","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"Fundamental contributions -- Applications in industrial contexts -- Tool developments and improvements."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM, and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems."]