Search Results: 'formal language'

Search

×
×
×
×
150 results for "formal language"
Teacher's Activity Guide for abc English: Book One - PDF DOWNLOAD By Jennifer Christenson
eBook (PDF): $15.00
(PDF Download) This Teacher's Activity Guide contains games, chants, dialogues, and interactive activities that accompany the lessons in the student book abc English: Book One. abc English is a... More > curriculum for adult refugees and immigrants who are learning both English and basic reading skills. The series is designed specifically for adult English learners who have had little or no formal education in their native language. Students will learn the alphabet, basic phonics skills, and English life skills vocabulary through these books. Learn more about both books and download free samples at teachabcenglish.com.< Less
A Friendly Introduction to Mathematical Logic By Christopher C. Leary & Lars Kristiansen
Paperback: List Price: $33.50 $28.48 | You Save: 15%
Prints in 3-5 business days
At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary's user-friendly... More > 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study. Updating the 1st Edition's treatment of languages, structures, and deductions, leading to rigorous proofs of Gödel's First and Second Incompleteness Theorems, the expanded 2nd Edition includes a new introduction to incompleteness through computability as well as solutions to selected exercises.< Less
The Madman: His Parables and Poems By Khalil Gibran
eBook (PDF): $1.99
Khalil Gibran was an artist, poet and writer. He was born in Lebanon and spent much of his productive life in the United States. As a result of his family's poverty, he did not receive any formal... More > schooling during his youth in Lebanon. However, priests visited him regularly and taught him about the Bible, as well as the Syrian and Arabic languages. During these early days, he began developing ideas that would later form some of his major works. In particular, he conceived of The Prophet (1923) at this time. The Madman was published in 1918.< Less
Technology Grammar 1ed By Martin Hyatt
Hardcover: $240.00
Prints in 3-5 business days
Technology is one of the most important influences that shape our lives, culture, and society. Questions such as how technologies form, and why technology develops in a particular way are left... More > unanswered? This book examines technology as a system, similar to an economic or ecological system. It uses a profound connection between language and technology to find patterns in technology that follow the rules of a formal grammar. The vocabulary of this language is functions, a concept that links applications to the technologies that fill them. It is this link that enables the invention process. The essence of invention is to use a functional representation, and to manipulate it according to grammatical rules. This book works step by step to identify these functions and construct a grammar for technology. In the process, a number of insights into the nature of technology and invention emerge. The products of this exploration are new ways to invent including a process for automated invention.< Less
Technology Grammar 1.1 By Martin Hyatt
Hardcover: $90.00
Prints in 3-5 business days
Technology is one of the most important influences that shape our lives, culture, and society. Questions such as how technologies form, and why technology develops in a particular way are left... More > unanswered? This book examines technology as a system, similar to an economic or ecological system. It uses a profound connection between language and technology to find patterns in technology that follow the rules of a formal grammar. The vocabulary of this language is functions, a concept that links applications to the technologies that fill them. It is this link that enables the invention process. The essence of invention is to use a functional representation, and to manipulate it according to grammatical rules. This book works step by step to identify these functions and construct a grammar for technology. In the process, a number of insights into the nature of technology and invention emerge. The products of this exploration are new ways to invent including a process for automated invention.< Less
April to the Power of the Quantity Pythagoras Times Now By Bob Grumman
Paperback: $27.45
Prints in 3-5 business days
"Collected in Bob Grumman's book April to the Power of the Quantity Pythagoras Times Now are almost two decades' worth of mathemaku, a personal genre of his that combines elements of visual... More > poetry, mathematics, and haiku. Always the poet of the topical constraint, Grumman writes mathemaku that restrict themselves to a narrow range of subjects (spring, poetry, language, light) so he can divert all his effort into creating remarkable engines of poetic imagination where language, color, images, and mathematics conjoin to form stunning ineluctable gestalts. Drawing from his early pre-long-division mathemaku and his more recent forays into color and ever-increasing formal complexity, this book brings together a hearty sampling of the best of Grumman's mathemaku, including such masterworks as "Mathemaku for Ezra Pound" and "Seaside Mathemaku." A lifetime in the making, this book is not to be missed." —Geof Huth< Less
Mixed Inductive-Coinductive Reasoning: Types, Programs and Logic By Henning Basold
Paperback: List Price: $18.42 $12.89 | You Save: 30%
Prints in 3-5 business days
Induction and coinduction are two complementary techniques used in mathematics and computer science. These techniques occur together, for example, in control systems: On the one hand, control systems... More > are expected to run until turned off and to always react to their environment. This is what we call coinductive computations. On the other hand, they have to make internal computations. Restricting these computations to terminating, that is inductive, computations ensures that the systems continue to react to their environment. We develop in this thesis techniques for programming inductive-coinductive systems, and for describing their properties and proving these properties. The focus is on developing formal languages, in which proofsare written by humans and can be verified by a computer. This ensures the correctness of those proofs and thereby of the programmed systems. Due to their generality, the developed languages are also applicable to the formalisation of mathematics.< Less
Ueki no Te Ire: The Japanese Art of Giant Bonsai By Eric Mader
eBook (PDF): $9.13
(4 Ratings)
Ueki no Te Ire: The Japanese Art of Giant Bonsai is the first comprehensive guide to Japanese-style landscape pruning in the English language. It’s an ideal introduction to the subject for... More > bonsai and Japanese garden enthusiasts as well as landscape designers, and professional gardeners. The book includes a brief history of Asian topiary as well as step-by-step guidelines for pruning and training landscape trees in several formal Japanese styles. The book features extensive full color photos of trees taken at residential and monastery gardens throughout Japan. Extensive appendices include glossaries of Japanese and English arboriculture terms, as well as a detailed list of recommended public gardens in the U.S., Canada, and Japan. More information about this book and about the Japanese art of landscape tree pruning can be found at: http://www.giantbonsai.com< Less
Ueki no Te Ire: The Japanese Art of Giant Bonsai By Eric Mader
Paperback: $26.03
Prints in 3-5 business days
(4 Ratings)
Ueki no Te Ire: The Japanese Art of Giant Bonsai is the first comprehensive guide to Japanese-style landscape pruning in the English language. It’s an ideal introduction to the subject for... More > bonsai and Japanese garden enthusiasts as well as landscape designers, and professional gardeners. The book includes a brief history of Asian topiary as well as step-by-step guidelines for pruning and training landscape trees in several formal Japanese styles. The book features extensive full color photos of trees taken at residential and monastery gardens throughout Japan. Extensive appendices include glossaries of Japanese and English arboriculture terms, as well as a detailed list of recommended public gardens in the U.S., Canada, and Japan. More information about this book and about the Japanese art of landscape tree pruning can be found at: http://www.giantbonsai.com< Less
The Prince By Niccolò Machiavelli
Paperback: $16.67
Prints in 3-5 business days
Niccolò Machiavelli , or more formally Niccolò di Bernardo dei Machiavelli, was an Italian Renaissance historian, politician, diplomat, philosopher, humanist, and writer. He has often... More > been called the founder of modern political science. He was for many years a senior official in the Florentine Republic, with responsibilities in diplomatic and military affairs. He also wrote comedies, carnival songs, and poetry. His personal correspondence is renowned in the Italian language. He was secretary to the Second Chancery of the Republic of Florence from 1498 to 1512, when the Medici were out of power. He wrote his most renowned work The Prince (Il Principe) in 1513. “The Prince” is a reference about political philosophy that has influenced our modern society, like “The Art of War” by Sun Tzu (Also by Niccolò Machiavelli), “The Communist Manifesto” by Karl Marx and Friedrich Engels.< Less

Top 10

see more >
 
 
 
 
 
 
 
6
Birth Log Book Birth Log Book By Emily Rumsey
Paperback: $20.00