|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
205574 |
| 005 |
20231101225305.0 |
| 010 |
|
|
|a 9785922113403
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\224043
|
| 090 |
|
|
|a 205574
|
| 100 |
|
|
|a 20111212d2011 k y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a a z 001zy
|
| 200 |
1 |
|
|a Прикладная логика
|f С. В. Попов, Н. Л. Брошкова
|
| 210 |
|
|
|a Москва
|c Физматлит
|d 2011
|
| 215 |
|
|
|a 212 с.
|c ил.
|
| 320 |
|
|
|a Библиогр.: с. 210-212.
|
| 330 |
|
|
|a Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
|
| 606 |
1 |
|
|a Логика
|2 stltpush
|3 (RuTPU)RU\TPU\subj\40551
|9 60396
|
| 610 |
1 |
|
|a логические задачи
|
| 610 |
1 |
|
|a классификация
|
| 610 |
1 |
|
|a логическое следование
|
| 610 |
1 |
|
|a эквивалентность
|
| 610 |
1 |
|
|a логические матрицы
|
| 610 |
1 |
|
|a обратные матрицы
|
| 610 |
1 |
|
|a алгоритмы построения
|
| 610 |
1 |
|
|a логический анализ
|
| 610 |
1 |
|
|a выводы
|
| 610 |
1 |
|
|a преобразование
|
| 686 |
|
|
|a Ю4
|v LBC/SL-A
|2 rubbk
|
| 700 |
|
1 |
|a Попов
|b С. В.
|g Сергей Викторович
|
| 701 |
|
1 |
|a Брошкова
|b Н. Л.
|g Наталья Леонидовна
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20111212
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20150616
|g RCR
|
| 900 |
|
|
|a Дискретная математика
|
| 900 |
|
|
|a Искусственный интеллект
|
| 942 |
|
|
|c BK
|
| 959 |
|
|
|a 99/20111212
|d 2
|e 237,60
|f ЧЗТЛ:1
|f АНЛ:1
|
