Kowalski R. — Logic for problem solving :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Kowalski R. — Logic for problem solving

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

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

Название: Logic for problem solving

Автор: Kowalski R.

Аннотация:

Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Siklossy      183
Simmons      34
Simon      75 179
SIMULA      117
Simulation      225 228
SL-resolution      71 95
Solution, disjunctive      157
Sorting problem      115 120
Soundness      71
Specification language      120 204
Specification of programsl      93
Splitting      89
Stallman      99 242
Standard form of logic      29 127 152 193
Standard form of logic, conversion to clausal form      197
Standard form of logic, semantics      193
State      84 95
State space axiom      137
State space problem      133
State, goal      75
State, initial      75
Stephanl      77
Stickel      75
Strategy for subgoal selection      93
Strategy, last-in-first-out      68
Strategy, search      60
Strategy, selection      67
STRIPS      133 134 137 138
Structure-sharing implementation of resolution      150
Subformula      195
Subgoal      95
Subgoal selection strategy      92
Subset, definition of      177 219
Substitution      10 15 70
Substitution component      15 70
Substitution, application of      15 70
Substitution, metching      70 89
Substitution, roost general      54 59
Subsumptionl      62
Successor      7
Surrogate constraint      181
Sussman      98 99 128 242
Symbol, constant      2 6
Symbol, function      2 6 26
Symbol, predicate      3 6
Symbol, symbolic integration      41 125
Symbol, syntax      5 8
Symbol, synthesis      49
Synthesis of organic compounds      144
Syre      40

Szeredi      41 145
Tables      37
Tarnlund      126 204 222
Tatel      45
Tautology      174 187
Terms      6 107 122 212
Terms, composite      6
Text comprehension      240
timesharing      103 116
Top-down      7
Top-down derivation      67
Top-down inference      67
Top-down parallel refutation      56
Top-down parsing      49
Top-down refutation      55
Trace of a proof procedure      235
Transitivity      25 180
Travis      40 177
Tree and-or      75 85
Tree-representation of search spaces      79
triangle      49 57
Truth      14 152
Truth maintenance      242
Types      23 24
Unary predicate symbol      22
Undecidability of logic      220
Unification      70
Unification algorithm      60
Unifier, most general      70
Universal quantifier      194
Universe of discourse      12 14
Unstated only-if assumption      213
Utility      240
Van der Brug      75
Van Emden      39 120
Variable      2 6 23
Variant      4 60 67
Verification of programs      204
Vocabulary      18
Waldingerl      27 145 158 200 204
Warren      iii 41 107 144 231
Water containers problem      75 81 84 130 146
Wegman      60
Welham      41
Weyhrauch      229
Winograd      128 129
Winston      iii
Wise      117
Wood      85
Zloof      39 125

1 2 3

О проекте