База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 5
Отмеченные записи: 0
1.
Подробнее
А84
Арнольд, В. И.
Истории давние и недавние [Электронный ресурс] / В. И. Арнольд. - М. : ФАЗИС, 2002. - 96 с. - Б. ц.
ББК 63.3:22г
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
аксиоматический метод -- сахар Лапласа -- нейтрон -- уравнение теплопроводности
А84
Арнольд, В. И.
Истории давние и недавние [Электронный ресурс] / В. И. Арнольд. - М. : ФАЗИС, 2002. - 96 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
аксиоматический метод -- сахар Лапласа -- нейтрон -- уравнение теплопроводности
2.
Подробнее
Молодший, В. Н.
Очерки по вопросам обоснования математики [Электронный ресурс] : учебник / В. Н. Молодший. - М. : Государственное учебно-педагогическое издательство министерства просвещения РСФСРГ, 1958. - 230 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
философские вопросы обоснования математики -- математика -- построение математических теорий -- математическая строгость -- аксиоматический метод -- взаимная независимость аксиом -- равносильность систем аксиом
Молодший, В. Н.
Очерки по вопросам обоснования математики [Электронный ресурс] : учебник / В. Н. Молодший. - М. : Государственное учебно-педагогическое издательство министерства просвещения РСФСРГ, 1958. - 230 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
философские вопросы обоснования математики -- математика -- построение математических теорий -- математическая строгость -- аксиоматический метод -- взаимная независимость аксиом -- равносильность систем аксиом
3.
Подробнее
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
4.
Подробнее
П30
Петров, Г. В.
Философия смысла жизни [Электронный ресурс] / Г. В. Петров. - Псков : ПГПИ, 2002. - 80 с. - Б. ц.
ББК 87.216
Рубрики: ФИЛОСОФИЯ
ИСТОРИЯ ФИЛОСОФИИ
Кл.слова (ненормированные):
философия -- актуальный смысл жизни -- бытие и небытие человека -- аксиоматический метод -- идеал человека -- шкала ценностей
П30
Петров, Г. В.
Философия смысла жизни [Электронный ресурс] / Г. В. Петров. - Псков : ПГПИ, 2002. - 80 с. - Б. ц.
Рубрики: ФИЛОСОФИЯ
ИСТОРИЯ ФИЛОСОФИИ
Кл.слова (ненормированные):
философия -- актуальный смысл жизни -- бытие и небытие человека -- аксиоматический метод -- идеал человека -- шкала ценностей
5.
Подробнее
С81
Столяр, А. А.
Логические проблемы преподования математики [Электронный ресурс] : учебник / А. А. Столяр. - Москва : Высшая школа, 1965. - 255 с. - Б. ц.
ББК 22.3
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
язык математики -- язык обучения -- аксиоматический метод
С81
Столяр, А. А.
Логические проблемы преподования математики [Электронный ресурс] : учебник / А. А. Столяр. - Москва : Высшая школа, 1965. - 255 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
язык математики -- язык обучения -- аксиоматический метод
Беті 1, Нәтижелерін: 5