Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Красота

Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods

Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods

Авторы: Abramsky S., Gabbay D.M., Maibaum T.S.E.

Аннотация:

Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminent frontline researchers in the field, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 5: Algebraic and Logical Structures covers all the fundamental topics of semantics in logic and computation. The extensive chapters are the result of several years of coordinated research, and each have thematic perspective. Together, they offer the reader the latest in research work, and the book will be indispensable

Язык:

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2000

Количество страниц: 537

Добавлена в каталог: 11.12.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

$-\times\cdot\cdot\cdot\times -$       45
$=_{Th}$       69
$=_{\sigma}$       93
$ap_{A,A^{'}}$       120
$ap_{X,Y}$       61
$a\in_{X} A$       114
$A_{f}$       115
$A_{s}$       115
$cons_{X}$       62
$cur_{I}$       60
$empty_{\tau}$       56
$Eq_{X}$       93
$fsat(L_{0})$       153
$f\ltimes A$       111
$inl_{X,X^{'}}$       53
$inl_{\sigma^{'}}$       53
$inr_{X,X^{'}}$       53
$inr_{\sigma}$       53
$inv(L_{0})$       153
$lift_{I}$       67
$listrec_{I}$       62
$L_{0}$       138
$L_{t}$       138 171
$M_{L_{t}}$       171
$nil_{X}$       62
$nil_{\sigma}$       62
$N[\vec{M}/\vec{x}]$       46
$n\cdot x$       88
$Obj_{C}$       112
$Prop_{C}$       79
$P_{0}$       88
$P_{1}$       88
$R\subseteq \sigma_{1},...,\sigma_{n}$       77
$sat(\Sigma)$       132
$sat^{*}(\Sigma)$       144
$sat^{*}_{T}(L)$       144
$sat^{*}_{T}(\Sigma)$       144
$sat^{p}_{T}(\Sigma)$       139
$sat_{T}(L)$       139
$sat_{T}(L_{0})$       132
$sat_{T}(M L_{0})$       132
$sat_{T}(M\Sigma_{+})$       161
$sat_{T}(\Sigma)$       139
$Sg_{C}$       48
$Th_{C}$       73
$Type_{C}$       110
$T\sigma$       66
$val(\Sigma)$       132
$var(\Gamma)$       44
$X\ltimes A$       110
$X_{F}$       115
$X_{s}$       115
$[M[\Gamma]]$       46
$[\phi[\Gamma]]$       81
$\asymp$       88 116
$\bigvee_{f}$       95
$\bigvee_{I,X}$       90
$\bigwedge$       83
$\bigwedge_{f}$       95
$\bigwedge_{I,X}$       90
$\bot_{X}$       84
$\Delta_{X}$       94
$\downarrow$       88 117
$\equiv$       51
$\eta_{X}$       67
$\exists_{\sigma}$       89
$\forall_{\sigma}$       89
$\gamma :\Gamma\rightarrow\Gamma^{'}$       103
$\gamma =\gamma^{'} :\Gamma\rightarrow\Gamma^{'}$       103
$\Gamma =\Gamma^{'}$       103
$\Gamma ctxt$       103
$\Gamma_{F}$       102
$\Gamma_{s}$       102
$\lambda$       120
$\Lambda_{\sigma}$       60
$\leftrightarrow$       85
$\leq$       79
$\ltimes$       111
$\mathcal{C}$ -property      79
$\mathcal{T}_{k}$       171
$\mu$ -reduct      237
$\neg$       85
$\phi prop [\Gamma]$       77
$\Phi\vdash\psi[\Gamma]$       78
$\pi$       120
$\Pi(A, A^{'})$       120
$\pi_{A} : X\ltimes A\rightarrow X$       110
$\pi_{i}$       45
$\pi_{\sigma}$       109
$\rightarrow$       84
$\rightharpoonup$       80
$\sigma +\sigma^{'}$       53
$\sigma =\sigma^{'} [\Gamma]$       103
$\sigma list$       62
$\sigma type [\Gamma]$       103
$\sigma$ -homomorphism      223
$\Sigma(X)$ -term      227
$\sigma\rightarrow\sigma^{'}$       60
$\sigma\times\sigma^{'}$       57
$\sigma_{F}$       102
$\Sigma_{r}$       135 171
$\Sigma_{\infty}$       135 171
$\star$       60
$\top_{X}$       83
$\twoheadrightarrow$       51
$\varphi D_{n}$       142
$\varphi^{\mathfrak{A}}(\vec{x},\vec{m})$       139
$\vDash$       78
$\vee$       84
$\wedge$       82
$\{ -|- \}_{I}$       54
( $\exists$ -Adj)      89
( $\exists$ -Elim)      89
( $\exists$ -Intr)      89
( $\forall$ -Adj)      89
( $\forall$ -Intr)      89
( $\Rightarrow$ -Adj)      86
( $\Rightarrow$ -Elim)      86
( $\Rightarrow$ -Intr)      86
( $\vee$ - $Intr_{1}$ )      86
( $\vee$ - $Intr_{2}$ )      86
( $\vee$ -Adj)      86
( $\vee$ -Elim)      86
(&- $Elim_{1}$ )      86
(&- $Elim_{2}$ )      86
(&-Adj)      86
(&-Intr)      86
(=-Adj)      93
(=-Elim)      93
(=-Intr)      93
(Contract)      79
(Cut)      79
(Exchange)      79
(false-Adj)      87
(false-Elim)      86
(Subst)      78
(Weaken)      78
(x)e      51
0      57
<-,->      115
<-,...,->      45
Abstract data type      224 351
Abstract data type, modularized      285
Abstraction condition      478
Abstraction, behavioural      298
Actual variables      138
Adequate specification      252
Alg      74
Algebra      221
Algebra, compact      464—465 471

Algebra, complete metric      477 484
Algebra, complex numbers      328—329 346 353 423 438—451 451—478
Algebra, computable      332—335
Algebra, connected      465—469
Algebra, effective      321 329 335
Algebra, expansion      324—325 347 456—457
Algebra, final      224
Algebra, freely generated      233
Algebra, generated      231
Algebra, Hausdorff      457
Algebra, homomorphic image of      223
Algebra, initial      224
Algebra, interval      445
Algebra, locally compact      477
Algebra, locally finite      405 418—419
Algebra, many sorted      320 322 325 329—330 344—360
Algebra, metric      465
Algebra, minimal      350 412
Algebra, N-standard      350 353—354
Algebra, natural numbers      320 326 329 334 345—346 352—354 269—270 405 409
Algebra, order-sorted      302
Algebra, partial      345 451—478
Algebra, partial topological      451—478
Algebra, polynomials      327 329 438—451 471
Algebra, quotient algebra      226
Algebra, quotient term algebra      235
Algebra, quotient term algebra of a set of formulas      244
Algebra, real numbers      320—321 327—329 346 353 354 396 409 438—451 451—478
Algebra, reduct of an      237
Algebra, standard      322 351—352 360
Algebra, streams      326 328 359—360 451 454 501
Algebra, subalgebra      225
Algebra, term algebra      234
Algebra, terms      329
Algebra, topological      332 451—478
Algebra, total      345
Algebra, ultrametric      477
Algebra, with arrays      356—359
Algebra, with unspecified value      355—356
Algebraic and transcendental points      441
Algebraic domain      477
Algebraic operational semantics      364—366
Algebraic theory      45
Algebraic theory, dependently typed      102
Amalgamated union      283
AP      61 120
Approximate computation      320—321 342 451—478
Arity      51 220
ASSIGNMENT      228
atime      140
Atomic formula      143
Atomic specification      252
Ax, J.      207
Axiom      249
Axiom, scheme      249
Axiom, term-equality      102
Axiom, type-equality      102
Axiomatizable      246
Baire space      476
Barwise, J.      200
Baur, W.      209
Beck — Chevalley condition      96 97
Behavioural abstraction      298
Behavioural equivalence      298
Ben-Or, M.      209
Benabou, J.      113
Berman, L.      193 194 209
Bi-rule      86
Bloom, S. L.      75
Blum, L.      438 484 506
Boerger, E.      136 154
Brattka, V.      478 484 506
Brown, S. S.      208
Buechi, J.      154
Calculus      249
Calculus, equational      250
Cantor set      445 451
Carrier      221
Carrier set      221
Cartmell, J.      41 101 110
CASE      53
cat      114
Categorical combinators      123
Category with attributes      101
Category, bicartesian closed      77
Category, cartesian closed      62
Category, classifying      70
Category, prop-      79
Category, slice      111
Category, type-      110
Category, well-pointed      49
Category, well-powered      81
Cegielski, P.      136
Cel      241
Chagrov, A.      136
Chandra, A.      140
Chaotic systems      447—451
Cherlin, G.      208
Church — Turing thesis      see "Generalised Church — Turing thesis"
Cl(Th)      70 107
Classifying, category      70
Classifying, prop-category      99
Classifying, type-category      108—109
Closure      246
Closure, condition      225
Closure, of a class of algebras      247
Closure, theorems for semicomputable sets      409—413 415—416 420—421
Coherence      101 123
complete      142 250
Completeness      77 97—100
Compton, K.      134 206
Computability theory, abstract      321 330—331 336—340
Computability theory, abstract versus concrete      333—335 475—478
Computability theory, abstract, history      335—340 474—478
Computability theory, generalised      320—321 330—331
Computability theory, generalised, history      335—340
Computability theory, history      335—340
Computability theory, on algebras      320—321 330—331 340—342
Computability theory, on natural numbers      319—320 322 330—331
Computability theory, reasons for generalising      335—336
Computability theory, type two      476
Computable analysis      321
Computable real number      475
Computation type      66
Computation, local      372—373 387
Computation, sequence      364
Computation, theory      490
Computation, tree      342 423—430 436—438 468—469
Computational lambda calculus      66
Concrete representation      477
Condition, inheritance      302
Condition, subtype      302
Conditional equational logic      241
Confluent      263
Congruence relation      225
Congruence relation, induced      226
Cons      62
Conservativity for terms      383—387 429
Consistent      285
Constant      220
Constraint      267
Construction term      300
Constructive specification      267
Constructive specification, abstract syntax      267
Constructive specification, concrete syntax      268
Constructive specification, semantics      268
constructor      231
Constructors      255
context      44 101
Context, $\alpha$ -equivalence of      69

1 2 3 4

Реклама

© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024

Электронная библиотека мехмата МГУ

Valid HTML 4.01!

|

Valid CSS!

О проекте