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

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

blank
blank
blank
Красота
blank
Ackermann W. — Solvable Cases of the Decision Problem
Ackermann W. — Solvable Cases of the Decision Problem

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

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



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


Название: Solvable Cases of the Decision Problem

Автор: Ackermann W.

Аннотация:

This book is intended to give a survey of the more important cases of the decision problem for the predicate calculus with equality of the first and second order which have so far been solved. It strictly restricts to this subject. Other investigations connected with the said problem, e.g. the reduction theorems, are only mentioned as far as they are of relevance for the selection of special cases.


Язык: en

Рубрика: Математика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Ackermann, W.      34 38 60 61 67 72 86
ASSIGNMENT      5 99
Behmann, H.      34 41
Bernays, P.      34 41 70 72
Bound variable      2
Church, A.      4 23 86 89 93
Conjunction      3
Conjunction, sign of conjunction      1
Conjunctive normal form      19
Decision problem      22
Dedekind, R.      55
Disjunction      3
Disjunction, sign of disjunction      1
Disjunctive normal form      20
Dyadic function      99
Dyadic functional variable      99
Dyadic predicate variable      1
Dyadic propositional function      4
Elimination theorems      15 37 106
Equality formulas      24
Equality, sign of equality      1
Equivalences      12
Equivalent      13 17
Existential quantifier      1
Free variable      2
Function      99
Functional variable      99
Gegalkine, I.      86
Gentzen, G.      93
Goedel, K.      61 75 93
Herbrand, J.      85 93
Hilbert, D.      34 41 60
Individual      4
Individual variable      1
Kalmar, L.      61 67 75
Loewenheim, L.      24 34 50
logical constants      1
Matrix      21
McKinsey, J.C.C.      60
Monadic function      99
Monadic functional variable      99
Monadic predicate variable      1
Monadic propositional function      4
n-adic function      99
n-adic functional variable      99
n-adic predicate variable      1
n-adic propositional function      4
n-validity      93
Negation      3
Negation, sign of negation      1
Negation-bar      1
Normal forms      19 48
P-constituent      3
Pepis, J.      61
Predicate variable      1
Prefix      21
Prenex normal form      21
Presburger, M.      60
Prime formula      3 99
Primitive symbols      1 99
Propositional function      4
Propositional variable      1
Quantifier      1
Quine, W.V.      34
Rewriting of bound variables      13
S-formulas      15
Satisfiable      8
Schoenfinkel, M.      70 72
Schroeder, E.      34 38
Schuette, K.      75 83 93
Scope of a quantifier      2
Semantic truth-definition      10
Skolem normal form      48
Skolem, Th.      34 48 50 60 72 86
Smielew, W.      60
Suranyi, J.      61 85
Syntactical truth-definition      10
Syntactical variables      3
Tarski, A.      60
Tautology, tautologous      19
Term      99
Term of a conjunction      3
Term of a disjunction      3
Trachtenbrod, B.A.      23
Turing, A.      23
Universal quantifier      1
Universal validity      9
Vacuous quantifiers      13
Validity      8
Valuation in arbitrary domains      9
Valuation in finite domains      4
Valuation of formulas      4 100
Valuation rules      5 100
Variables      1
von Wright, G.H.      34 88
Well-formed formulas (wffs)      1 99
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2018
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте