База данных: Электронная библиотека
Страница 6, Результатов: 244
Отмеченные записи: 0
51.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций
Доп.точки доступа:
Шень, А.Ч.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций
Доп.точки доступа:
Шень, А.Ч.
52.
Подробнее
В31
Верещагин, Н. К.
Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 288 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 288 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
53.
Подробнее
В54
Виханский, О. С.
Менеджмент [Электронный ресурс] : учебное пособие / О. С. Виханский, А. И. Наумов. - М : Экономист, 2006. - 670 с. - Б. ц.
ББК 65.050.2я73
Рубрики: ЭКОНОМИКА
ОРГАНИЗАЦИЯ УПРАВЛЕНИЯ
Кл.слова (ненормированные):
общая характеристика менеджмента -- менеджер -- логика развития управления -- человек и организация -- восприятия человеком окружения -- мотивация деятельности
Доп.точки доступа:
Наумов, А.И.
В54
Виханский, О. С.
Менеджмент [Электронный ресурс] : учебное пособие / О. С. Виханский, А. И. Наумов. - М : Экономист, 2006. - 670 с. - Б. ц.
Рубрики: ЭКОНОМИКА
ОРГАНИЗАЦИЯ УПРАВЛЕНИЯ
Кл.слова (ненормированные):
общая характеристика менеджмента -- менеджер -- логика развития управления -- человек и организация -- восприятия человеком окружения -- мотивация деятельности
Доп.точки доступа:
Наумов, А.И.
54.
Подробнее
Виханский, О. С.
Менеджмент [Электронный ресурс] : учебник / О. С. Виханский, А. И. Наумов. - М. : [б. и.], 2003. - 528 с. - Б. ц.
ББК 65.050.9(2)2я73
Рубрики: ЭКОНОМИКА
УПРАВЛЕНИЕ ЭКОНОМИКОЙ
ОРГАНИЗАЦИЯ УПРАВЛЕНИЯ
Кл.слова (ненормированные):
менеджмент -- организация -- менеджер -- управление -- логика развития -- мотивация деятельности -- теория Геруберга -- теория равенства -- стратегия фирмы -- дифференциация -- интеграция -- лидерство -- основы лидерства
Доп.точки доступа:
Наумов, А.И.
Виханский, О. С.
Менеджмент [Электронный ресурс] : учебник / О. С. Виханский, А. И. Наумов. - М. : [б. и.], 2003. - 528 с. - Б. ц.
Рубрики: ЭКОНОМИКА
УПРАВЛЕНИЕ ЭКОНОМИКОЙ
ОРГАНИЗАЦИЯ УПРАВЛЕНИЯ
Кл.слова (ненормированные):
менеджмент -- организация -- менеджер -- управление -- логика развития -- мотивация деятельности -- теория Геруберга -- теория равенства -- стратегия фирмы -- дифференциация -- интеграция -- лидерство -- основы лидерства
Доп.точки доступа:
Наумов, А.И.
55.
Подробнее
В65
Войшвилло, Е. К.
Логика [Электронный ресурс] : учебное пособие / Е. К. Войшвилло. - Москва : Владос-пресс, 2001. - 528 с. - Б. ц.
ББК 87.4я73
Рубрики: ГУМАНИТАРНЫЕ НАУКИ
ЛОГИКА
Кл.слова (ненормированные):
мышление и язык -- формы мышление -- законы мышление -- символический язык
В65
Войшвилло, Е. К.
Логика [Электронный ресурс] : учебное пособие / Е. К. Войшвилло. - Москва : Владос-пресс, 2001. - 528 с. - Б. ц.
Рубрики: ГУМАНИТАРНЫЕ НАУКИ
ЛОГИКА
Кл.слова (ненормированные):
мышление и язык -- формы мышление -- законы мышление -- символический язык
56.
Подробнее
Г47
Гильберт, Д.
Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман. - М. : [б. и.], 1947. - 88 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
исчисление высказываний -- логическая связь -- эквивалентности -- принцип двойственности -- сложные высказывания -- аксиомы -- исчисления высказываний -- вывод формул -- полнота системы -- исчисление классов -- символики исчислений -- исчисление предикатов -- проблема разрешимости
Доп.точки доступа:
Аккерман, В.
Г47
Гильберт, Д.
Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман. - М. : [б. и.], 1947. - 88 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
исчисление высказываний -- логическая связь -- эквивалентности -- принцип двойственности -- сложные высказывания -- аксиомы -- исчисления высказываний -- вывод формул -- полнота системы -- исчисление классов -- символики исчислений -- исчисление предикатов -- проблема разрешимости
Доп.точки доступа:
Аккерман, В.
57.
Подробнее
Г49
Гиндикин, С. Г.
Алгебра логика в задачах [Электронный ресурс] : учебник / С. Г. Гиндикин. - Москва : [б. и.], 1972. - 285 с. - Б. ц.
ББК 22.132
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
элементы вероятностной логики -- многозначные логики -- алгебра логики в задачах
Г49
Гиндикин, С. Г.
Алгебра логика в задачах [Электронный ресурс] : учебник / С. Г. Гиндикин. - Москва : [б. и.], 1972. - 285 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
элементы вероятностной логики -- многозначные логики -- алгебра логики в задачах
58.
Подробнее
Г51
Гисин, В. Б.
Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин. - М. : [б. и.], 2002. - 194 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
понятие множества -- логика высказываний -- логика предикатов -- формальные теории -- алгоритмы
Г51
Гисин, В. Б.
Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин. - М. : [б. и.], 2002. - 194 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
понятие множества -- логика высказываний -- логика предикатов -- формальные теории -- алгоритмы
59.
Подробнее
Г52
Гладкий, В. А.
Введение в современную логику [Электронный ресурс] : учебное пособие / В. А. Гладкий. - М. : МЦНМО, 2001. - 200 с. - Б. ц.
ББК 87.4
Рубрики: ПСИХОЛОГИЯ
Кл.слова (ненормированные):
современная психология -- элементы логики -- особенности рассуждений -- логика научного познания -- строение рассуждений -- понятие логики -- основные логические законы -- индуктивная логика
Г52
Гладкий, В. А.
Введение в современную логику [Электронный ресурс] : учебное пособие / В. А. Гладкий. - М. : МЦНМО, 2001. - 200 с. - Б. ц.
Рубрики: ПСИХОЛОГИЯ
Кл.слова (ненормированные):
современная психология -- элементы логики -- особенности рассуждений -- логика научного познания -- строение рассуждений -- понятие логики -- основные логические законы -- индуктивная логика
60.
Подробнее
Глейзер, Г. Д.
Математика: Хрестоматия по истории, методологии, дидактике [Электронный ресурс] / Г. Д. Глейзер. - М. : изд-во УРАО, 2001. - 384 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
что такое математика -- логика -- символы -- алгебра множеств -- математика в современном мире
Глейзер, Г. Д.
Математика: Хрестоматия по истории, методологии, дидактике [Электронный ресурс] / Г. Д. Глейзер. - М. : изд-во УРАО, 2001. - 384 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
что такое математика -- логика -- символы -- алгебра множеств -- математика в современном мире
Страница 6, Результатов: 244