База данных: Электронная библиотека
Страница 1, Результатов: 50
Отмеченные записи: 0
1.
Подробнее
А13
Абдильдин, Ж.
Философия и логика Гегеля [Электронный ресурс] / Ж Абдильдин, Р. Ж. Абдильдина. - Алматы : [б. и.], 2011. - 408 с. - Б. ц.
ББК 87.2
Рубрики: ГУМАНИТАРНЫЕ НАУКИ
ФИЛОСОФИЯ
Кл.слова (ненормированные):
биография Гагеля -- логика -- философия природы -- философия духа -- критика формальной логики
Доп.точки доступа:
Абдильдина, Р.Ж.
А13
Абдильдин, Ж.
Философия и логика Гегеля [Электронный ресурс] / Ж Абдильдин, Р. Ж. Абдильдина. - Алматы : [б. и.], 2011. - 408 с. - Б. ц.
| УДК |
Рубрики: ГУМАНИТАРНЫЕ НАУКИ
ФИЛОСОФИЯ
Кл.слова (ненормированные):
биография Гагеля -- логика -- философия природы -- философия духа -- критика формальной логики
Доп.точки доступа:
Абдильдина, Р.Ж.
2.
Подробнее
А36
Айзерман, М. А.
Логика, автоматы, алгоритмы [Электронный ресурс] : учебник / М. А. Айзерман, Л. А. Гусев. - Москва : Физико-математической литературы, 1963. - 556 с. - Б. ц.
ББК 22.18
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
элементы математической логики -- исчисление высказываний -- абстрактная структура -- алгоритмы
Доп.точки доступа:
Гусев, Л.А.
А36
Айзерман, М. А.
Логика, автоматы, алгоритмы [Электронный ресурс] : учебник / М. А. Айзерман, Л. А. Гусев. - Москва : Физико-математической литературы, 1963. - 556 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
элементы математической логики -- исчисление высказываний -- абстрактная структура -- алгоритмы
Доп.точки доступа:
Гусев, Л.А.
3.
Подробнее
А67
Анкудинов, Г. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.
ББК 22.14
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики
Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.
А67
Анкудинов, Г. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики
Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.
4.
Подробнее
А90
Асмус, В. Ф.
Логика [Электронный ресурс] : учебник / В. Ф. Асмус. - М. : Едиториал УРСС, 2001. - 392 с. - Б. ц.
ББК 22.18
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
задача логики -- логические законы мышления -- состав суждения -- учение о понятии
А90
Асмус, В. Ф.
Логика [Электронный ресурс] : учебник / В. Ф. Асмус. - М. : Едиториал УРСС, 2001. - 392 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
задача логики -- логические законы мышления -- состав суждения -- учение о понятии
5.
Подробнее
Б24
Барвайс, Дж.
Справочная книга по математической логике [Электронный ресурс] : учебник / Дж. Барвайс. - М. : [б. и.], 1982. - 392 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
формализация логики -- теорема о полноте -- логика первого порядка -- теория компактности -- теорема Левенгейма-Скулема -- действительные числа -- теория множеств -- фильтры -- основная теорема -- логика высказываний -- атомная формула -- алгебраическая система -- принцип Лейбца -- дифференциалы
Б24
Барвайс, Дж.
Справочная книга по математической логике [Электронный ресурс] : учебник / Дж. Барвайс. - М. : [б. и.], 1982. - 392 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
формализация логики -- теорема о полноте -- логика первого порядка -- теория компактности -- теорема Левенгейма-Скулема -- действительные числа -- теория множеств -- фильтры -- основная теорема -- логика высказываний -- атомная формула -- алгебраическая система -- принцип Лейбца -- дифференциалы
6.
Подробнее
Б28
Батузов, В. Ф.
Математический анализ в вопросах и задачах [Электронный ресурс] : учебное пособие / В. Ф. Батузов. - М. : [б. и.], 2001. - 480 с. - Б. ц.
ББК 22.16
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКИЙ АНАЛИЗ
МАТЕМАТИКА
Кл.слова (ненормированные):
математической логики -- арифметические операции -- метод математической индукции -- измеримые функции -- дифференциал функции -- условный экстремум
Б28
Батузов, В. Ф.
Математический анализ в вопросах и задачах [Электронный ресурс] : учебное пособие / В. Ф. Батузов. - М. : [б. и.], 2001. - 480 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКИЙ АНАЛИЗ
МАТЕМАТИКА
Кл.слова (ненормированные):
математической логики -- арифметические операции -- метод математической индукции -- измеримые функции -- дифференциал функции -- условный экстремум
7.
Подробнее
Б86
Бочаров, В. А.
Основы логики [Электронный ресурс] : учебник / В. А. Бочаров, В.И Маркин. - Москва : ИНФРА-М, 1998. - 296 с. - Б. ц.
ББК 87.4я7
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
понятия логики -- классическая логика -- теория дедуктивных рассуждений -- силлогистика -- понятие
Доп.точки доступа:
Маркин, В.И
Б86
Бочаров, В. А.
Основы логики [Электронный ресурс] : учебник / В. А. Бочаров, В.И Маркин. - Москва : ИНФРА-М, 1998. - 296 с. - Б. ц.
| УДК |
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
понятия логики -- классическая логика -- теория дедуктивных рассуждений -- силлогистика -- понятие
Доп.точки доступа:
Маркин, В.И
8.
Подробнее
Б83
Булекбаев, С. Б.
Логика [Электронный ресурс] : учебник / С. Б. Булекбаев, М. К. Надыров. - Алматы : [б. и.], 2011. - 215 с. - Б. ц.
ББК 22.12
Рубрики: ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
ТЕХНИКА
Кл.слова (ненормированные):
предметный логика -- историялогики -- основные законы логики -- умозаключения -- умозаключения
Доп.точки доступа:
Надыров, М.К.
Б83
Булекбаев, С. Б.
Логика [Электронный ресурс] : учебник / С. Б. Булекбаев, М. К. Надыров. - Алматы : [б. и.], 2011. - 215 с. - Б. ц.
Рубрики: ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
ТЕХНИКА
Кл.слова (ненормированные):
предметный логика -- историялогики -- основные законы логики -- умозаключения -- умозаключения
Доп.точки доступа:
Надыров, М.К.
9.
Подробнее
Б83
Булекбаев, С. Б.
Логика [Электронный ресурс] : учебник / С. Б. Булекбаев, М. К. Надыров. - Алматы : [б. и.], 2011. - 214 с. - Б. ц.
ББК 87.4я7
Рубрики: ФИЛОСОФИЯ
Кл.слова (ненормированные):
предмет логики -- история логики -- гипотеза -- законы логики
Доп.точки доступа:
Надыров, М.К.
Б83
Булекбаев, С. Б.
Логика [Электронный ресурс] : учебник / С. Б. Булекбаев, М. К. Надыров. - Алматы : [б. и.], 2011. - 214 с. - Б. ц.
Рубрики: ФИЛОСОФИЯ
Кл.слова (ненормированные):
предмет логики -- история логики -- гипотеза -- законы логики
Доп.точки доступа:
Надыров, М.К.
10.
Подробнее
В19
Васильева, А. В
Дискретная математика [Электронный ресурс] : учебное пособие / А.В Васильева, И.В Шевелева. - Красноярск : СФУ, 2016. - 128 с. - Б. ц.
ББК 22.174я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
элементы теории множеств -- отношения -- элементы математической логики -- элементы теории графов
Доп.точки доступа:
Шевелева, И.В
В19
Васильева, А. В
Дискретная математика [Электронный ресурс] : учебное пособие / А.В Васильева, И.В Шевелева. - Красноярск : СФУ, 2016. - 128 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
элементы теории множеств -- отношения -- элементы математической логики -- элементы теории графов
Доп.точки доступа:
Шевелева, И.В
Страница 1, Результатов: 50