База данных: Каталог IBIS
Page 1, Results: 14
Отмеченные записи: 0
1.
Подробнее
Г47
Гильберт, Д.
Основания математики: Логические исчисления и формализация арифметики : пер. с нем. / Д. Гильберт, П. Бернайс ; ред. С. И. Адяна. - 2-е изд. - М. : Наука, 1982. - 556 с. - (Мат. логика и основания математики). - Б. ц.
Кл.слова (ненормированные):
математический -- логика -- исчисления -- логический
Доп.точки доступа:
Бернайс, П.
Адян, С.И. \ред.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Г47
Гильберт, Д.
Основания математики: Логические исчисления и формализация арифметики : пер. с нем. / Д. Гильберт, П. Бернайс ; ред. С. И. Адяна. - 2-е изд. - М. : Наука, 1982. - 556 с. - (Мат. логика и основания математики). - Б. ц.
| ГРНТИ | |
| УДК |
Кл.слова (ненормированные):
математический -- логика -- исчисления -- логический
Доп.точки доступа:
Бернайс, П.
Адян, С.И. \ред.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
2.
Подробнее
Б64
Бирюков, Б. В.
Жар холодных чисел и пафос бесстрастной логики : формализация мышления от античных времен до эпохи кибернетики / Б.В. Бирюков, В.Н. Тростников. - М. : Знание, 1977. - 192 с. - 3 тн.
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- КИБЕРНЕТИКА -- ФИЛОСОФИЯ -- ЛОГИКА -- РАЗВИТИЕ -- АНТИЧНОСТЬ
Доп.точки доступа:
Тростников, В.Н.
Экземпляры всего: 1
Абонемент гл.корпус (1)
Свободны: Абонемент гл.корпус (1)
Б64
Бирюков, Б. В.
Жар холодных чисел и пафос бесстрастной логики : формализация мышления от античных времен до эпохи кибернетики / Б.В. Бирюков, В.Н. Тростников. - М. : Знание, 1977. - 192 с. - 3 тн.
| ГРНТИ | |||
| УДК |
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- КИБЕРНЕТИКА -- ФИЛОСОФИЯ -- ЛОГИКА -- РАЗВИТИЕ -- АНТИЧНОСТЬ
Доп.точки доступа:
Тростников, В.Н.
Экземпляры всего: 1
Абонемент гл.корпус (1)
Свободны: Абонемент гл.корпус (1)
3.
Подробнее
С 77
Старостин, В. Г.
Формализация проектирования процессов обработки резанием : научное издание / В.Г. Старостин, В.Е. Лелюхин. - М. : Машиностроение, 1986. - 136 с. : ил. - (Б-ка Технолога). - 0.45 р
Числится на 01.10.2022 ук 2117 - 3 экз.
Кл.слова (ненормированные):
проектирование -- процессы -- обработка -- металлы
Доп.точки доступа:
Лелюхин, В.Е.
Экземпляры всего: 3
I корпус, 628 ауд. (3)
Свободны: I корпус, 628 ауд. (3)
С 77
Старостин, В. Г.
Формализация проектирования процессов обработки резанием : научное издание / В.Г. Старостин, В.Е. Лелюхин. - М. : Машиностроение, 1986. - 136 с. : ил. - (Б-ка Технолога). - 0.45 р
Числится на 01.10.2022 ук 2117 - 3 экз.
| ГРНТИ | |
| УДК |
Кл.слова (ненормированные):
проектирование -- процессы -- обработка -- металлы
Доп.точки доступа:
Лелюхин, В.Е.
Экземпляры всего: 3
I корпус, 628 ауд. (3)
Свободны: I корпус, 628 ауд. (3)
4.
Подробнее
М74
Мовшович, Э. Б.
Формализация геологических данных для математической обработки : научное издание / Э.Б. Мовшович, М.Н. Кнепель, М.С. Черкашин. - М. : Недра, 1987. - 188 с. : ил. - 0.80 тг.
Кл.слова (ненормированные):
геология -- математический -- методы -- обработка -- данные -- информация -- автоматизированные -- системы
Доп.точки доступа:
Кнепель, М.Н.
Черкашин, М.С.
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
М74
Мовшович, Э. Б.
Формализация геологических данных для математической обработки : научное издание / Э.Б. Мовшович, М.Н. Кнепель, М.С. Черкашин. - М. : Недра, 1987. - 188 с. : ил. - 0.80 тг.
| УДК |
Кл.слова (ненормированные):
геология -- математический -- методы -- обработка -- данные -- информация -- автоматизированные -- системы
Доп.точки доступа:
Кнепель, М.Н.
Черкашин, М.С.
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
5.
Подробнее
В27
Велихов, А. В.
Основы информатики и компьютерной техники : учебное пособие учащимся средних и студентам высших учебных заведений по дисциплине по дисциплине "Основы информатики" / А.В. Велихов. - М. : СОЛОН-Пресс, 2003. - 539 с. - (Библиотека студента). - ISBN 5-98003-022-0 : 1620.00 тг, 1755.00 тг
Числится на 01.10.2022 ук 4145 - 10 экз.
Рубрики: вычислительная техника--информатика
Экземпляры всего: 18
Консервация (7), I корпус, 627 ауд. (4), Книгохранение (1), ч/з гл.корпус (1), Абонемент гл.корпус (5)
Свободны: Консервация (7), I корпус, 627 ауд. (4), Книгохранение (1), ч/з гл.корпус (1), Абонемент гл.корпус (5)
В27
Велихов, А. В.
Основы информатики и компьютерной техники : учебное пособие учащимся средних и студентам высших учебных заведений по дисциплине по дисциплине "Основы информатики" / А.В. Велихов. - М. : СОЛОН-Пресс, 2003. - 539 с. - (Библиотека студента). - ISBN 5-98003-022-0 : 1620.00 тг, 1755.00 тг
Числится на 01.10.2022 ук 4145 - 10 экз.
| ГРНТИ | ||
| УДК |
Рубрики: вычислительная техника--информатика
Экземпляры всего: 18
Консервация (7), I корпус, 627 ауд. (4), Книгохранение (1), ч/з гл.корпус (1), Абонемент гл.корпус (5)
Свободны: Консервация (7), I корпус, 627 ауд. (4), Книгохранение (1), ч/з гл.корпус (1), Абонемент гл.корпус (5)
6.
Подробнее
Б 92
Бусленко, Н. П.
Моделирование сложных систем : научное издание / Н. П. Бусленко. - 2-е изд., перераб. - М. : Наука, 1978. - 400 с. : табл., граф.
Рубрики: инженерное дело. техника--математическое моделирование (вообще)
Кл.слова (ненормированные):
формализация -- математический -- моделирование -- случайные процессы -- автоматизированные системы -- агрегаты -- одноканальная система -- кусочно-линейные агрегаты
Экземпляры всего: 3
ЭЧЗ гл.корпус (1), Книгохранение (2)
Свободны: ЭЧЗ гл.корпус (1), Книгохранение (2)
Б 92
Бусленко, Н. П.
Моделирование сложных систем : научное издание / Н. П. Бусленко. - 2-е изд., перераб. - М. : Наука, 1978. - 400 с. : табл., граф.
| ГРНТИ | |||
| УДК |
Рубрики: инженерное дело. техника--математическое моделирование (вообще)
Кл.слова (ненормированные):
формализация -- математический -- моделирование -- случайные процессы -- автоматизированные системы -- агрегаты -- одноканальная система -- кусочно-линейные агрегаты
Экземпляры всего: 3
ЭЧЗ гл.корпус (1), Книгохранение (2)
Свободны: ЭЧЗ гл.корпус (1), Книгохранение (2)
7.
Подробнее
Ф 86
Фрейдина, Е. В.
Исследование систем управления : учебное пособие по специальности "Менеджмент организации" / Е. В. Фрейдина ; под ред. Ю. В. Гусева. - М. : Омега-Л, 2008. - 367 с. - (Высшая школа менеджмента). - ISBN 978-5-370-00907-5
ББК 65.29 + 65.290-2я7 + 658.012(07)
Рубрики: экономика--управление предприятиями
Кл.слова (ненормированные):
связи -- отношения -- познание -- модели -- логический -- аппарат -- формализация -- внешняя -- среда -- тестирование
Доп.точки доступа:
Гусев, Ю.В. \ред.\
Экземпляры всего: 8
Абонемент гл.корпус (4), I корпус, 629 ауд. (4)
Свободны: Абонемент гл.корпус (4), I корпус, 629 ауд. (4)
Ф 86
Фрейдина, Е. В.
Исследование систем управления : учебное пособие по специальности "Менеджмент организации" / Е. В. Фрейдина ; под ред. Ю. В. Гусева. - М. : Омега-Л, 2008. - 367 с. - (Высшая школа менеджмента). - ISBN 978-5-370-00907-5
| ГРНТИ |
Рубрики: экономика--управление предприятиями
Кл.слова (ненормированные):
связи -- отношения -- познание -- модели -- логический -- аппарат -- формализация -- внешняя -- среда -- тестирование
Доп.точки доступа:
Гусев, Ю.В. \ред.\
Экземпляры всего: 8
Абонемент гл.корпус (4), I корпус, 629 ауд. (4)
Свободны: Абонемент гл.корпус (4), I корпус, 629 ауд. (4)
8.
Подробнее
К 60
Колмыкова, Е. А.
Информатика : учебное пособие / Е. А. Колмыкова, И. А. Кумскова. - 3-е изд., стер. - М. : Академия, 2007. - 414 с. : ил., табл. - (Среднее профессиональное образование. Общеобразовательные дисциплины). - ISBN 978-5-7695-4015-8 : 3100.00 тг
Рубрики: вычислительная техника--информатика
Доп.точки доступа:
Кумскова, И.А.
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
К 60
Колмыкова, Е. А.
Информатика : учебное пособие / Е. А. Колмыкова, И. А. Кумскова. - 3-е изд., стер. - М. : Академия, 2007. - 414 с. : ил., табл. - (Среднее профессиональное образование. Общеобразовательные дисциплины). - ISBN 978-5-7695-4015-8 : 3100.00 тг
| ГРНТИ | ||
| УДК |
Рубрики: вычислительная техника--информатика
Доп.точки доступа:
Кумскова, И.А.
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
9.
Подробнее
И 97
Ишмуратов, А. Т.
Логический анализ практических рассуждений (формализация психологических понятий) : научное издание / А. Т. Ишмуратов ; Академия наук Украинской ССР, Институт философии. - Киев : Наукова думка, 1987. - 138 с. - 1.00 р.
ББК 87.4
Кл.слова (ненормированные):
логика -- рассуждение -- дескриптивные элементы -- логико-когнитивные
Доп.точки доступа:
Академия наук Украинской ССР. Институт философии
Экземпляры всего: 2
Абонемент гл.корпус (2)
Свободны: Абонемент гл.корпус (2)
И 97
Ишмуратов, А. Т.
Логический анализ практических рассуждений (формализация психологических понятий) : научное издание / А. Т. Ишмуратов ; Академия наук Украинской ССР, Институт философии. - Киев : Наукова думка, 1987. - 138 с. - 1.00 р.
| ГРНТИ |
Кл.слова (ненормированные):
логика -- рассуждение -- дескриптивные элементы -- логико-когнитивные
Доп.точки доступа:
Академия наук Украинской ССР. Институт философии
Экземпляры всего: 2
Абонемент гл.корпус (2)
Свободны: Абонемент гл.корпус (2)
10.
Подробнее
Ш 95
Шубенков, М. В.
Структурные закономерности архитектурного формообразования : учебное пособие для студентов, обучающихся по направлению "Архитектура" / М. В. Шубенков ; УМО по образованию в области архитектуры. - М. : Архитектура - С, 2006. - 319 с. : ил. - (Специальность "Архитектура"). - ISBN 5-9647-0105-1 : 2244.00 тг
Рубрики: архитектура--архитектурное проектирование
Кл.слова (ненормированные):
пространственные -- формы -- эвристическая модель -- формализация -- моделирование
Доп.точки доступа:
УМО по образованию в области архитектуры
Экземпляры всего: 5
Абонемент гл.корпус (5)
Свободны: Абонемент гл.корпус (5)
Ш 95
Шубенков, М. В.
Структурные закономерности архитектурного формообразования : учебное пособие для студентов, обучающихся по направлению "Архитектура" / М. В. Шубенков ; УМО по образованию в области архитектуры. - М. : Архитектура - С, 2006. - 319 с. : ил. - (Специальность "Архитектура"). - ISBN 5-9647-0105-1 : 2244.00 тг
| ГРНТИ | ||
| УДК |
Рубрики: архитектура--архитектурное проектирование
Кл.слова (ненормированные):
пространственные -- формы -- эвристическая модель -- формализация -- моделирование
Доп.точки доступа:
УМО по образованию в области архитектуры
Экземпляры всего: 5
Абонемент гл.корпус (5)
Свободны: Абонемент гл.корпус (5)
Page 1, Results: 14