База данных: Электронная библиотека
Страница 1, Результатов: 10
Отмеченные записи: 0
1.
Подробнее
А67
Анкудинов, Г. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.
ББК 22.14
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики
Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.
А67
Анкудинов, Г. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики
Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.
2.
Подробнее
Г51
Гисин, В. Б.
Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин. - М. : [б. и.], 2002. - 194 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
понятие множества -- логика высказываний -- логика предикатов -- формальные теории -- алгоритмы
Г51
Гисин, В. Б.
Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин. - М. : [б. и.], 2002. - 194 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
понятие множества -- логика высказываний -- логика предикатов -- формальные теории -- алгоритмы
3.
Подробнее
Д39
Дехтярь, М. И.
Логика предикатов [Электронный ресурс] / М. И. Дехтярь. - [Б. м. : б. и.]. - 64 с. - Б. ц.
ББК 87
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ЛОГИКА
Кл.слова (ненормированные):
логика -- логика предикатов -- ситуация
Д39
Дехтярь, М. И.
Логика предикатов [Электронный ресурс] / М. И. Дехтярь. - [Б. м. : б. и.]. - 64 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ЛОГИКА
Кл.слова (ненормированные):
логика -- логика предикатов -- ситуация
4.
Подробнее
И26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : Академия, 2007. - 304 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебра высказываний -- нормальные формы -- булевы функций -- логика предикатов -- элементы теории алгоритмов
И26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : Академия, 2007. - 304 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебра высказываний -- нормальные формы -- булевы функций -- логика предикатов -- элементы теории алгоритмов
5.
Подробнее
Ожигов, Ю. И.
Квантовые вычисления [Электронный ресурс] : учебно-методический комплекс / Ю. И. Ожигов. - М. : [б. и.], 2003. - 104 с. - Б. ц.
ББК 132.81
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
квантовая механика -- кубиты -- волновое уравнение -- интерференция амплитуд -- уравнения Шредингера -- метод возмущений -- машина Тьюринга -- тезис Черча -- преобразование Уолша-Адамара -- квантовый компьютер -- структурный поиск -- паралельный алгоритм -- квантовые подпрограммы -- квантовый поиск -- логика предикатов -- алгоритм Гровера -- вычисление матриц
Ожигов, Ю. И.
Квантовые вычисления [Электронный ресурс] : учебно-методический комплекс / Ю. И. Ожигов. - М. : [б. и.], 2003. - 104 с. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
квантовая механика -- кубиты -- волновое уравнение -- интерференция амплитуд -- уравнения Шредингера -- метод возмущений -- машина Тьюринга -- тезис Черча -- преобразование Уолша-Адамара -- квантовый компьютер -- структурный поиск -- паралельный алгоритм -- квантовые подпрограммы -- квантовый поиск -- логика предикатов -- алгоритм Гровера -- вычисление матриц
6.
Подробнее
Пензов, Ю. Е.
Элементы математической логики и теории множеств [Электронный ресурс] : учебник / Ю. Е. Пензов. - Саратов : Издательство Саратовского университета, 1968. - 143 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества -- упорядоченные системы элементов -- декартово произведение множеств -- алгебра высказываний -- логика предикатов
Пензов, Ю. Е.
Элементы математической логики и теории множеств [Электронный ресурс] : учебник / Ю. Е. Пензов. - Саратов : Издательство Саратовского университета, 1968. - 143 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества -- упорядоченные системы элементов -- декартово произведение множеств -- алгебра высказываний -- логика предикатов
7.
Подробнее
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] : конспект лекций / М. Р. Пентус. - Москва : МГУ, 2005. - 87 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
предварительные сведения -- алфавит -- логика высказывания -- логика предикатов
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] : конспект лекций / М. Р. Пентус. - Москва : МГУ, 2005. - 87 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
предварительные сведения -- алфавит -- логика высказывания -- логика предикатов
8.
Подробнее
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
9.
Подробнее
Р83
Рузавин, Г. И.
Логика и аргументация [Электронный ресурс] : учебное пособие / Глав. ред. изд. Н.Д. Эриашвили. - М. : "Культура и спорт", ЮНИТИ, 1997. - 2 ,06Мб. - Б. ц.
ББК 87.4я73
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
логика предикатов -- аргументация -- диалог -- кванторы
Р83
Рузавин, Г. И.
Логика и аргументация [Электронный ресурс] : учебное пособие / Глав. ред. изд. Н.Д. Эриашвили. - М. : "Культура и спорт", ЮНИТИ, 1997. - 2 ,06Мб. - Б. ц.
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
логика предикатов -- аргументация -- диалог -- кванторы
10.
Подробнее
Д 25
Девятков, В. В.
Системы искуственного интеллекта [Электронный ресурс] : учебник / В. В. Девятков. - Москва : МГТУ им. Н.Э. Баумана, 2001. - 352 с. - Б. ц.
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
искусственный интеллект -- системы искусственного интеллекта -- логика предикатов -- информатика -- информационные системы -- среды и языки -- дедуктивные базы данных -- носители искусственного интеллекта
Д 25
Девятков, В. В.
Системы искуственного интеллекта [Электронный ресурс] : учебник / В. В. Девятков. - Москва : МГТУ им. Н.Э. Баумана, 2001. - 352 с. - Б. ц.
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
искусственный интеллект -- системы искусственного интеллекта -- логика предикатов -- информатика -- информационные системы -- среды и языки -- дедуктивные базы данных -- носители искусственного интеллекта
Страница 1, Результатов: 10