База данных: Электронная библиотека
Страница 1, Результатов: 5
Отмеченные записи: 0
1.
Подробнее
Б24
Барвайс, Дж.
Справочная книга по математической логике [Электронный ресурс] : учебник / Дж. Барвайс. - М. : [б. и.], 1982. - 392 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
формализация логики -- теорема о полноте -- логика первого порядка -- теория компактности -- теорема Левенгейма-Скулема -- действительные числа -- теория множеств -- фильтры -- основная теорема -- логика высказываний -- атомная формула -- алгебраическая система -- принцип Лейбца -- дифференциалы
Б24
Барвайс, Дж.
Справочная книга по математической логике [Электронный ресурс] : учебник / Дж. Барвайс. - М. : [б. и.], 1982. - 392 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
формализация логики -- теорема о полноте -- логика первого порядка -- теория компактности -- теорема Левенгейма-Скулема -- действительные числа -- теория множеств -- фильтры -- основная теорема -- логика высказываний -- атомная формула -- алгебраическая система -- принцип Лейбца -- дифференциалы
2.
Подробнее
И90
История и философия науки [Электронный ресурс] : учебное пособие для аспирантов. - СПб. : Питер, 2008. - 304 с.: ил. - Б. ц.
ББК 87.25я7
Рубрики: ФИЛОСОФИЯ
ИСТОРИЯ ФИЛОСОФИИ
Кл.слова (ненормированные):
история философии -- формализация -- моделирование -- проблема измерения -- духовная культура -- позитивная традиция -- роль философии -- наблюдение и эксперимент
И90
История и философия науки [Электронный ресурс] : учебное пособие для аспирантов. - СПб. : Питер, 2008. - 304 с.: ил. - Б. ц.
Рубрики: ФИЛОСОФИЯ
ИСТОРИЯ ФИЛОСОФИИ
Кл.слова (ненормированные):
история философии -- формализация -- моделирование -- проблема измерения -- духовная культура -- позитивная традиция -- роль философии -- наблюдение и эксперимент
3.
Подробнее
К65
Концепции современного естествознания [Электронный ресурс] : учебное пособие / Под ред.проф. С.И.Самыгина. - Ростов н/Д : Феникс, 2003. - 448 с. - ). - Б. ц.
ББК 22.3я72
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ФИЗИКА
Кл.слова (ненормированные):
эксперимент -- измерение -- формализация -- индукция и дедукция -- анализ и синтез -- миропонимание -- пространство и время -- закон сохранения энергии -- понятие энтропии
К65
Концепции современного естествознания [Электронный ресурс] : учебное пособие / Под ред.проф. С.И.Самыгина. - Ростов н/Д : Феникс, 2003. - 448 с. - ). - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ФИЗИКА
Кл.слова (ненормированные):
эксперимент -- измерение -- формализация -- индукция и дедукция -- анализ и синтез -- миропонимание -- пространство и время -- закон сохранения энергии -- понятие энтропии
4.
Подробнее
И90
Мамзина, А. С.
История и философия науки [Электронный ресурс] : учебное пособие / А. С. Мамзина. - СПб. : Питер, 2008. - 304 с. - Б. ц.
ББК 82.387.25я7
Рубрики: ФИЛОСОФИЯ
моделирование
Кл.слова (ненормированные):
формализация -- проблема измерения -- генезис -- наука -- эмпириокритицизм
И90
Мамзина, А. С.
История и философия науки [Электронный ресурс] : учебное пособие / А. С. Мамзина. - СПб. : Питер, 2008. - 304 с. - Б. ц.
| УДК |
Рубрики: ФИЛОСОФИЯ
моделирование
Кл.слова (ненормированные):
формализация -- проблема измерения -- генезис -- наука -- эмпириокритицизм
5.
Подробнее
Ш19
Шамаева, Е. Ф.
Формализация задач мониторинга и оценки новаций в проектировании регионального устойчивого инновационного развития : автореферат дис...канд.техн.наук / Е. Ф. Шамаева. - Дубна : [б. и.], 2012. - 28 с. - Б. ц.
ББК 30
Рубрики: Техника
Кл.слова (ненормированные):
индикатор -- фильтрация
Ш19
Шамаева, Е. Ф.
Формализация задач мониторинга и оценки новаций в проектировании регионального устойчивого инновационного развития : автореферат дис...канд.техн.наук / Е. Ф. Шамаева. - Дубна : [б. и.], 2012. - 28 с. - Б. ц.
| УДК |
Рубрики: Техника
Кл.слова (ненормированные):
индикатор -- фильтрация
Страница 1, Результатов: 5