Home | Amazing | Today | Tags | Publishers | Years | Account | Search Loading input.gsc-input { border-color: #BCCDF0; } input.gsc-search-button { border-color: #666666; background-color: #CECECE; }
 Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation. Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Gödel’s incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself. Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.
 Practical Statistics for Data Scientists: 50 Essential Concepts Statistical methods are a key part of of data science, yet very few data scientists have any formal statistics training. Courses and books on basic statistics rarely cover the topic from a data science perspective. This practical guide explains how to apply various statistical methods to data science, tells you how to avoid their... MongoDB Applied Design Patterns Whether you’re building a social media site or an internal-use enterprise application, this hands-on guide shows you the connection between MongoDb and the business problems it’s designed to solve. You’ll learn how to apply MongoDb design patterns to several challenging domains, such as ecommerce, content... No-Drama Project Management: Avoiding Predictable Problems for Project Success No-Drama Project Management: Avoiding Predictable Problems for Project Success is a book for project managers who want or need to be more effective. Having a project crash and burn is never a great situation, author Bart Gerardi explains, but it’s not a career buster—unless the failure appears on the...

#### A COMPREHENSIVE, FULL-COLOR GUIDE TO NEURORADIOLOGY SIGNS ACROSS ALL IMAGING MODALITIES

The first book of its kind, Neuroradiology Signs provides a multimodality review of more than 440 neuroradiologic signs in CT, MR, angiography, radiography, ultrasound, and nuclear medicine. It is designed to enhance your recognition of...

PgMP Program Management Professional All-in-One Exam Guide

Complete coverage of all the material on the PgMP certification exam

Get full coverage of all the material included on the PgMP Program Management Professional exam inside this comprehensive resource. Written by industry expert, trainer, and project management consultant Joseph Phillips, this definitive exam guide covers...

IBM Rational Team Concert 2 Essentials

Software development is a collaborative effort needing active and timely input and response from all its members. Every day, project managers face ever-increasing pressures to produce high-quality software with increasing constraints. With IBM's Rational Team Concert collaborative software delivery environment, you can tremendously...