Поиск ведется по:
Общее количество найденных документов : 1
1.
Конспекты лекций и упражнения по курсу "Математическая логика (Логика предикатов)" [Электронный ресурс] : учебное пособие / сост.: Л. П. Петрова, Б. Н. Садовский. - [Б. м. : б. и.]. - Б. ц.
Ключевые слова: логика предикатов -- язык логики предикатов -- теоремы логики предикатов -- прикладная логика предикатов -- учебные пособия
Перейти к внешнему ресурсу Полный текст в ЭБС "Руконт"
Доп.точки доступа: Петрова, Любовь Петровна \сост.\ --- Садовский, Борис Николаевич \сост.\ ---
Свободных экз. нет
Найти похожие
Конспекты лекций и упражнения по курсу "Математическая логика (Логика предикатов)" [Электронный ресурс] : учебное пособие / сост.: Л. П. Петрова, Б. Н. Садовский. - [Б. м. : б. и.]. - Б. ц.
Ключевые слова: логика предикатов -- язык логики предикатов -- теоремы логики предикатов -- прикладная логика предикатов -- учебные пособия
Перейти к внешнему ресурсу Полный текст в ЭБС "Руконт"
Доп.точки доступа: Петрова, Любовь Петровна \сост.\ --- Садовский, Борис Николаевич \сост.\ ---
Свободных экз. нет
Найти похожие