База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 18
Отмеченные записи: 0
1.
Подробнее
32.81
А45
Алгебраическая теория автоматов, языков и полугрупп [Электронный ресурс] : учебное пособие / Под ред.М.Арбиба. - М. : Статистика, 1975. - 335 с.: ил. - Б. ц.
ББК 32.81
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
КИБЕРНЕТИКА
Кл.слова (ненормированные):
проблемы разрешимости -- автоматы -- теория автоматов -- синтаксический моноид -- индуцированные отношения грина -- теоремы -- аксиомы -- гомоморфизм
А45
Алгебраическая теория автоматов, языков и полугрупп [Электронный ресурс] : учебное пособие / Под ред.М.Арбиба. - М. : Статистика, 1975. - 335 с.: ил. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
КИБЕРНЕТИКА
Кл.слова (ненормированные):
проблемы разрешимости -- автоматы -- теория автоматов -- синтаксический моноид -- индуцированные отношения грина -- теоремы -- аксиомы -- гомоморфизм
2.
Подробнее
22.17я73
А66
Андрухаев, Х. М.
Сборник задач по теории вероятности [Электронный ресурс] : учебное пособие / Х. М. Андрухаев. - М : Просвещение, 1985. - 160 с. - Б. ц.
ББК 22.17я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
события -- аксиомы -- формула Бернулли -- случайные величины -- элементы математической величины
А66
Андрухаев, Х. М.
Сборник задач по теории вероятности [Электронный ресурс] : учебное пособие / Х. М. Андрухаев. - М : Просвещение, 1985. - 160 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
события -- аксиомы -- формула Бернулли -- случайные величины -- элементы математической величины
3.
Подробнее
22.12
Б24
Барвайс, Дж.
Теория множеств [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 376 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
теория множеств -- аксиомы -- классы -- теоремы о переносе -- метод Френкеля -- теорема униформизации -- аксиома детерменированности -- принципы перечисления -- ординалы -- аксиомы Мартина -- деревья -- теория множеств -- комбинаторика -- большие кардиналы
Б24
Барвайс, Дж.
Теория множеств [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 376 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
теория множеств -- аксиомы -- классы -- теоремы о переносе -- метод Френкеля -- теорема униформизации -- аксиома детерменированности -- принципы перечисления -- ординалы -- аксиомы Мартина -- деревья -- теория множеств -- комбинаторика -- большие кардиналы
4.
Подробнее
22.11
Б86
Боярчук, А. К.
Функции комплексного переменного: теория и практика [Электронный ресурс] : справочное пособие по высшей математике. Т.4 / А. К. Боярчук. - М. : Едиториал УРСС, 2001. - 352 с. - Б. ц.
ББК 22.11
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
высшая математика -- математический анализ -- метрическое пространство -- комплексные числа -- аксиомы метрики -- топология плоскости -- элементарные функции
Б86
Боярчук, А. К.
Функции комплексного переменного: теория и практика [Электронный ресурс] : справочное пособие по высшей математике. Т.4 / А. К. Боярчук. - М. : Едиториал УРСС, 2001. - 352 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
высшая математика -- математический анализ -- метрическое пространство -- комплексные числа -- аксиомы метрики -- топология плоскости -- элементарные функции
5.
Подробнее
30.12я722
В31
Вереина, Л. И.
Техническая механика [Электронный ресурс] / Л. И. Вереина. - М. : Академия, 2015. - 224 с. - Б. ц.
Рубрики: ТЕХНИКА
ТЕОРЕТИЧЕСКАЯ МЕХАНИКА
Кл.слова (ненормированные):
теоретическая механика -- аксиомы статики -- плоская система
В31
Вереина, Л. И.
Техническая механика [Электронный ресурс] / Л. И. Вереина. - М. : Академия, 2015. - 224 с. - Б. ц.
УДК |
Рубрики: ТЕХНИКА
ТЕОРЕТИЧЕСКАЯ МЕХАНИКА
Кл.слова (ненормированные):
теоретическая механика -- аксиомы статики -- плоская система
6.
Подробнее
22,1
Г34
Генкин, Л. О.
О математической индукции [Электронный ресурс] : учебник / Л. О. Генкин. - Москва : Физматлит, 1962. - 55 с. - Б. ц.
ББК 22,1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
модели -- аксиомы Пеано -- математические индукции
Г34
Генкин, Л. О.
О математической индукции [Электронный ресурс] : учебник / Л. О. Генкин. - Москва : Физматлит, 1962. - 55 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
модели -- аксиомы Пеано -- математические индукции
7.
Подробнее
22.12
Г47
Гильберт, Д.
Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман. - М. : [б. и.], 1947. - 88 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
исчисление высказываний -- логическая связь -- эквивалентности -- принцип двойственности -- сложные высказывания -- аксиомы -- исчисления высказываний -- вывод формул -- полнота системы -- исчисление классов -- символики исчислений -- исчисление предикатов -- проблема разрешимости
Доп.точки доступа:
Аккерман, В.
Г47
Гильберт, Д.
Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман. - М. : [б. и.], 1947. - 88 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
исчисление высказываний -- логическая связь -- эквивалентности -- принцип двойственности -- сложные высказывания -- аксиомы -- исчисления высказываний -- вывод формул -- полнота системы -- исчисление классов -- символики исчислений -- исчисление предикатов -- проблема разрешимости
Доп.точки доступа:
Аккерман, В.
8.
Подробнее
Зыков, И. В.
Три аксиомы [Электронный ресурс] : учебник / И. В. Зыков. - [Б. м. : б. и.]. - 216 с. - Б. ц.
Рубрики: СЕЛЬСКОХОЗЯЙСТВЕННЫЕ И ЛЕСОХОЗЯЙСТВЕННЫЕ НАУКИ
ЛЕСОВОДСТВО
Кл.слова (ненормированные):
зеленый пояс -- корень ученья горек -- липа цветет -- подмосковные леса -- городской дым -- генеральная линия -- как улучшают леса -- как растет лес
Зыков, И. В.
Три аксиомы [Электронный ресурс] : учебник / И. В. Зыков. - [Б. м. : б. и.]. - 216 с. - Б. ц.
Рубрики: СЕЛЬСКОХОЗЯЙСТВЕННЫЕ И ЛЕСОХОЗЯЙСТВЕННЫЕ НАУКИ
ЛЕСОВОДСТВО
Кл.слова (ненормированные):
зеленый пояс -- корень ученья горек -- липа цветет -- подмосковные леса -- городской дым -- генеральная линия -- как улучшают леса -- как растет лес
9.
Подробнее
65.050.2
Л25
Ларичев, О. И.
Теория и методы принятия решений [Электронный ресурс] : учебное пособие / О. И. Ларичев. - М. : [б. и.], 2002. - 391 с. - Б. ц.
ББК 65.050.2
Рубрики: ЭКОНОМИЧЕСКИЕ НАУКИ
ЭКОНОМИКА
Кл.слова (ненормированные):
альтернативы -- методы борда -- аксиоматическое -- анализ собранной информации -- аксиомы эрроу
Л25
Ларичев, О. И.
Теория и методы принятия решений [Электронный ресурс] : учебное пособие / О. И. Ларичев. - М. : [б. и.], 2002. - 391 с. - Б. ц.
Рубрики: ЭКОНОМИЧЕСКИЕ НАУКИ
ЭКОНОМИКА
Кл.слова (ненормированные):
альтернативы -- методы борда -- аксиоматическое -- анализ собранной информации -- аксиомы эрроу
10.
Подробнее
22.31
Л43
Лекции по курсу теоретическая механика [Электронный ресурс] : учебное пособие. - М. : [б. и.], Б. г. - 114 с. - Б. ц.
ББК 22.31
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ФИЗИКА
Кл.слова (ненормированные):
аксиомы статики -- система отчета -- теоретическая механика -- система координат
Л43
Лекции по курсу теоретическая механика [Электронный ресурс] : учебное пособие. - М. : [б. и.], Б. г. - 114 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ФИЗИКА
Кл.слова (ненормированные):
аксиомы статики -- система отчета -- теоретическая механика -- система координат
Беті 1, Нәтижелерін: 18