Варненски свободен университет "Черноризец Храбър"

Къде желаете да търсите

Какво желаете да търсите

Търсене в

Подредба

Намерени са 24 резултата

Разширено търсене

Ключова дума да съдържа Математическа логика
П/16/С 39
Каталог "Книги" | Книги
Сказки по логика
Юбилейно преиздание (30 години по-късно) : [Сборник] (2017)
Валентин Горанко
П/16/Я 54
Каталог "Книги" | Книги
Логика
[Изследване] (1993)
Жана Янева
П/51/Г 13
Каталог "Книги" | Книги
Математическое познание
Диалектика объективтого и субъективного (1987)
Олег Аршавирович Габриелян
П/51/А 74
Каталог "Книги" | Книги
Проблема неполноты теории и ее гносеологическое значение
(1986)
Леонид Григорьевич Антипенко
П/51/Ш 55
Каталог "Книги" | Книги
Математическая логика
(1975)
Джозеф Шенфилд
П/51/Н 72
Каталог "Книги" | Книги
Алгебра и логика
(2008)
Русалин Станков Николаев
П/51/Н 75
Каталог "Книги" | Книги
Увод в специалността
(2007)
Й. Николов; С. Първулов; Д. Станков
П/519.1/.2/О-81
Каталог "Книги" | Книги
Основы дискретной математики
(2006)
Виктория Аркадьевна Осипова
П/519.1/.2/М 92
Каталог "Книги" | Книги
Дискретная математика
Математика для менеджера в примерах и упражнениях (2004)
Галина Ивановна Москинова
П/16/К 86
Каталог "Книги" | Книги
Логика
(2001)
Константин Димитров Костов
П/519.1/.2/А 40
Каталог "Книги" | Книги
Дискретная математика: логика, группы, графы
(2001)
О. Е. Акимов
П/519.7/К 25
Каталог "Книги" | Книги
Представление знаний о времени и пространстве в интеллектуальных системах
(1989)
Елена Юрьевна Кандрашина; Людмила Васильевна Литвинцева; Дмитрий Александрович Поспелов
П/519.7/Р 48
Каталог "Книги" | Книги
Теория формальных языков
Вводный курс (1988)
В. Дж. Рейуорд-Смит
П/519.7/Л 13
Каталог "Книги" | Книги
Интеллектульные системы в целевом управлении
(1987)
Иосаф Семенович Ладенко
П/51/М 23
Каталог "Книги" | Книги
Алгоритмы и рекурсивные функции
(1986)
Анатолий Иванович Мальцев
П/167/168/П 18
Каталог "Книги" | Книги
Методологические проблемы интуиционисткой математики
(1984)
Михаил Иванович Панов
П/51/Р 91
Каталог "Книги" | Книги
Философские проблемы оснований математики
(1983)
Георгий Иванович Рузавин
П/51/Л 16
Каталог "Книги" | Книги
Доказателства и опровержения
Логика на математическото откритие (1983)
Имре Лакатош
П/51/Г 47
Каталог "Книги" | Книги
Основания математики
Теория доказательств (1982)
Д. Гильберт; П. Бернайс