Refine your search
Availability
-
Bibliographic level
- Книги (5)
-
Authors
- Анисов, А. М. (1)
- Бродский, Иосиф Нусимович (1)
- Брошкова, Наталья Леонидовна (1)
- Герасимов, Александр Сергеевич (1)
- Гусев, Станислав Сергеевич (1)
- Караваев, Эдуард Федорович (1)
- Налимов, Василий Васильевич (1)
- Попов, Сергей Викторович (1)
- Слинин, Ярослав Анатольевич (1)
- Смирнов, Владимир Александрович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (4)
- Читальный зал 4 (1)
- Читальный зал 5 (1)
-
Item types
- Выдается в читальный зал (3)
- 1 неделя (1)
- 1 месяц (1)
- Выдается по месту хранения (1)
-
Topics
- секвенциальные исчисления (5)
- логика (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