Refine your search
Availability
-
Bibliographic level
- Книги (23)
-
Authors
- Бочаров, Вячеслав Александрович (3)
- Ивлев, Юрий Васильевич (3)
- Маркин, Владимир Ильич (3)
- Караваев, Эдуард Федорович (2)
- Ненашев, Михаил Иванович (2)
- Светлов, Виктор Александрович (2)
- Guttenplan, Samuel (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
- Читальный зал 4 (13)
- Читальный зал 5 (10)
- Книгохранилище (5)
- Абонемент (1)
- Абонемент. Депозитарий (1)
- Читальный зал. Депозитарий (1)
- Show more
- Show less
-
Item types
- Выдается по месту хранения [x]
- Выдается в читальный зал (5)
- 1 неделя (2)
- 1 месяц (2)
- 6 месяцев (2)
-
Topics
- логика предикатов (22)
- логика высказываний (15)
- логика (12)
- учебные пособия для вузов (9)
- исчисление высказываний (7)
- аргументация (6)
- исчисление предикатов (6)
- математическая логика (5)
- суждения (5)
- дедуктивные умозаключения (4)
- понятия (4)
- язык (4)
- Тьюринга машины (3)
- алгоритмов теория (3)
- булева алгебра (3)
- временная логика (3)
- деонтическая логика (3)
- дискретная математика (3)
- доказательства (3)
- индуктивные умозаключения (3)
- индукция (3)
- комбинаторика (3)
- множеств теория (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)
- 20 век начало (1)
- Show more
- Show less