База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 27
Отмеченные записи: 0
1.
Подробнее
А67
Анкудинов, Г. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.
ББК 22.14
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики
Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.
А67
Анкудинов, Г. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики
Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.
2.
Подробнее
Б20
Жасанды интеллект қазіргі заманғы теория және тәжірибе [Электрондық ресурс] : 1 бөлім. - Алматы : Бастау, 2020. - 247 б. - Б. ц.
ББК 32.923я73
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
ЕСЕПТЕУ ТЕХНИКАСЫ
Кл.слова (ненормированные):
предикат -- пролог -- логика -- желі -- нейрон -- сараптамалық -- алгоритм -- семантикалық -- кибернетика -- объект -- унификация -- дерек
Б20
Жасанды интеллект қазіргі заманғы теория және тәжірибе [Электрондық ресурс] : 1 бөлім. - Алматы : Бастау, 2020. - 247 б. - Б. ц.
| УДК |
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
ЕСЕПТЕУ ТЕХНИКАСЫ
Кл.слова (ненормированные):
предикат -- пролог -- логика -- желі -- нейрон -- сараптамалық -- алгоритм -- семантикалық -- кибернетика -- объект -- унификация -- дерек
3.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
4.
Подробнее
В31
Верещагин, Н. К.
Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 288 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 288 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
5.
Подробнее
U92
Герман, О. В.
Экспертные системы:лабораторный практикум для студентов специальности "Автоматизированные системы обработки информации" дневной и дистанционной форм обучения [Электронный ресурс] : учебное пособие / О. В. Герман, Н. В. Батин. - Минск : БГУИР, 2003. - 75 с. - Б. ц.
ББК 32.813я73
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
пролог -- правила -- факты -- программа -- предикаты -- координаты -- мониторинг -- шрифты
Доп.точки доступа:
Батин, Н.В.
U92
Герман, О. В.
Экспертные системы:лабораторный практикум для студентов специальности "Автоматизированные системы обработки информации" дневной и дистанционной форм обучения [Электронный ресурс] : учебное пособие / О. В. Герман, Н. В. Батин. - Минск : БГУИР, 2003. - 75 с. - Б. ц.
| УДК |
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
пролог -- правила -- факты -- программа -- предикаты -- координаты -- мониторинг -- шрифты
Доп.точки доступа:
Батин, Н.В.
6.
Подробнее
Г47
Гильберт, Д.
Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман. - М. : [б. и.], 1947. - 88 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
исчисление высказываний -- логическая связь -- эквивалентности -- принцип двойственности -- сложные высказывания -- аксиомы -- исчисления высказываний -- вывод формул -- полнота системы -- исчисление классов -- символики исчислений -- исчисление предикатов -- проблема разрешимости
Доп.точки доступа:
Аккерман, В.
Г47
Гильберт, Д.
Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман. - М. : [б. и.], 1947. - 88 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
исчисление высказываний -- логическая связь -- эквивалентности -- принцип двойственности -- сложные высказывания -- аксиомы -- исчисления высказываний -- вывод формул -- полнота системы -- исчисление классов -- символики исчислений -- исчисление предикатов -- проблема разрешимости
Доп.точки доступа:
Аккерман, В.
7.
Подробнее
Г51
Гисин, В. Б.
Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин. - М. : [б. и.], 2002. - 194 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
понятие множества -- логика высказываний -- логика предикатов -- формальные теории -- алгоритмы
Г51
Гисин, В. Б.
Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин. - М. : [б. и.], 2002. - 194 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
понятие множества -- логика высказываний -- логика предикатов -- формальные теории -- алгоритмы
8.
Подробнее
Г93
Гузев, В. Г.
Турецкий язык: Начальный курс [Электронный ресурс] / В. Г. Гузев, О. Дениз-Йылмаз. - Санкт-Петербург : Каро, 2010. - 256 с. - Б. ц.
ББК 81.2
Туц-9
Рубрики: ЯЗЫКОЗНАНИЕ
Кл.слова (ненормированные):
Турецкий язык -- Указательные местоимения -- числительные -- местный падеж -- предикатив
Доп.точки доступа:
Дениз-Йылмаз, О.
Г93
Гузев, В. Г.
Турецкий язык: Начальный курс [Электронный ресурс] / В. Г. Гузев, О. Дениз-Йылмаз. - Санкт-Петербург : Каро, 2010. - 256 с. - Б. ц.
| УДК |
Рубрики: ЯЗЫКОЗНАНИЕ
Кл.слова (ненормированные):
Турецкий язык -- Указательные местоимения -- числительные -- местный падеж -- предикатив
Доп.точки доступа:
Дениз-Йылмаз, О.
9.
Подробнее
Д39
Дехтярь, М. И.
Логика предикатов [Электронный ресурс] / М. И. Дехтярь. - [Б. м. : б. и.]. - 64 с. - Б. ц.
ББК 87
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ЛОГИКА
Кл.слова (ненормированные):
логика -- логика предикатов -- ситуация
Д39
Дехтярь, М. И.
Логика предикатов [Электронный ресурс] / М. И. Дехтярь. - [Б. м. : б. и.]. - 64 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ЛОГИКА
Кл.слова (ненормированные):
логика -- логика предикатов -- ситуация
10.
Подробнее
Д64
Досанбай, П. Т.
Математикалық логика [Электрондық ресурс] : оқулық / П. Т. Досанбай. - Алматы : Дәуір, 2011. - 280 б. - Б. ц.
ББК 22.12я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- логика алгебрасы -- предикаттар логикасы
Д64
Досанбай, П. Т.
Математикалық логика [Электрондық ресурс] : оқулық / П. Т. Досанбай. - Алматы : Дәуір, 2011. - 280 б. - Б. ц.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- логика алгебрасы -- предикаттар логикасы
Беті 1, Нәтижелерін: 27