Электронный каталог


 

База данных: Электронная библиотека

Страница 1, Результатов: 9

Отмеченные записи: 0

22.14
А67

Анкудинов, Г. И.
    Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.

УДК
ББК 22.14

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   ТЕОРИЯ ВЕРОЯТНОСТЕЙ


Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики

Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.

Анкудинов, Г.И. Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов, 2003. - 104 с.

1.

Анкудинов, Г.И. Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов, 2003. - 104 с.


22.14
А67

Анкудинов, Г. И.
    Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.

УДК
ББК 22.14

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   ТЕОРИЯ ВЕРОЯТНОСТЕЙ


Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики

Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.

Барвайс, Дж. Справочная книга по математической логике [Электронный ресурс] : учебник / Дж. Барвайс, 1982. - 392 с.

22.12
В31

Верещагин, Н. К.
    Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории

Доп.точки доступа:
Шень, А.

Верещагин, Н.К. Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень, 2002. - 288 с.

3.

Верещагин, Н.К. Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень, 2002. - 288 с.


22.12
В31

Верещагин, Н. К.
    Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории

Доп.точки доступа:
Шень, А.

22.12
В31

Верещагин, Н. К.
    Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 288 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории

Доп.точки доступа:
Шень, А.

Верещагин, Н.К. Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень, 2002. - 288 с.

22.1
Г51

Гисин, В. Б.
    Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин. - М. : [б. и.], 2002. - 194 с. - Б. ц.

ББК 22.1

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


Кл.слова (ненормированные):
понятие множества -- логика высказываний -- логика предикатов -- формальные теории -- алгоритмы

Гисин, В.Б. Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин, 2002. - 194 с.

5.

Гисин, В.Б. Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин, 2002. - 194 с.


22.1
Г51

Гисин, В. Б.
    Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин. - М. : [б. и.], 2002. - 194 с. - Б. ц.

ББК 22.1

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


Кл.слова (ненормированные):
понятие множества -- логика высказываний -- логика предикатов -- формальные теории -- алгоритмы

22.12
З-34

Зарипова, Э. Р.
    Дискретная математика [Электронный ресурс]. Ч.2. Математическая логика / Э. Р. Зарипова, М. Г. Кокотчикова, Л. А. Севастьянов. - М. : РУДН, 2013. - 116 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


Кл.слова (ненормированные):
булевы функции -- логика высказываний -- алгебра логики -- исчисление высказывание

Доп.точки доступа:
Кокотчикова, М.Г.
Севастьянов, Л.А.

Зарипова, Э.Р. Дискретная математика [Электронный ресурс]. Ч.2. Математическая логика / Э. Р. Зарипова, М. Г. Кокотчикова, Л. А. Севастьянов, 2013. - 116 с.

6.

Зарипова, Э.Р. Дискретная математика [Электронный ресурс]. Ч.2. Математическая логика / Э. Р. Зарипова, М. Г. Кокотчикова, Л. А. Севастьянов, 2013. - 116 с.


22.12
З-34

Зарипова, Э. Р.
    Дискретная математика [Электронный ресурс]. Ч.2. Математическая логика / Э. Р. Зарипова, М. Г. Кокотчикова, Л. А. Севастьянов. - М. : РУДН, 2013. - 116 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


Кл.слова (ненормированные):
булевы функции -- логика высказываний -- алгебра логики -- исчисление высказывание

Доп.точки доступа:
Кокотчикова, М.Г.
Севастьянов, Л.А.

22.161
К19

Канатников, А. Н.
    Дискретная математика [Электронный ресурс] : конспект лекции / А. Н. Канатников. - М. : МГТУ им. Н.Э.Баумана, 2006. - 63 с. - Б. ц.

ББК 22.161

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


Кл.слова (ненормированные):
булевы функции -- логика высказываний -- исчисление предикатов -- алгоритмы на графах

Канатников, А.Н. Дискретная математика [Электронный ресурс] : Конспект лекции / А. Н. Канатников, 2006. - 63 с.

7.

Канатников, А.Н. Дискретная математика [Электронный ресурс] : Конспект лекции / А. Н. Канатников, 2006. - 63 с.


22.161
К19

Канатников, А. Н.
    Дискретная математика [Электронный ресурс] : конспект лекции / А. Н. Канатников. - М. : МГТУ им. Н.Э.Баумана, 2006. - 63 с. - Б. ц.

ББК 22.161

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


Кл.слова (ненормированные):
булевы функции -- логика высказываний -- исчисление предикатов -- алгоритмы на графах

Пентус, М.Р. Введение в математическую логику [Электронный ресурс] / М. Р. Пентус, 2006. - 90 с.

8.

Пентус, М.Р. Введение в математическую логику [Электронный ресурс] / М. Р. Пентус, 2006. - 90 с.

22.12
П56

Понамарев, В. Ф.
    Математическая логика [Электронный ресурс] : учебное пособие. Ч.1. Логика высказываний. Логика предикатов / В. Ф. Понамарев. - Калининград : КГТУ, 2001. - 140 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
логика высказываний -- алгебра высказываний -- логические операторы

Понамарев, В.Ф. Математическая логика [Электронный ресурс] : Учебное пособие. Ч.1. Логика высказываний. Логика предикатов / В. Ф. Понамарев, 2001. - 140 с.

9.

Понамарев, В.Ф. Математическая логика [Электронный ресурс] : Учебное пособие. Ч.1. Логика высказываний. Логика предикатов / В. Ф. Понамарев, 2001. - 140 с.


22.12
П56

Понамарев, В. Ф.
    Математическая логика [Электронный ресурс] : учебное пособие. Ч.1. Логика высказываний. Логика предикатов / В. Ф. Понамарев. - Калининград : КГТУ, 2001. - 140 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
логика высказываний -- алгебра высказываний -- логические операторы

Страница 1, Результатов: 9

 

Все поступления за 
Или выберите интересующий месяц