Пошуковий запит: (<.>K=ПРЕДИКАТ$<.>) |
Загальна кількість знайдених документів : 37
Представлено документи з 1 до 20
|
| |
1. | Нильсон Н. Искусственный интеллект [Електронний ресурс] : методы поиска решений : пер. с англ. / Н. Нильсон. - М. : Мир, 1973. - 270 с.
|
2. | Слинько І. І. Історичний синтаксис української мови [Електронний ресурс] / І. І. Слинько. - К. : Вища школа, 1973. - 216 с.
|
3. | Соболева Т. С. Дискретная математика [Електронний ресурс] : учебник / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина. - М. : Академия, 2006. - 256 с. - (Серия "Прикладная математика и информатика")
|
4. | Тимофеева И. Л. Математическая логика [Електронний ресурс] : курс лекций / И. Л. Тимофеева. - М. : КДУ, 2007. - 304 с.
|
5. | Вагин В. Н. Дедукция и обобщение в системах принятия решений [Електронний ресурс] / В. Н. Вагин. - М. : Наука, 1988. - 384 с.
|
6. | Такеути Г. Теория доказательств [Електронний ресурс] : пер. с англ. / Г. Такеути. - М. : Мир, 1978. - 412 с.
|
7. | Робинсон А. Введение в теорию моделей и математику алгебры [Електронний ресурс] / А. Робинсон. - М. : Наука, 1967. - 376 с. - (Математическая логика и основания математики)
|
8. | Робинсон А. Введение в теорию моделей и метаматематику алгебры [Електронний ресурс] / А. Робинсон. - М. : Наука, 1967. - 376 с. - (Математическая логика и основания математики)
|
9. | Перетятькин М. Г. Конечно аксиоматизируемые теории [Електронний ресурс] / М. Г. Перетятькин. - Новосибирск : Научная книга, 1996. - 322 с. - (Сибирская школа алгебры и логики)
|
10. | Пензов Ю. Е. Элементы математической логики и теории множеств [Електронний ресурс] / Ю. Е. Пензов. - Саратов : Изд-во Саратовского ун-та, 1968. - 143 с.
|
11. | Булос Д. Вычислимость и логика [Електронний ресурс] : пер. с англ. / Д. Булос, Р. Джеффри. - М. : Мир, 1994. - 396 с.
|
12. | Ерусалимский Я. М. Дискретная математика: теория, задачи, приложения [Електронний ресурс] / Я. М. Ерусалимский. - М. : Вузовская книга, 2000. - 280 с.
|
13. | Ершов Ю. Л. Определимость и вычислимость [Електронний ресурс] / Ю. Л. Ершов. - Новосибирск : Научная книга, 1996. - 300 с. - (Сибирская школа алгебры и логики)
|
14. | Гильберт Д. Основы теоретической логики [Електронний ресурс] : пер. с нем. / Д. Гильберт, В. Аккерман. - М. : Гос. изд-во иностранной литературы, 1947. - 306 с.
|
15. | Гиндикин С. Г. Алгебра логики в задачах [Електронний ресурс] / С. Г. Гиндикин. - М. : Наука, 1972. - 288 с.
|
16. | Мендельсон Э. Введение в математическую логику [Електронний ресурс] : пер. с англ. / Э. Мендельсон ; под ред. С. И. Адяна. - М. : Наука, 1971. - 320 с.
|
17. | Марченков С. С. Замкнутые классы булевых функций [Електронний ресурс] / С. С. Марченков. - М. : Физматлит, 2000. - 128 с.
|
18. | Калужнин Л. А. Что такое математическая логика? [Електронний ресурс] / Л. А. Калужнин. - М. : Наука, 1964. - 152 с.
|
19. | Колмогоров А. Н. Введение в математическую логику [Електронний ресурс] / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Московского университета, 1982. - 120 с.
|
20. | Колмогоров А. Н. Математическая логика. Дополнительные главы [Електронний ресурс] : учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Московского университета, 1984. - 120 с.
|
| |