База данных: Электронная библиотека
Страница 1, Результатов: 11
Отмеченные записи: 0
1.
Подробнее
Г47
Гильберт, Д.
Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман. - М. : [б. и.], 1947. - 88 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
исчисление высказываний -- логическая связь -- эквивалентности -- принцип двойственности -- сложные высказывания -- аксиомы -- исчисления высказываний -- вывод формул -- полнота системы -- исчисление классов -- символики исчислений -- исчисление предикатов -- проблема разрешимости
Доп.точки доступа:
Аккерман, В.
Г47
Гильберт, Д.
Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман. - М. : [б. и.], 1947. - 88 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
исчисление высказываний -- логическая связь -- эквивалентности -- принцип двойственности -- сложные высказывания -- аксиомы -- исчисления высказываний -- вывод формул -- полнота системы -- исчисление классов -- символики исчислений -- исчисление предикатов -- проблема разрешимости
Доп.точки доступа:
Аккерман, В.
2.
Подробнее
И25
Ивин, А. А.
Логика [Электронный ресурс] : учебное пособие для студентов вузов / А. А. Ивин. - М. : ООО «Издательство Оникс»: ООО «Издательство «Мир и Образование», 2008. - 336 с. - Б. ц.
ББК 87.4я73
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
что изучает логика? -- язык и мир -- понятия, высказывания, умозаключения -- логические законы -- модельная логика -- как строятся доказательства -- логические ошибки -- правдоподобные рассуждения
И25
Ивин, А. А.
Логика [Электронный ресурс] : учебное пособие для студентов вузов / А. А. Ивин. - М. : ООО «Издательство Оникс»: ООО «Издательство «Мир и Образование», 2008. - 336 с. - Б. ц.
| УДК |
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
что изучает логика? -- язык и мир -- понятия, высказывания, умозаключения -- логические законы -- модельная логика -- как строятся доказательства -- логические ошибки -- правдоподобные рассуждения
3.
Подробнее
И26
Игошин, В. И.
Математическая логика [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : ИНФРА-М, 2016. - 399 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
математическая логика -- алгебра высказывания -- тавтология алгебры
И26
Игошин, В. И.
Математическая логика [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : ИНФРА-М, 2016. - 399 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
математическая логика -- алгебра высказывания -- тавтология алгебры
4.
Подробнее
К48
Клевчихин, Ю. А.
Введение в математический анализ [Электронный ресурс] : учебное пособие / Ю. А. Клевчихин. - Владивосток : Дальневосточного университета, 2002. - 107 с. - Б. ц.
ББК 22,16
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- высказывания -- логические операции -- предикаты
К48
Клевчихин, Ю. А.
Введение в математический анализ [Электронный ресурс] : учебное пособие / Ю. А. Клевчихин. - Владивосток : Дальневосточного университета, 2002. - 107 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- высказывания -- логические операции -- предикаты
5.
Подробнее
М35
Матюшин, И. М.
Курс устного перевода. Французский язык [Электронный ресурс] : учебник / И. М. Матюшин. - Москва : Нестор Академик, 2015. - 496 с. - Б. ц.
ББК 81.471.1-8я 73-1
Рубрики: ФИЛОЛОГИЯ
ФРАНЦУЗСКИЙ ЯЗЫК
Кл.слова (ненормированные):
высказывания -- речевые клише -- выражения -- аббревиатура -- наречия
М35
Матюшин, И. М.
Курс устного перевода. Французский язык [Электронный ресурс] : учебник / И. М. Матюшин. - Москва : Нестор Академик, 2015. - 496 с. - Б. ц.
| УДК |
Рубрики: ФИЛОЛОГИЯ
ФРАНЦУЗСКИЙ ЯЗЫК
Кл.слова (ненормированные):
высказывания -- речевые клише -- выражения -- аббревиатура -- наречия
6.
Подробнее
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] : конспект лекций / М. Р. Пентус. - Москва : МГУ, 2005. - 87 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
предварительные сведения -- алфавит -- логика высказывания -- логика предикатов
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] : конспект лекций / М. Р. Пентус. - Москва : МГУ, 2005. - 87 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
предварительные сведения -- алфавит -- логика высказывания -- логика предикатов
7.
Подробнее
П78
Проблемы функциональной грамматики [Электронный ресурс]. - Санкт-Петербург : Наука, 2005. - 478 с. - Б. ц.
ББК 81.2-2
Рубрики: ФИЛОЛОГИЯ
ЯЗЫКОЗНАНИЕ
полевые структуры
Кл.слова (ненормированные):
функциональная грамматика -- сопостовительный анализ -- теория высказывания
П78
Проблемы функциональной грамматики [Электронный ресурс]. - Санкт-Петербург : Наука, 2005. - 478 с. - Б. ц.
Рубрики: ФИЛОЛОГИЯ
ЯЗЫКОЗНАНИЕ
полевые структуры
Кл.слова (ненормированные):
функциональная грамматика -- сопостовительный анализ -- теория высказывания
8.
Подробнее
С89
Сулейменов, О.
Но людям я не лгал... [Электронный ресурс] : (Мудрости Олжаса) Афористические высказывания и крылатые выражения / О. Сулейменов. - Алматы : Издательский дом "Библиотека Олжас", 2011. - 360 с. - Б. ц.
ББК 845
Каз-Рус 7-4
Рубрики: ХУДОЖЕСТВЕННАЯ ЛИТЕРАТУРА
Кл.слова (ненормированные):
афористические высказывания -- крылатые выражения
С89
Сулейменов, О.
Но людям я не лгал... [Электронный ресурс] : (Мудрости Олжаса) Афористические высказывания и крылатые выражения / О. Сулейменов. - Алматы : Издательский дом "Библиотека Олжас", 2011. - 360 с. - Б. ц.
Рубрики: ХУДОЖЕСТВЕННАЯ ЛИТЕРАТУРА
Кл.слова (ненормированные):
афористические высказывания -- крылатые выражения
9.
Подробнее
Ф93
Фруйдун
Апология математика [Электронный ресурс] : учебник / Фруйдун. - М. : Наука, 1969. - 136 с. - Б. ц.
ББК 22.151
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества и отображения -- высказывания -- формальная логика
Ф93
Фруйдун
Апология математика [Электронный ресурс] : учебник / Фруйдун. - М. : Наука, 1969. - 136 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества и отображения -- высказывания -- формальная логика
10.
Подробнее
Я78
Ярусалимский, Я. М.
Дискретная математика: теория, задачи, приложения [Электронный ресурс] : учебное пособие / Я. М. Ярусалимский. - М. : Вузовская книга, 2000. - 142 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
высказывания -- предикаты -- операции -- кванторы -- множества -- элементы комбинаторики -- отношения -- алгоритмы -- теория графов -- задачи -- решения
Я78
Ярусалимский, Я. М.
Дискретная математика: теория, задачи, приложения [Электронный ресурс] : учебное пособие / Я. М. Ярусалимский. - М. : Вузовская книга, 2000. - 142 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
высказывания -- предикаты -- операции -- кванторы -- множества -- элементы комбинаторики -- отношения -- алгоритмы -- теория графов -- задачи -- решения
Страница 1, Результатов: 11