Сайт ИнЕУ Упрощенный режим О Библиотеке Руководство пользователя
Авторизация
Логин
Пароль
 

Базы данных


Книжный фонд - результаты поиска

Вид поиска
Книжный фонд
Статьи
Электронные библиотеки
Периодические издания
Магистерские диссертации
Полнотекстовые электронные издания
Сайты журналов
Труды ученых ИнЕУ
Область поиска
 Найдено в других БД:Полнотекстовые электронные издания (1)Труды ученых ИнЕУ (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=ПРЕДИКАТЫ<.>
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.
   74.268.1
   П 12

    Павлова, М. А.
    Интенсивный курс повышения грамотности с помощью НЛП [Текст] / Павлова М.А. - 2-е изд., испр. - М. : Ин-т психотерапии, 2000. - 240 с. - ISBN 5899390220 : 522 р.
ББК 74.268.1
Рубрики: Образование--методика преподавания языков
Кл.слова (ненормированные):
грамматика -- стратегия орфографии -- пунктуация -- раппорт -- речевые предикаты -- гемисферология -- метафоры -- нейролингвистическое программирование -- НЛП

Экз-ры: аб(2), чз(1)

” Цитировать
Найти похожие
2.
   22.12
   К60

    Колмогоров, А. Н.
    Математическая логика [Текст] : учебное пособие / Колмогоров А.Н., Драгалин А.Г. - 3-е изд., стер. - М. : Комкнига, 2006. - 240 с. - ISBN 5484005205 : 1900.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
число натуральное -- теория множеств -- функция -- отношения -- булева алгебра -- исчисление -- предикаты -- логические законы -- дедукция -- аксиома -- алгорифм -- теория доказательств -- математическая логика -- математика



Соавторы:
Драгалин, А.Г.
Экз-ры: чзт(1)

” Цитировать
Найти похожие
3.
   81
   Т43

    Володин, А. П.
    Типологические обоснования в грамматике. К 70-летию проф. В.С. Храковского [Текст] / Отв. ред. А.П. Володин. - М. : Знак, 2004. - 520 с. - ISBN 5944571829 : 345.00 р.
ББК 81
Рубрики: Филология--языкознание
Кл.слова (ненормированные):
филология -- лингвистика -- типологические обоснования в грамматике -- языкознание -- Храковский В.С. -- прагматика -- лексика -- языки -- русский язык -- грамматика -- лексикон -- лексикология -- японский -- предложение -- части речи -- испанский язык -- соотношения -- французский -- диалект -- китайский -- предикаты -- семантика -- глагол -- форма глагола -- этимология -- префикс -- пассив



Соавторы:
Храковский, В.С.; Оглобин, А.К.; Мальчуков, А.Л.
Экз-ры: чз(1)

” Цитировать
Найти похожие
4.
   22.176
   Д18

    Данилов, В. Г.
    Дискретная математика [Текст] : учебное пособие для вузов / В.Г. Данилов, В.Л. Дубнов, А.Р. Лакерник. - М. : Телеком, 2008. - 136 с. - ISBN 97859126202 : 1450.00 р.
ББК 22.176
Рубрики: Математика--дискретная
Кл.слова (ненормированные):
дискретная математика -- теория множеств -- математическая логика -- функции -- булевы формулы -- теория графов -- алгоритм -- предикаты -- анализ дискретный -- преобразования -- кванторы



Соавторы:
Дубнов, В.Л.; Лакерник, А.Р.; Райцин, А.М.
Экз-ры: чзт(1)

” Цитировать
Найти похожие
5.
   22.12
   Д 70

    Досанбай, П. Т.
    Математикалық логика [Текст] : оқулық / П. Т. Досанбай. - Алматы : [б. и.], 2011. - 278 с. - ISBN 978-601-217-244-7 : 666 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
число натуральное -- математикалық логика -- теория множеств -- функция -- отношения -- булева алгебра -- исчисление -- предикаты -- логические законы -- дедукция -- аксиома -- алгорифм -- теория доказательств -- математическая логика

Экз-ры: чзт(2)

” Цитировать
Найти похожие
6.
512
К 90

    Куликов, Л. Я.
    Алгебра и теория чисел [Электронный ресурс] / Л. Я. Куликов. - Новое изд. - М. : Высшая школа, 1979. - 559 с. - ISBN 0 : бц р.
ГРНТИ
27
УДК
512
ББК 22.143
Рубрики: Математика--алгебра--теория чисел
Кл.слова (ненормированные):
АЛГЕБРА И ТЕОРИЯ ЧИСЕЛ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКОЕ СЛЕДСТВИЕ -- ПРЕДИКАТЫ -- КВАНТОРЫ -- ПРЕДИКАТНЫЕ ФОРМУЛЫ -- ЗАКОНЫ ЛОГИКИ -- ЭЛЕМЕНТЫ ЛОГИКИ -- МНОЖЕСТВА И ОТНОШЕНИЯ -- МНОЖЕСТВА -- БИНАРНЫЕ ОТНОШЕНИЯ -- ФУНКЦИИ -- ОТНОШЕНИЕ ЭКВИВАЛЕНТНОСТИ -- ОТНОШЕНИЯ ПОРЯДКА -- АЛГЕБРА И АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ -- БИНАРНЫЕ ОПЕРАЦИИ -- АЛГЕБРЫ -- ГРУППЫ -- КОЛЬЦА -- АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ -- ОСНОВНЫЕ ЧИСЛОВЫЕ СИСТЕМЫ -- СИСТЕМА НАТУРАЛЬНЫХ ЧИСЕЛ -- СВОЙСТВА СЛОЖЕНИЯ И УМНОЖЕНИЯ НАТУРАЛЬНЫХ ЧИСЕЛ -- ОТНОШЕНИЕ ПОРЯДКА НА МНОЖЕСТВЕ НАТУРАЛЬНЫХ ЧИСЕЛ -- КОЛЬЦО ЦЕЛЫХ ЧИСЕЛ -- ПОЛЯ РАЦИОНАЛЬНЫХ ЧИСЕЛ -- СИСТЕМА ДЕЙСТВИТЕЛЬНЫХ ЧИСЕЛ -- ПОЛЕ КОМПЛЕКСНЫХ ЧИСЕЛ -- ТРИНГОНОМЕТРИЧЕСКАЯ ФОРМА КОМПЛЕКСНОГО ЧИСЛА -- АРИФМЕТИЧЕСКИЕ ВЕКТОРНЫЕ ПРОСТРАНСТВА -- СИСТЕМЫ ЛИНЕЙНЫХ УРАВНЕНИЙ -- СТУПЕНЧАТЫЕ МАТРИЦЫ -- СИСТЕМЫ ЛИНЕЙНЫХ УРАВНЕНИЙ -- ОПЕРАЦИИ НАД МАТРИЦАМИ -- ОБРАТИМЫЕ МАТРИЦЫ -- ПОДСТАНОВКИ -- ОПРЕДЕЛИТЕЛИ -- МИНОРЫ И АЛГЕБРАЧЕСКИЕ ДОПОЛНЕНИЯ -- ТЕОРЕМЫ ОБ ОПРЕДЕЛИТЕЛЯХ -- ПРАВИЛО КРАМЕРА -- ТЕОРЕМЫ О МАТРИЦАХ -- ВЕКТОРНЫЕ ПРОСТРАНСТВА -- ПОДПРОСТАНСТВО ВЕКТОРНОГО ПРОСТРАНСТВА -- БАЗИС -- ИЗОФОРФИЗМЫ -- ЕВКЛИДОВЫ ВЕКТОРНЫЕ ПРОСТРАНСТВА -- ЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ -- ПРЕДСТАВЛЕНИЕ ЛИНЕЙНЫХ ОПЕРАТОРОВ МАТРИЦАМИ -- ЛИНЕЙНЫЕ АЛГЕБРЫ -- ОБРАТИМЫЕ ОПЕРАТОРЫ -- СИСТЕМЫ ЛИНЕЙНЫХ НЕРАВЕНСТВ -- СИМПЛЕКС-МЕТОД -- ПОЛУГРУППЫ И МОНОИДЫ -- ПОДГРУППЫ И СМЕЖНЫЕ КЛАССЫ -- ЦИКЛИЧЕСКИЕ ГРУППЫ -- НОРМАЛЬНЫЕ ДЕЛИГЕЛИ -- ФАКТОР-ГРУППЫ -- ТЕОРИЯ ДЕЛИМОСТИ В КОЛЬЦЕ ЦЕЛЫХ ЧИСЕЛ -- ТЕОРИЯ СРАВНЕНИЙ -- КОЛЬЦА -- ПОЛИНОМЫ ОТ ОДНОЙ ПЕРЕМЕННОЙ -- ПОЛИНОМЫ ОТ НЕСКОЛЬКИ ПЕРЕМЕННОЙ -- ПОЛИНОМЫ НАД ПОЛЕМ КОМПЛЕКСНЫХ ЧИСЕЛ -- ПОЛИНОМЫ НАД ПОЛЕМ РАЦИОНАЛЬНЫХ ЧИСЕЛ -- АЛГЕБРАИЧЕСКИЕ ЧИСЛА

Экз-ры: мед(1)

” Цитировать
Найти похожие
7.
22.1
Д 75

    Дроботун, Б. Н.
    Руководство к решению по дискретной математике и математической логике. Часть 1 [Текст] / Б. Н. Дроботун. - Новое изд. - Астана : Фолиант, 2019. - 528 с. - (Высшее образование). - ISBN 978-601-338-239-5 : 4165 р.
ГРНТИ
27
ББК 22.1
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
Руководство к решению по дискретной математике и математической логике -- алгебра множеств -- диаграммы Эйлера-Венна -- Декартово произведение множеств -- БИНАРНЫЕ ОТНОШЕНИЯ -- предикаты на данном множестве -- функции алгебры логики -- Булевы функции -- Полиномы Жегалкина -- функциоально замкнутые классы и теорема Поста -- методы минимизации булевых функций -- карты Карно -- метод Блейка -- ядровые импликанты -- релейно-контактные схемы -- АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ -- комбинаторная математика -- ТРЕУГОЛЬНИК ПАСКАЛЯ и бином Ньютона -- числа Каталана -- МОДУЛЯРНАЯ АРИФМЕТИКА -- функция Эйлера -- алгоритм Эвклида и конечные непрерывные дроби -- линейные диофантовы уравнения -- РЕКОМЕНДОВАНО РУМС МОН РК

Экз-ры: аб2(3), аб(3)

” Цитировать
Найти похожие
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)