Refine your search
Availability
-
Bibliographic level
- Книги (42)
- (1)
-
Authors
- Гуц, Александр Константинович (2)
- Драгалин, Альберт Григорьевич (2)
- Колмогоров, Андрей Николаевич (2)
- Подбельский, Вадим Валериевич (2)
- Аншаков, Олег Михайлович (1)
- Арановский, Марк Генрихович (1)
- Бар-Хиллел, Иегошуа (1)
- Белоусов, Алексей Иванович (1)
- Бочаров, Виктор Владиславович (1)
- Бяков, Александр Юрьевич (1)
- Васюков, Владимир Леонидович (1)
- Виноградов, Дмитрий Вячеславович (1)
- Глазко, Валерий Иванович (1)
- Головчинер, Михаил Наумович (1)
- Денисов, Андрей Владимирович (1)
- Добров, Алексей Владимирович (1)
- Есенин-Вольпин, Александр Сергеевич (1)
- Зарубина, В. С. (1)
- Иваницкая, Лида Владимировна (1)
- Иоффе, Иеремия Исаевич (1)
- Истомина, Е. (1)
- Кайро, Альберто (1)
- Капустинская, Валерия Ивановна (1)
- Карпенко, Александр Степанович (1)
- Касьянов, Виктор Николаевич (1)
- Копцик, Владимир Александрович (1)
- Косарев, Юрий Гаврилович (1)
- Крищенко, Александр Петрович (1)
- Лавров, Игорь Андреевич (1)
- Ландо, Т. М. (1)
- Лещинский, Борис Семенович (1)
- Лисовский, Кирилл Юльевич (1)
- Максимова, Лариса Львовна (1)
- Манцнер, Тамара (1)
- Марков, Александр Сергеевич (1)
- Мейер, Давид (1)
- Мельников, Геннадий Прокопьевич (1)
- Минц, Г. Е. (1)
- Митренина, Ольга Владимировна (1)
- Можаева, Галина Васильевна (1)
- Мочкорж, Иржи (1)
- Непейвода, Николай Николаевич (1)
- Николаев, Илья Сергеевич (1)
- Николенко, Сергей Игоревич (1)
- Новак, Вилем (1)
- Овчинников, Владимир Анатольевич (1)
- Орлов, Сергей Александрович (1)
- Пастуро, Мишель (1)
- Перфильева, Ирина (1)
- Петров, Владимир Михайлович (1)
- Show more
- Show less
-
Locations
- Читальный зал 5 [x]
- Книгохранилище (20)
- Абонемент (8)
- Абонемент. Депозитарий (8)
- Читальный зал. Депозитарий (3)
- Читальный зал 4 (1)
- Информационный центр 24/7 (1)
- Show more
- Show less
-
Item types
- Выдается по месту хранения (25)
- 1 неделя (21)
- Выдается в читальный зал (19)
- 6 месяцев (10)
- 1 месяц (8)
-
Topics
- учебные пособия для вузов (13)
- языки программирования (9)
- исчисление предикатов (6)
- логика предикатов (5)
- объектно-ориентированное программирование (5)
- исчисление высказываний (4)
- логическое программирование (4)
- Колмогоров, Андрей Николаевич (3)
- Тьюринга машины (3)
- аксиоматические теории (3)
- алгоритмы (3)
- логика высказываний (3)
- математическая логика (3)
- параллельное программирование (3)
- Васильев, Николай Александрович (2)
- Васильева логика (2)
- Вригт, Георг фон (2)
- Геделя теорема (2)
- Геделя теорема о неполноте (2)
- Гильберта программа обоснования математики (2)
- Кантгоуту логически возможные среды (2)
- Компьютеры персональные (2)
- Крипке семантика (2)
- Крипке, Сол (2)
- Лукасевича логика трехзначная (2)
- Математическая логика - Учебники и пособия (2)
- Пост, Эмиль Леон (2)
- Тьюринг, Алан Мэтисон (2)
- Тьюринга-Поста машина (2)
- Хоар, Чарльз (2)
- Хоара логика алгоритмическая, аксиомы (2)
- Цермело-Френкеля аксиоматическая теория (2)
- алгебраические системы (2)
- алгоритмические проблемы неразрешимые (2)
- алгоритмы реальности (2)
- алгоритмы эффективные (2)
- арифметика нечеткая (2)
- арифметика формальная (2)
- базы данных (2)
- булева алгебра (2)
- булевы алгебры (2)
- виртуальная реальность, генератор (2)
- информационные системы (2)
- логики нечеткие (2)
- метаданные (2)
- операционные системы (2)
- программирование (2)
- семантика (2)
- "Эльбрус 3-1", вычислительная суперсистема многопроцессорная (1)
- CACH, коэволюционные конфликты (1)
- Show more
- Show less