Book picks similar to
Introductory Logic & Sets for Computer Scientists by N. Nissanke
computer-science
mathematics
ucd-foundations
box2
Calculus: Early Transcendental Functions
Ron Larson - 1900
Two primary objectives guided the authors in the revision of this book: to develop precise, readable materials for students that clearly define and demonstrate concepts and rules of calculus; and to design comprehensive teaching resources for instructors that employ proven pedagogical techniques and save time. The Larson/Hostetler/Edwards Calculus program offers a solution to address the needs of any calculus course and any level of calculus student. Every edition from the first to the fourth of Calculus: Early Transcendental Functions, 4/e has made the mastery of traditional calculus skills a priority, while embracing the best features of new technology and, when appropriate, calculus reform ideas. Now, the Fourth Edition is part of the first calculus program to offer algorithmic homework and testing created in Maple so that answers can be evaluated with complete mathematical accuracy.
Practical Algebra: A Self-Teaching Guide
Peter H. Selby - 1974
Practical Algebra is an easy andfun-to-use workout program that quickly puts you in command of allthe basic concepts and tools of algebra. With the aid of practical, real-life examples and applications, you'll learn: * The basic approach and application of algebra to problemsolving * The number system (in a much broader way than you have known itfrom arithmetic) * Monomials and polynomials; factoring algebraic expressions; howto handle algebraic fractions; exponents, roots, and radicals;linear and fractional equations * Functions and graphs; quadratic equations; inequalities; ratio, proportion, and variation; how to solve word problems, andmore Authors Peter Selby and Steve Slavin emphasize practical algebrathroughout by providing you with techniques for solving problems ina wide range of disciplines--from engineering, biology, chemistry, and the physical sciences, to psychology and even sociology andbusiness administration. Step by step, Practical Algebra shows youhow to solve algebraic problems in each of these areas, then allowsyou to tackle similar problems on your own, at your own pace.Self-tests are provided at the end of each chapter so you canmeasure your mastery.
Intel Microprocessors 8086/8088, 80186/80188, 80286, 80386, 80486, Pentium, Prentium Proprocessor, Pentium II, III, 4
Barry B. Brey - 1991
This text provides a comprehensive view of programming and interfacing of the Intel family of Microprocessors from the 8088 through the latest Pentium 4 microprocessor. Organized in an orderly and manageable format, it offers over 200 programming examples using the Microsoft Macro Assembler program, and provides a thorough description of each Intel family members, memory systems, and various I/O systems.
SQL (Visual QuickStart Guide)
Chris Fehily - 2002
With SQL and this task-based guide to it, you can do it toono programming experience required!After going over the relational database model and SQL syntax in the first few chapters, veteran author Chris Fehily launches into the tasks that will get you comfortable with SQL fast. In addition to explaining SQL basics, this updated reference covers the ANSI SQL:2003 standard and contains a wealth of brand-new information, including a new chapter on set operations and common tasks, well-placed optimization tips to make your queries run fast, sidebars on advanced topics, and added IBM DB2 coverage.Best of all, the book's examples were tested on the latest versions of Microsoft Access, Microsoft SQL Server, Oracle, IBM DB2, MySQL, and PostgreSQL. On the companion Web site, you can download the SQL scripts and sample database for all these systems and put your knowledge to work immediately on a real database..
Hacker's Delight
Henry S. Warren Jr. - 2002
Aiming to tell the dark secrets of computer arithmetic, this title is suitable for library developers, compiler writers, and lovers of elegant hacks.
The Haskell Road to Logic, Maths and Programming
Kees Doets - 2004
Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvellous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others.
How to Prove It: A Structured Approach
Daniel J. Velleman - 1994
The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5
Introduction to Automata Theory, Languages, and Computation
John E. Hopcroft - 1979
With this long-awaited revision, the authors continue to present the theory in a concise and straightforward manner, now with an eye out for the practical applications. They have revised this book to make it more accessible to today's students, including the addition of more material on writing proofs, more figures and pictures to convey ideas, side-boxes to highlight other interesting material, and a less formal writing style. Exercises at the end of each chapter, including some new, easier exercises, help readers confirm and enhance their understanding of the material. *NEW! Completely rewritten to be less formal, providing more accessibility to todays students. *NEW! Increased usage of figures and pictures to help convey ideas. *NEW! More detail and intuition provided for definitions and proofs. *NEW! Provides special side-boxes to present supplemental material that may be of interest to readers. *NEW! Includes more exercises, including many at a lower level. *NEW! Presents program-like notation for PDAs and Turing machines. *NEW! Increas
Learning the UNIX Operating System
Jerry Peek - 1989
Why wade through a 600-page book when you can begin working productively in a matter of minutes? It's an ideal primer for Mac and PC users of the Internet who need to know a little bit about UNIX on the systems they visit.This book is the most effective introduction to UNIX in print. The fourth edition covers the highlights of the Linux operating system. It's a handy book for someone just starting with UNIX or Linux, as well as someone who encounters a UNIX system on the Internet. And it now includes a quick-reference card.Topics covered include: Linux operating system highlightsLogging in and logging outWindow systems (especially X/Motif)Managing UNIX files and directoriesSending and receiving mailRedirecting input/outputPipes and filtersBackground processingBasic network commandsv
U.S. History, Volume II: 1865-Present
Boundless - 2013
History textbook is a college-level, introductory textbook that covers the exciting subject of U.S. History. Volume II covers 1865 through the present day. Boundless works with subject matter experts to select the best open educational resources available on the web, review the content for quality, and create introductory, college-level textbooks designed to meet the study needs of university students.This textbook covers:Reconstruction: 1865-1877 -- The End of the War, The Aftermath of the War, The Battle over Reconstruction, Reconstruction in the South, The Reconstructed South, The Grant PresidencyThe Gilded Age: 1870-1900 -- The Gilded Age, The Second Industrial Revolution, The Rise of the City, The Rise of Big Business, The Rise of Immigration, Work in Industrial America, The Transformation of the West, Conquest in the West, The Transformation of the South, Politics in the Gilded Age, Urban Reform, Corruption and Reform, The Agrarian and Populist Movements, The Silver SolutionRace, Empire, and Culture in the Gilded Age: 1870-1900 -- Culture in the Gilded Age, Popular Culture, Cheap Amusements, Education, The Rise of Realism, Labor and Domestic Tensions, The Labor Wars, War, Empire, and an Emerging American World PowerThe Progressive Era: 1890-1917 -- The Progressive Era, Labor, Local, and Political Reform, The Politics of Progressivism, Grassroots Progressivism, Progressivism: Theory and Practice, Changing Ideas of Freedom, Roosevelt's Progressivism, Roosevelt's Second Term, From Roosevelt to Taft, Woodrow Wilson and Progressivism, The Limits of ProgressivismWorld War I: 1914-1919 -- The Wilson Administration, American Neutrality, America's Entry into the War, America and WWI, The War at Home, The "American", The Fight for Peace, Diplomacy & Negotiations at the War's End, The Transition to Peace: 1919-21From the New Era to the Great Depression: 1920-1933 -- The New Era, The Roaring Twenties, The Culture of Change, Resistance to Change, Wall Street Crash of 1929, The Great DepressionThe New Deal: 1933-1940 -- Franklin D. Roosevelt and the First New Deal, The New Deal, Critical Interpretations of the New Deal, The Social Cost of the Depression, Toward a Welfare State, Roosevelt's Second Term, Culture in the Thirties, The Second New Deal, The Legacy of the New DealFrom Isolation to World War II: 1930-1943 -- Non-Interventionism, The Beginning of the War, Conflict in Europe, Conflict in the Pacific, America's Early Involvement, Mobilization in the U.S., Social Effects of the War, The War in Germany, The War in the Pacific, The End of WWIIThe Cold War: 1947-1991 -- Origins of the Cold War, The Cold War, Truman and the Fair Deal, The Cold War and KoreaThe Politics and Culture of Abundance: 1943-1960 -- The Politics of Abundance, The Culture of Abundance, The Eisenhower Administration, The Policy of Containment, The Emergence of the Civil Rights MovementThe Sixties: 1960-1969 -- The Election of 1960, The Expansion of the Civil Rights Movement, Counterculture, The John F. Kennedy Administration, The Lyndon B. Johnson AdministrationThe Conservative Turn of America: 1968-1989 -- The Nixon Administration, Watergate, The Ford Administration, The Carter Administration, The Reagan AdministrationThe Challenges of Globalization and the Coming Century: After 1989 -- The George H.W. Bush Administration, America's Emerging Culture, The Clinton Administration, Globalization and the U.S.
MATLAB: An Introduction with Applications
Amos Gilat - 2003
The first chapter describes basic features of the program and shows how to use it in simple arithmetic operations with scalars. The next two chapters focus on the topic of arrays (the basis of MATLAB), while the remaining text covers a wide range of other applications. Computer screens, tutorials, samples, and homework questions in math, science, and engineering, provide the student with the practical hands-on experience needed for total proficiency.
Concrete Mathematics: A Foundation for Computer Science
Ronald L. Graham - 1988
"More concretely," the authors explain, "it is the controlled manipulation of mathematical formulas, using a collection of techniques for solving problems."
CCNA - Cisco Certified Network Associate Study Guide: Exam 640-802
Todd Lammle - 2007
Completely Revised for the New 2007 Version of the CCNA Exam (#640-802) Cisco networking authority Todd Lammle has completely updated this new edition to cover all of the exam objectives for the latest version of the CCNA exam.
An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson - 1989
This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.