Search Results: 'formal language'

Search

×
×
×
×
150 results for "formal language"
Formalized Natural Languages By dr. ir. Andries Van Renssen
Paperback: $39.00
Prints in 3-5 business days
Formalized natural languages, such as Formalized English and Formalized Dutch, are powerful extensible languages and ontologies for information and knowledge modeling. The languages enable electronic... More > data storage and data exchange in a neutral and system independent way. They also enable terminology standardization, automated translation, data integration and interoperability of systems. Formal English can be used as a basis for the creation of universal databases and interfaces between systems or to standardize the content of systems and to integrate data from different sources. It is the 2nd edition of Gellish, a Generic Extensible Ontological Language.< Less
Semantic Information Modeling in Formalized Languages By Andries van Renssen
Paperback: $38.00
Prints in 3-5 business days
Semantic modeling in a formalized language provides a route towards the benefits of universal data exchange, data integration and interoperability of systems. Its application will also reduce the... More > need for and cost of data conversions. Using a formal language enables expressing information and knowledge, including also possibilities, requirements and definitions in a system independent, unambiguous, human as well as computer interpretable way. The book describes Formal English and other members of the Gellish family of formalized languages. It also describes their formal taxonomic dictionaries and gives guidance on creating how high quality information models that can be read by any computer application that can interpret and operate on expressions in the formal language. The book also describes a Gellish expression format and syntax for storing and exchanging information and thus provides a method for the creation of universal semantic databases and for data communication in a common language.< Less
Formal Poetry Collection By Louise Harper
Paperback: $8.90
Prints in 3-5 business days
(2 Ratings)
Poetry Collection; mostly formal poetry forms.
Semantic Modeling In Formal English By Dr. Ir. Andries Van Renssen
eBook (ePub): $19.90
Semantic Modeling in Formal English describes how information can be modeled in a system independent way, by using standardized formalized English. This way of modeling enables universal data... More > exchange and interoperability of systems by expressing information, knowledge and requirements in a human as well as computer interpretable way. That is done by creating semantic information models that include meaning as well as context. The resulting expressions are unambiguous and system independent. The book also describes the Gellish expression format for storage and exchange of information. Formal English is a standardized structured subset of natural English. Semantic Modeling describes how Formal English is defined and how information models can be composed and how they can be interpreted. It also provides a basis for the creation of universal semantic databases. This enables reduction of costs for data conversion and misinterpretation and speeds up data communication and data integration processes.< Less
forall x: an introduction to formal logic By P.D. Magnus
Paperback: List Price: $9.99 $8.49 | You Save: 15%
Prints in 3-5 business days
In formal logic, sentences and arguments are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become... More > clearer. This text describes two formal languages which have been of special importance to philosophers: truth-functional sentential logic and quantified predicate logic. The book covers translation, formal semantics, and proof theory for both languages.This can be used as the textbook for a semester long course in logic, for a unit on logic, or for self-directed study. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix.The author is an assistant professor of philosophy at the University at Albany, SUNY.For more information, see the forall x homepage and the author's homepage.< Less
Forall X: An Introduction to Formal Logic By P.D. Magnus
eBook (PDF): $0.00
In formal logic, sentences and arguments are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become... More > clearer. This text describes two formal languages which have been of special importance to philosophers: truth-functional sentential logic and quantified predicate logic. The book covers translation, formal semantics, and proof theory for both languages.This can be used as the textbook for a semester long course in logic, for a unit on logic, or for self-directed study. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix.The author is an assistant professor of philosophy at the University at Albany, SUNY.For more information, see the forall x homepage and the author's homepage.< Less
Innovative language teaching and learning at university: integrating informal learning into formal language education By Fernando Rosell-Aguilar et al.
Paperback: $16.38
Prints in 3-5 business days
This volume collects selected papers from the 2017 Innovative Language Teaching and Learning at University conference, which took place on the 16th of June at The Open University. The theme of the... More > conference was Integrating informal learning into formal language education. The aim of the conference was to engage in productive collaboration between language professionals to further equip students to succeed in our ever-growing landscape of formal and informal learning. This is the third volume in a series of books compiling papers from the InnoConf conferences. It follows from the first two volumes in 2015 and 2016 respectively: Enhancing participation and collaboration (Goria, Speicher, & Stollhans, 2016) and Enhancing employability (Álvarez-Mayo, Gallagher-Brett, & Michel, 2017).< Less
The Language of the Dakota or Sioux Indians By Frederic Louis Otto Roehrig
Paperback: List Price: $9.98 $4.99 | You Save: 50%
Prints in 3-5 business days
This primer discusses the linguistics of the Dakota and Sioux native American tribes, noting how the fascinating characteristics of these languages interact in sentence conjugation. Writing in the... More > 1870s, Frederic Rœhrig presents his insights after spending years with the Dakota tribespeople. Through conversing in their native tongue, he discovered flaws in how earlier scholars interpreted and transcribed the meanings of words and terms – that such subtleties were missed or garbled due to human errors or misunderstandings is demonstrated, while the general composition of the tribe’s communication is discussed. For those possessing little familiarity with native American tongues, Rœhrig’s researches into the Dakota tribe are a valuable introduction to linguistic tenets. For readers educated or researching the field, this work is an intriguing glimpse at how the linguistic disciplines were gradually refined and formalized through the 19th century.< Less
Metamath: A Computer Language for Mathematical Proofs By Norman Megill & David A. Wheeler
Hardcover: List Price: $37.96 $26.57 | You Save: 30%
Prints in 3-5 business days
(1 Ratings)
Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple and robust, with an almost total... More > absence of hard-wired syntax, and we believe that it provides about the simplest possible framework that allows essentially all of mathematics to be expressed with absolute rigor. While simple, it is also powerful; the Metamath Proof Explorer (MPE) database has over 23,000 proven theorems and is one of the top systems in the “Formalizing 100 Theorems” challenge. This book explains the Metamath language and program, with specific emphasis on the fundamentals of the MPE database.< Less
Ina: Una Ricerca Empirica Per Un Modello Formale By Claudio Della Bella
eBook (PDF): $9.99
Thesis about a special kind of adjectives. They are weak negative adjectives.

Top 10

see more >
 
 
 
 
 
4
My Wars My Wars By Richard Bushong
Paperback: $14.36
 
 
 
 
6
Vein Book Vein Book By Eric Dohner
Paperback: $10.00
 
 
7
About Face About Face By Eric Dohner
Paperback: $10.00
 
 
 
 
 
 
10
What May Come What May Come By Robert Grant
Paperback: $12.71