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

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

blank
blank
blank
Красота
blank
Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science
Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science



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



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


Название: Truth, Deduction, and Computation: Logic and Semantics for Computer Science

Автор: Davis R.E.

Язык: en

Рубрика: Технология/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Semantically equivalent      190
Semantics      v
Semantics axiomatic      v
Semantics denotational      vi
Semantics operational      v
Semi-separable      211
Separability      211
Separable      194
Similar head normal forms      171
Skolein free variable form      72
Skolem function      71
solvable      169
Solvably equivalent      209
Solvably extended by      209
Sound      6
Standard interpretation      107
Standardization Theorem      163
Standardize apart      76
Strongly representable      127
Sub-basis      186
Substitution      65 154 190
Substitution lemma      191
Substitution rule      108
Substitution, independent components      65
Substitution, instance      65
Subterm      156
Successor function      107
Term      45
Termination      167
Theorem      4
Theory      vi 2
Theory $\mathcal{X}$      3
Theory first-order      44
Theory higher-order      44
Top (t)      179
Total computable function      107
True in a given interpretation      52
Truth      vi
Undecidability      107
Undecidable sentence      144
Unifier      74
Universal quantifier ($\forall$)      45
Unsatisfiable      54
Unsolvable      169 173
Uppermost      69
Wadsworth, Christopher      viii
Well-formed formula      2
Well-formed formulaof Predicate Logic      45
Wff      see "Well-formed formula"
Zero function      107
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте