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

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

blank
blank
blank
Красота
blank
Simpson S.G. — Mathematical Logic
Simpson S.G. — Mathematical Logic

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

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

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



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


Название: Mathematical Logic

Автор: Simpson S.G.

Язык: en

Рубрика: Математика/Алгебра/Математическая логика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Arity      19 57 62
ASSIGNMENT      5
Atomic formula      3 19 58 63
Atomically closed      33
BINARY      3
Block tableau      45
Block tableau, modified      48
Bound variable      20
Church’s Theorem      40
Clause      9
Closed      13 30
Closed, atomically      33
Cofinite      55
Compactness Theorem      54
companion      39 40
Completeness      39
Composite number      56
Congruence      53 54
Constant      57
Degree      3 19
Disjunctive normal form      9
Domain      63
Dyadic      15
End node      15
Equality      61
Equivalence relation      55
Equivalent theories      65
Falsity      22
Fibonacci numbers      57
Finitely branching      15
Formation sequence      4
Formation tree      4
Formula      3 19 58 63
Free variable      20
Gentzen-style proof system      47
Goedel number      67
Graph      17
Group      61
Hilbert-style proof system      38
Hintikka's Lemma      14 30
Identity      64
Identity axioms      53 61 64
Identity predicate      53
Immediate extension      10 26
Immediate predecessor      15
Immediate successor      15
Interpolation      49 51
Interpretable      66
Isomorphism      21 58
Koenig's lemma      15
Language      3 19 57
Language, primitive recursive      68
lg      47 61 64
LG'      48
LG(atomic)      48
LG(symmetric)      49
lh      43 60 64
LH'      44
Logical consequence      7 22 25 30
Logical equivalence      8 28
Logical validity      7 22 25 27 48 49
Many-sorted      62
modus ponens      39
n-ary      19
n-ary operation      57
Normal satisfiability      54 61
Normal structure      53 61 64
Numeral      67
open      13 14 30
Operation      57 62
Ordering, partial      17
PARAMETER      23
Parameters      64
Partial ordering      17
Partition      55
Path      15
Predecessor      15
Predicate      19 62
Prenex form      29
Prime numbers      57
Primitive recursive language      68
Proof system      38
Proof system, Gentzen-style      47
Proof system, Hilbert-style      38
Quantifier      19
Quantifier-free      29
Quasitautology      39
Replete      14 30
Ring      61
Root      15
Satisfaction      7 22 25
Satisfiability      7 22 25 27
Sentence      20
Sequent      46
Sequent calculus      47
Signed formula      10
Signed sequent      49
Signed variant      49
sort      62
Soundness      39
Spectrum      55 64
Spectrum problem      55 62 64
Structure      21 25
sub      69
Subtree      15
Successor      15
symmetric      49
Tableau      10 23 59
Tautology      7 39
Term      58 63
Torsion      62
TREE      15
Truth      22
Truth values      5
unary      3
Universal closure      29
Unsigned formula      10
Unsigned sequent      49
Valuation      5 21 58
Variable      19
Variable, bound      20
Variable, free      20
Variable-free      58
Variables      63
Variant      49
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте