По вашему запросу найдено документов: 6285
Страница 1 из 629
Логика для кросс-мировой предикацииЛогика для кросс-мировой предикации
Лекции по математической логике : [учебное пособие для математических направлений и специальностей университетов]. Ч. 1логика предикатов
Математическая логика и теория алгоритмов логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории
Логика n измерений Н. А. Васильева и многозначная логика предикатовЛогика n измерений Н. А. Васильева и многозначная логика предикатов
Математическая логика и теория алгоритмов предикатов, а также основные понятия теории алгоритмов; особое внимание уделяется вопросам теории и
Лекции по математической логике и теории алгоритмов : учебно-методический комплексисчисление предикатов
Введение в математическую логику : учебное пособие : [для студентов математических направлений университетов]логика
Математическая логика и теория алгоритмовКратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов
Математическая логика предикатов» и «Исчисление высказываний» дисциплины «Математическая логика». Наличие большого количества
Введение в теорию множеств и математическую логику : учебное пособие : [для студентов математических факультетов университетов и пединститутов]логика предикатов
Страница 1 из 629
Фасеты
Партнеры
Индексация
