How Albert Einstein's Vision Transformed Our Understanding of
Space and Time
A dazzling tour of the universe as Einstein saw it.
How did Albert Einstein come up with the theories that changed
the way we look at the world? By thinking in pictures. Michio
Kaku?leading theoretical physicist (a cofounder of string theory)
and best-selling science storyteller?shows how Einstein used
seemingly simple images to lead a revolution in science.
Daydreaming about racing a beam of light led to the special
theory of relativity and the equation E = mc2. Thinking about a
man falling led to the general theory of relativity?giving us
black holes and the Big Bang. Einstein's failure to come up with
a theory that would unify relativity and quantum mechanics
stemmed from his lacking an apt image.
Even in failure, however, Einstein's late insights have led to
new avenues of research as well as to the revitalization of the
quest for a "Theory of Everything." With originality
and expertise, Kaku uncovers the surprising beauty that lies at
the heart of Einstein's cosmos.
Michio Kaku, Henry Semat Professor of Theoretical Physics at the
City University of New York, is the author of Hyperspace,
Visions, and Beyond Einstein. He hosts Explorations, a nationally
broadcast radio show. He lives in New York City.
2005 / papercover / ISBN 0-393-32700-0 / 5" x 8" / 240
pages
How to Know When Language Deceives You
"The best introduction to logic you will find."?Martin
Gardner
Penetrating and practical, Logic Made Easy is filled with
anecdotal histories detailing the often muddy relationship
between language and logic. Complete with puzzles you can try
yourself and questions you can use to raise your test scores,
Logic Made Easy invites readers to identify and ultimately remedy
logical slips in everyday life. Even experienced logicians will
be surprised by Deborah Bennett's ability to identify the
illogical in everything from maddening street signs to tax forms
that make April the cruelest month. Designed with dozens of
visual examples, the book guides readers through those hair-raising
times when logic is at odds with common sense. Logic Made Easy is
indeed one of those rare books that will actually make you a more
logical human being.
Deborah J. Bennett is the author of Randomness and teaches
mathematics at New Jersey City University in Jersey City.
2005 / papercover / ISBN 0-393-32692-6 / 6" x 8" / 256
pages /
(Paperback)
0-19-853027-7
Publication date: 25 August 2005
300 pages, 240mm x 168mm
Series: OXFORD TEXTS IN LOGIC
Description
There are many textbooks on logic aimed at philosophers but few
cover the basics of formal logic for computer scientists and
mathematicians, which is an important and growing area. This book
will be an interesting and unrivalled addition to the field.
Lively and entertaining introduction to formal logic with
comprehensive coverage of the basics
Suitable for students of logic, computer science, mathematics,
and philosophy
Contains numerous exercises based on Jape - an interactive
teaching and research tool designed and hosted by the author that
is freely available on the web
Proof and Disproof in Formal Logic is a lively and entertaining
introduction to formal logic providing an excellent insight into
how a simple logic works. Formal logic allows you to check a
logical claim without considering what the claim means. This
highly abstracted idea is an essential and practical part of
computer science. The idea of a formal system--a collection of
rules and axioms which define a universe of logical proofs--is
what gives us programming languages and modern-day programming.
This book concentrates on using logic as a tool: making and using
formal proofs and disproofs of particular logical claims. The
logic it uses--natural deduction--is very small and very simple;
working with it helps you see how large mathematical universes
can be built on small foundations.
The book is divided into four parts: ・ Part I "Basics"
gives an introduction to formal logic with a short history of
logic and explanations of some technical words. ・ Part II
"Formal syntactic proof" show you how to do
calculations in a formal system where you are guided by shapes
and never need to think about meaning. Your experiments are aided
by Jape, which can operate as both inquisitor and oracle. ・
Part III "Formal semantic disproof" shows you how to
construct mathematical counterexamples to show that proof is
impossible. Jape can check the counterexamples you build. ・
Part IV "Program specification and proof" describes how
to apply your logical understanding to a real computer science
problem, the accurate description and verification of programs.
Jape helps, as far as arithmetic allows.
Aimed at undergraduates and graduates in computer science, logic,
mathematics, and philosophy, the text includes reference to and
exercises based on the computer software package Jape, an
interactive teaching and research tool designed and hosted by the
author that is freely available on the web.
Readership: Undergraduates and graduates in logic, computer
science, mathematics, and philosophy seeking a comprehensive
introduction to formal logic through proof and disproof.
Contents
Preface
PART I BASICS
1 A Rough History of Logic
2 How to speak and read logic
PART II FORMAL PROOF
3 Connectives
4 Rule shapes and formula shapes
5 Proof with connectives
6 The logical quantifiers
7 Proofs with quantifiers
PART III DISPROOF
8 Disproof in a mathematical model
9 Constructive semantics
10 Classical semantics
11 Disproof calculation
PART IV PROOF OF PROGRAMS
12 Specification and Verification
13 A simple programming language
14 Loops
15 Arrays
Index
(Flexicovers)
0-19-856789-8
Publication date: August 2005
400 pages, 180x100
Description
Essential knowledge for the first two years after registration,
from the publishers of the Oxford Handbook of Clinical Medicine
The first guide to the Foundation Programme; written by junior
doctors
A practical step-by-step approach to diagnosis and treatment for
all common on-call problems
Also includes a section on how to do practical procedures
An indispensible guide to the non-clinical aspects of your job as
a doctor
Fully cross-referenced to other Oxford Handbooks
The Oxford Handbook for the Foundation Programme is the first
book to be written for doctors on the new UK Foundation Programme.
It has been written by junior doctors with specific reference to
the different style of training offered by the new changes in
postgraduate education.
It is the most useful book you can carry during the critical
first two years after medical school. As you start your job it
will guide you through your on-call emergencies, day-to-day ward
life and specialty attachments whilst helping you adapt to your
career, get the most out of your job and choose a specialty.
It contains the simple factual guidance you'd expect from an
Oxford Handbook. The clinical sections are arranged by symptom
and have a clear, step-by-step format for the emergency
management of your patients. This book gives you the best
questions to ask for the history, tells you what to look for in
examination, and guides you to the correct diagnosis and
treatment. This presentation-based approach ensures you can offer
the best treatment for your patients, whose diagnoses often
aren't clear at first. A practical, ward-based approach is taken
for common on-call problems - including sliding scales, warfarin
dosing, and falls.
The specialty sections range from A & E to urology,
highlighting the important differences in approach, with a
succinct guide to the management of common specialist conditions.
Also covered are practical procedures ranging from cannulation to
chest drains, outlining indications, equipment and the actual
procedure. Wherever possible, hints for success have been
included. Interpretation of investigation results includes the
ECG, CXR and blood tests, providing a quick reference scheme
invaluable for years to come. The book ends with the common drug
doses that all doctors should know, but sometimes need to double
check.
The Oxford Handbook for the Foundation Programme also contains a
non-clinical section tackling issues from interview technique to
tax assessment. It includes all relevant addresses and website
references to help you find the information you need.
Readership: Clinical medical students and junior doctors in the
first few years after registration.
Contents
The Job
1 Before You Start
2 How to be a PRHO
3 Clinical Notes
4 Prescribing
5 Daily Duties
6 Ward Round
7 Difficult Patients
8 Discharge/TTOs
9 Driving Regulations
10 Referrals
11 Being On Call
12 The Night Shift
13 Surviving
14 The Medical Team - us
15 Multi-Disciplinary - Them
16 Labs
17 Occupational Health
Your Career
18 Teaching/Presentations
19 Continuing Your Education
20 Research and Academia
21 Statistics
22 Keeping Track
23 Exams and Royal Colleges
24 Career Progression
25 Choosing a Job
26 List of Careers/Specialties
27 Getting a Job
28 Moving/Finding a House
29 Starting Work in the UK
30 Working Abroad
Communication
31 Communication and Conduct
32 Patient Communication
33 Patient Centred Care
34 Violence and Aggression
35 Language
36 Outside Agencies
Ethics
37 Dealing with Death
38 Death Process
39 Religion
40 Confidentiality and Capacity
41 Consent
When Things Go Wrong
42 Medical Errors
43 Incident Reporting
44 Hating Your Job
45 Negligence and Complaints
46 Colleagues and Problems
Boring But Important
47 NHS Structure
48 Clinical Governance
49 Benefits
50 Finance
51 Other Money
Clinical Pages
52 History and Exam
53 Early Warning Scores
54 Arrest
55 Cardiovascular
56 Respiratory
57 Abdomen
58 Neuro
59 Endocrine/Metabolic
60 Infectious
61 Ward Cover
62 Night Sedation
63 Limbs
Specialties
64 Surgery
65 Paediatrics
66 Obs and Gynae
67 Psychiatry
68 General Practice
69 A&E
70 ITU and Anaesthetics
71 Orthopaedics
72 Rheumatology
73 ENT
74 Urology
75 Ophthalmology
76 Dermatology
77 Haematology
78 Oncology
79 Palliative Care
Procedures
80 Introduction
81 Venepuncture
82 Blood cultures
83 Femoral stab
84 IV cannulation
85 Arterial blood gases
86 Injections - SC and IM
87 Giving IV drugs
88 ECG
89 Cardiac monitors
90 Exercise testing
91 Cardioversion
92 Central lines
93 Pleural taps
94 Chest drains
95 Catheterisation
96 NG tubes
97 Ascitic tap
98 Lumbar puncture
99 Joint aspiration
100 Local anaesthetics
Interpreting results
101 Bloods
102 ECG
103 Chest X-ray
104 Arterial blood gases
105 Respiratory function
106 Abdominal X-ray
107 Urine
108 CSF
Doses, charts and miscellaneous
109 Outside agencies
110 Index
111 Numbers
112 Timetable
113 Drug monitoring
114 Antibiotic doses
115 Common doses
116 Emergency drugs
117 Emergencies list
Series: Encyclopaedia of Mathematical Sciences, Vol. 135
Volume package: Enc.Mathematical Sciences Invariant Theory
2005, XII, 177 p., Hardcover
ISBN: 3-540-24323-2
About this book
Multiplicative invariant theory, as a research area in its own
right within the wider spectrum of invariant theory, is of
relatively recent vintage. The present text offers a coherent
account of the basic results achieved thus far..
Multiplicative invariant theory is intimately tied to integral
representations of finite groups. Therefore, the field has a
predominantly discrete, algebraic flavor. Geometry, specifically
the theory of algebraic groups, enters through Weyl groups and
their root lattices as well as via character lattices of
algebraic tori.
Throughout the text, numerous explicit examples of multiplicative
invariant algebras and fields are presented, including the
complete list of all multiplicative invariant algebras for
lattices of rank 2.
The book is intended for graduate and postgraduate students as
well as researchers in integral representation theory,
commutative algebra and, mostly, invariant theory.
Table of contents