The Formal Semantics of Programming Languages provides the basic mathematicaltechniques necessary for those who are beginning a study of the semantics and logics of programminglanguages. These techniq
Assuming no prior knowledge of linguistics, AN INTRODUCTION TO LANGUAGE, Tenth Edition, is appropriate for a variety of fields--including education, languages, psychology, cognitive science, anthropol
Illustrates key computing concepts using examples in the most popular programming languages. This is an essential guide for the hundreds of thousands of students studying Introduction to Computer Scie
This popular and accessible introduction to phonetics is now available in a fully updated second edition. Peter Ladefoged describes how languages use a variety of different sounds, many of them quite
Formal learning theory is one of several mathematical approaches to the study of intelligent adaptation to the environment. The analysis developed in this book is based on a number theoretical approac
This beautiful introduction to art and language features some of the world's most beloved masterpieces as it entices children to discover art, language, objects, and colors. First pictures, first word
This text is designed for readers desiring a comprehensive introduction to formal logic that is both rigorous and accessible to those encountering the subject for the first time. Abundant carefully cr
本書詳細介紹形式語義學的基本內容、主要技巧和方法，可供大學語言和語言學專業的高年級本科學生及碩士、博士生作研習、參考之用。對自然語言分析和處理感興趣的計算機、數學、哲學、邏輯和人工智能專業的學生也可從本書中獲得系統的語義學知識。在閱讀此書之前，讀者最好先學一門現代語言學導論課或讀一本基礎教科書，如Akmajian et al（1984）或Fr0瑚kin&R0d—mail（1993），也可上一門生成
The Just Listen ‘n’ Learn series picks up where formal language studies leave off by giving learners a feel for how languages are really spoken by the “man on the street.” An engaging way to build bas
This fascinating introduction to classical art and architecture is the first book to investigate the way classical buildings are put together as formal structures.
This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly
In spirit, this book is closer to Elements de Geometrie Algebrique (EGA) than the existing textbooks on algebraic geometry. It prvides an introduction to schemes, formal schemesc coherent sheaves, and
A monograph containing a historical introduction by A. A. Fraenkel to the original Zermelo-Fraenkel form of set-theoretic axiomatics, and Paul Bernays’ independent presentation of a formal system of a
《概率論基礎》內容簡介：This introduction to Probability Theory can be used，at the beginning graduate level．for a one—semester course on Probability Theory or for self-direction without benefit of a formal course
This important course provides a comprehensive basic introduction to teaching languages, for use in pre-service or early experience settings. It can be used by groups of teachers working with a traine
