Preisvergleich auf Barfigo.de: FORMAL
Vergleichen Sie die Preise in 383 Shops mit insgesamt 12.951.382 Produkten
Sie befinden sich auf Seite 1 von 50.
Angezeigt werden 10 Ergebnisse
Formal Methods at the Crossroads. From Panacea to Foundational Support
EUR 80.20
Applied Formal Methods - FM-Trends 98
EUR 58.80
Fey, Görschwin;Drechsler, Rolf: Robustness and Usability in Modern Design Flows
Ray, Sandip: Scalable Techniques for Formal Verification
Degrees of Belief
Agenda Relevance: A Study in Formal Pragmatics - A Study in Formal Pragmatics
the logic of practical reasoning, under the collective title, A Practical Logic
of Cognitive Systems.
In this highly original approach, practical reasoning is
identified as reasoning performed with comparatively few cognitive assets,
including resources such as information, time and computational capacity.
Unlike
what is proposed in optimization models of human cognition, a practical reasoner
lacks perfect information, boundless time and unconstrained access to
computational complexity.
The practical reasoner is therefore obliged to be a
cognitive economizer and to achieve his cognitive ends with considerable
efficiency.
Accordingly, the practical reasoner avails himself of various
scarce-resource compensation strategies.
He also possesses neurocognitive
traits that abet him in his reasoning tasks.
Prominent among these is the
practical agents striking (though not perfect) adeptness at evading irrelevant
information and staying on task.
On the approach taken here, irrelevancies are
impediments to the attainment of cognitive ends.
Thus, in its most basic sense,
relevant information is cognitively helpful information.
Information can then be
said to be relevant for a practical reasoner to the extent that it advances or
closes some cognitive agenda of his.
The book explores this idea with a
conceptual detail and nuance not seen the standard semantic, probabilistic and
pragmatic approaches to relevance; but wherever possible, the authors seek to
integrate alternative conceptions rather than reject them outright.
A further
attraction of the agenda-relevance approach is the extent to which its principal
conceptual findings lend themselves to technically sophisticated re-expression
in formal models that marshal the resources of time and action logics and
label led deductive systems.
Agenda Relevance is necessary reading for researchers in logic, belief
dynamics, computer science, AI, psychology and neuroscience, linguistics,
argumentation theory, and legal reasoning and forensic science, and will repay
study by graduate students and senior undergraduates in these same fields.
Key features:
• relevance
• action and agendas
• practical reasoning
• belief dynamics
• non-classical logics
• labelled deductive systems
EUR 157.08
CAFE: An Industrial-Strength Algebraic Formal Method - An Industrial-Strength Algebraic Formal Method
The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ.
The project involved more than 40 people from more than 10 organisations, of which 6 are industrial.
The workshop attracted about 30 talks and more than 70 attendees.
The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research, or completely new ones, written especially for this book.
In this regard, the book is not a usual postpublication after a workshop.
Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ.
Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ.
Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective.
Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic.
For rewriting logic, a couple of significant applications were reported.
In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper.
For behavioural logic, new methodological guidelines are presented.
Some papers shed new light on a more traditional paradigm in the language, order-sorted equational specifications.
One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming.
The other papers deal with environments for writing and vertifying specifications written in CafeOBJ.
Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs.
All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated.
EUR 92.95
Mahmood, Munazza;Tufail, Mahmood: Teacher Professional Development
EUR 79.00
Murtaza, Ali: Comparative Study of Teaching Practice in Teacher Training Programmes
