Computability and Logic

Computability and Logic
Author: George S. Boolos
Publisher: Cambridge University Press
Total Pages: 374
Release: 2002-03-04
Genre: Mathematics
ISBN: 9780521007580
GET BOOK

This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book has become a classic because of its accessibility to students without a mathematical background, and because it covers not simply the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, but also a large number of optional topics from Turing's theory of computability to Ramsey's theorem. John Burgess has now enhanced the book by adding a selection of problems at the end of each chapter, and by reorganising and rewriting chapters to make them more independent of each other and thus to increase the range of options available to instructors as to what to cover and what to defer.

Learning Perl

Learning Perl
Author: Randal L. Schwartz
Publisher: "O'Reilly Media, Inc."
Total Pages: 412
Release: 2016-10-06
Genre: Computers
ISBN: 1491954272
GET BOOK

If you’re just getting started with Perl, this is the book you want—whether you’re a programmer, system administrator, or web hacker. Nicknamed "the Llama" by two generations of users, this bestseller closely follows the popular introductory Perl course taught by the authors since 1991. This seventh edition covers recent changes to the language up to version 5.24. Perl is suitable for almost any task on almost any platform, from short fixes to complete web applications. Learning Perl teaches you the basics and shows you how to write programs up to 128 lines long—roughly the size of 90% of the Perl programs in use today. Each chapter includes exercises to help you practice what you’ve just learned. Other books may teach you to program in Perl, but this book will turn you into a Perl programmer. Topics include: Perl data and variable types Subroutines File operations Regular expressions String manipulation (including Unicode) Lists and sorting Process management Smart matching Use of third party modules

Encyclopedia of Microbiology

Encyclopedia of Microbiology
Author:
Publisher: Academic Press
Total Pages: 4358
Release: 2009-01-14
Genre: Science
ISBN: 0123739446
GET BOOK

Available as an exclusive product with a limited print run, Encyclopedia of Microbiology, 3e, is a comprehensive survey of microbiology, edited by world-class researchers. Each article is written by an expert in that specific domain and includes a glossary, list of abbreviations, defining statement, introduction, further reading and cross-references to other related encyclopedia articles. Written at a level suitable for university undergraduates, the breadth and depth of coverage will appeal beyond undergraduates to professionals and academics in related fields. 16 separate areas of microbiology covered for breadth and depth of content Extensive use of figures, tables, and color illustrations and photographs Language is accessible for undergraduates, depth appropriate for scientists Links to original journal articles via Crossref 30% NEW articles and 4-color throughout – NEW!