База данных: Электрондық кітапхана
Беті 2, Нәтижелерін: 18
Отмеченные записи: 0
11.
Подробнее
И26
Игошин, В. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М : Академия, 2008. - 448 с. - Б. ц.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- формулы алгебры высказываний -- логическая равносильность формул -- логическая следование формул -- булевы функции -- множества, отношения, функция
И26
Игошин, В. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М : Академия, 2008. - 448 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- формулы алгебры высказываний -- логическая равносильность формул -- логическая следование формул -- булевы функции -- множества, отношения, функция
12.
Подробнее
К19
Канатников, А. Н.
Дискретная математика [Электронный ресурс] : конспект лекции / А. Н. Канатников. - М. : МГТУ им. Н.Э.Баумана, 2006. - 63 с. - Б. ц.
ББК 22.161
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
булевы функции -- логика высказываний -- исчисление предикатов -- алгоритмы на графах
К19
Канатников, А. Н.
Дискретная математика [Электронный ресурс] : конспект лекции / А. Н. Канатников. - М. : МГТУ им. Н.Э.Баумана, 2006. - 63 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
булевы функции -- логика высказываний -- исчисление предикатов -- алгоритмы на графах
13.
Подробнее
Пензов, Ю. Е.
Элементы математической логики и теории множеств [Электронный ресурс] : учебник / Ю. Е. Пензов. - Саратов : Издательство Саратовского университета, 1968. - 143 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества -- упорядоченные системы элементов -- декартово произведение множеств -- алгебра высказываний -- логика предикатов
Пензов, Ю. Е.
Элементы математической логики и теории множеств [Электронный ресурс] : учебник / Ю. Е. Пензов. - Саратов : Издательство Саратовского университета, 1968. - 143 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества -- упорядоченные системы элементов -- декартово произведение множеств -- алгебра высказываний -- логика предикатов
14.
Подробнее
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
15.
Подробнее
П56
Понамарев, В. Ф.
Математическая логика [Электронный ресурс] : учебное пособие. Ч.1. Логика высказываний. Логика предикатов / В. Ф. Понамарев. - Калининград : КГТУ, 2001. - 140 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- алгебра высказываний -- логические операторы
П56
Понамарев, В. Ф.
Математическая логика [Электронный ресурс] : учебное пособие. Ч.1. Логика высказываний. Логика предикатов / В. Ф. Понамарев. - Калининград : КГТУ, 2001. - 140 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- алгебра высказываний -- логические операторы
16.
Подробнее
С17
Самохин, А. В.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / А. В. Самохин. - Москва : [б. и.], 2003. - 237 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества и мощность -- упорядоченные множества -- исчисление высказываний
С17
Самохин, А. В.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / А. В. Самохин. - Москва : [б. и.], 2003. - 237 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества и мощность -- упорядоченные множества -- исчисление высказываний
17.
Подробнее
Э19
Эдельман, С. Л.
Математическая логика [Электронный ресурс] : учебное пособие / С. Л. Эдельман. - М. : Высшая школа, 1975. - 176 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебра высказываний -- нормальные формы -- язык исчисления
Э19
Эдельман, С. Л.
Математическая логика [Электронный ресурс] : учебное пособие / С. Л. Эдельман. - М. : Высшая школа, 1975. - 176 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебра высказываний -- нормальные формы -- язык исчисления
18.
Подробнее
Белоус, Е. Н.
Дискурсивные стратегии жанрово-родовой трансформации художественного текста [Электронный ресурс] : диссертация магистра...- 6М011800 "Русский язык и литература" / Науч.рук.: Н.В.Свидова. - Тараз : ТарГПИ, 2011. - 84 с. - ). - Б. ц.
ББК 83.083.0
Рубрики: ФИЛОЛОГИЯ
ЛИТЕРАТУРОВЕДЕНИЕ
МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ
Кл.слова (ненормированные):
категория жанра -- литературные роды -- теория коммуникации -- дискурсивные модели -- жанрово-родовая структура -- типы высказываний -- литературная сказка -- CD -- ППС -- Белоус Е.
Белоус, Е. Н.
Дискурсивные стратегии жанрово-родовой трансформации художественного текста [Электронный ресурс] : диссертация магистра...- 6М011800 "Русский язык и литература" / Науч.рук.: Н.В.Свидова. - Тараз : ТарГПИ, 2011. - 84 с. - ). - Б. ц.
Рубрики: ФИЛОЛОГИЯ
ЛИТЕРАТУРОВЕДЕНИЕ
МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ
Кл.слова (ненормированные):
категория жанра -- литературные роды -- теория коммуникации -- дискурсивные модели -- жанрово-родовая структура -- типы высказываний -- литературная сказка -- CD -- ППС -- Белоус Е.
Беті 2, Нәтижелерін: 18