代数、意义与计算

所属分类:数学  
出版时间:2006-12   出版时间:湖北辞书出版社   作者:Futatsugi, Kokichi; Futatsugi, Kokichi; Jouannaud, Jean-Pierre   页数:642  

内容概要

Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, logics in computer science, semiotics, interface design, multimedia, and consciousness, to mention just some of the areas, have all been enriched in fundamental ways by his ideas.  This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.  The papers were presented at a Symposium in San Diego, California, USA in June 2006. Both the Festschrift volume and the Symposium allow the articulation of a retrospective and prospective view of a range of related research topics by key members of the research community in computer science and other fields connected with Joseph Goguen's work.

书籍目录

Meaning Sync
or
Swarm:
Musical
Improvisation
and
the
Complex
Dynamics
of Group
Creativity My
Friend
Joseph
Goguen Metalogic,
Qualia,
and
Identity
on
Neptune's
Great
Moon:
Meaning
and Mathematics
in
the
Works
of
Joseph
A.
Goguen
and
Samuel
R.
DelanyMeta-Logic Quantum
Institutions
 Jewels
of
Institution-Independent
Model
Theory Semantic
Web
Languages
-
Towards
an
Institutional
Perspective Institutional
2-cells
and
Grothendieck
Institutions Some
Varieties
of
Equational
Logic Complete
Categorical
Deduction
for
Satisfaction
as
InjectivitySpecification
and
Composition Extension
Morphisms
for
CommUnity Non-intrusive
Formal
Methods
and
Strategic
Rewriting
for
a
Chemical Application From
OBJ
to
ML
to
Coq
Weak
Adhesive
High-Level
Replacement
Categories
and
Systems
A
Unifying
Framework
for
Graph
and
Petri
Net
Transformations
From
OBJ
to
Maude
and
Beyond
Constructive
Action
Semantics
in
OBJ
Horizontal
ComDosabilitv
Revisited
Composition
by
Colimit
and
Formal
Software
DevelopmentBehavior
and
Formal
Languages
Proving
Behavioral
Refinements
of
COL-specifications
The
Reactive
Engine
for
Modular
Transducers
A
Bialgebraic
Review
of
Deterministic
Automata,
Regular
Expressions
and
Languages
Sheaves
and
Structures
of
Transition
Systems
Uniform
Functors
on
Sets
An
Algebraic
Approach
to
Regular
SetsModels,
Deduction,
and
Computation Elementary
Algebraic
Specifications
of
the
Rational
Complex
Numbers
 From
Chaos
to
Undefinedness Completion
Is
an
Instance
of
Abstract
Canonical
System
Inference Eliminating
Dependent
Pattern
Matching……Author
Index

图书封面


    代数、意义与计算下载



用户评论 (总计0条)

 
 

 

自然科学类PDF下载,数学PDF下载。 PPT下载网 

PPT下载网 @ 2017