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

Базы данных


- результаты поиска

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

Вид документа :
Шифр издания : 22.12/К60
Автор(ы) : Колмогоров А.Н., Драгалин А.Г.
Заглавие : Математическая логика : Учебное пособие . -3-е изд., стер.
Выходные данные : М.: Комкнига, 2006
Колич.характеристики :240 с.
ISBN, Цена 5484005205: 1900.00, 1900.00, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): число натуральное--учебное пособие--теория множеств--функция--отношения--булева алгебра--исчисление--предикаты--логические законы--дедукция--аксиома--алгорифм--теория доказательств--математическая логика--математика
Экземпляры :чзт(1)
Свободны : чзт(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 81/Т43
Автор(ы) : Володин А.П., Храковский В.С., Оглобин А.К., Мальчуков А.Л.
Заглавие : Типологические обоснования в грамматике. К 70-летию проф. В.С. Храковского
Выходные данные : М.: Знак, 2004
Колич.характеристики :520 с.
ISBN, Цена 5944571829: 345.00, 345.00, р.
ББК : 81
Предметные рубрики: Филология-- языкознание
Ключевые слова (''Своб.индексиров.''): филология--лингвистика--типология--языкознание--семантика--прагматика--лексика--языки--русский язык--грамматика--лексикон--лексикология--японский--предложение--части речи--испанский язык--соотношения--французский--диалект--китайский--предикаты--семантика--глагол--форма глагола--этимология--префикс--пассив
Экземпляры :чз(1)
Свободны : чз(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 22.176/Д18
Автор(ы) : Данилов В.Г., Дубнов В.Л., Лакерник А.Р., Райцин А.М.
Заглавие : Дискретная математика : Учебное пособие для вузов
Выходные данные : М.: Телеком, 2008
Колич.характеристики :136 с.
ISBN, Цена 97859126202: 1450.00, 1450.00, р.
ББК : 22.176
Предметные рубрики: Математика-- дискретная
Ключевые слова (''Своб.индексиров.''): дискретная математика--теория множеств--математическая логика--функции--булевы формулы--теория графов--алгоритм--предикаты--анализ дискретный--преобразования--кванторы
Экземпляры :чзт(1)
Свободны : чзт(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 22.12/Д 70
Автор(ы) : Досанбай П.Т.
Заглавие : Математикалық логика : оқулық
Выходные данные : Алматы, 2011
Колич.характеристики :278 с
ISBN, Цена 978-601-217-244-7: 666, 666, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): число натуральное--оқулық--теория множеств--функция--отношения--булева алгебра--исчисление--предикаты--логические законы--дедукция--аксиома--алгорифм--теория доказательств--математическая логика--математика--учебник
Экземпляры : всего : чзт(2)
Свободны : чзт(2)
Найти похожие
5.

Вид документа :
Шифр издания : 512/К 90
Автор(ы) : Куликов Л.Я.
Заглавие : Алгебра и теория чисел [Электронный ресурс] . -Новое изд.
Выходные данные : Б.м., 1979
Колич.характеристики :559 с
ISBN, Цена 0: бц,
ГРНТИ : 27
УДК : 512
ББК : 22.143
Предметные рубрики: Математика-- алгебра-- теория чисел
Ключевые слова (''Своб.индексиров.''): алгебра и теория чисел--логика высказываний--логическое следствие--предикаты--кванторы--предикатные формулы--законы логики--элементы логики--множества и отношения--множества--бинарные отношения--функции--отношение эквивалентности--отношения порядка--алгебра и алгебраические системы--бинарные операции--алгебры--группы--кольца--алгебраические системы--основные числовые системы--система натуральных чисел--свойства сложения и умножения натуральных чисел--отношение порядка на множестве натуральных чисел--кольцо целых чисел--поля рациональных чисел--система действительных чисел--поле комплексных чисел--трингонометрическая форма комплексного числа--арифметические векторные пространства--системы линейных уравнений--ступенчатые матрицы--системы линейных уравнений--операции над матрицами --обратимые матрицы--подстановки--определители--миноры и алгебраческие дополнения--теоремы об определителях--правило крамера--теоремы о матрицах--векторные пространства--подпростанство векторного пространства--базис--изофорфизмы--евклидовы векторные пространства--линейные отображения--представление линейных операторов матрицами--линейные алгебры--обратимые операторы--системы линейных неравенств--симплекс-метод--полугруппы и моноиды--подгруппы и смежные классы--циклические группы--нормальные делигели--фактор-группы--теория делимости в кольце целых чисел--теория сравнений--кольца--полиномы от одной переменной--полиномы от нескольки переменной--полиномы над полем комплексных чисел--полиномы над полем рациональных чисел --алгебраические числа
Экземпляры :мед(1)
Свободны : мед(1)
Найти похожие
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)