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

Базы данных


Полнотекстовые электронные издания - результаты поиска

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

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

Вид документа :
Шифр издания : 51.33/А 60
Автор(ы) : Аляев Ю.А., Тюрин С.Ф.
Заглавие : Дискретная математика и математическая логика [Электронный ресурс] . -Новое изд.
Выходные данные : М.: Финансы и статистика, 2006
Колич.характеристики :368 с.: ил.
ISBN, Цена 5-279-03045-7: бц,
ГРНТИ : 27.41
УДК : 51.33
ББК : 22.176
Предметные рубрики: Математика-- дискретная
Ключевые слова (''Своб.индексиров.''): дискретная математика и математическая логика--элементы общей алгебры--элементы комбинаторики--основные понятия теории графов
Экземпляры :мед(1)
Свободны : мед(1)
Найти похожие
3.

Вид документа :
Шифр издания : 51.33/А 60
Автор(ы) : Аляев Ю.А., Тюрин С.Ф.
Заглавие : Математическая логика и дискретная математика [Электронный ресурс] . -Новое изд.
Выходные данные : Б.м., 2006
Колич.характеристики :368 с.: ил.
ISBN, Цена 5-279-03045-7: бц,
ГРНТИ : 27.41
УДК : 51.33
ББК : 22.17
Предметные рубрики: Математика-- дискретная математика
Ключевые слова (''Своб.индексиров.''): дискретная математика
Экземпляры :мед(1)
Свободны : мед(1)
Найти похожие
4.

Вид документа :
Шифр издания : 347.763/Т 65
Автор(ы) : Миротин Л.Б., Ташбаев И.Э., Гудков В.А.
Заглавие : Транспортная логистика [Электронный ресурс] . -Новое изд.
Выходные данные : М.: Экзамен, 2003
Колич.характеристики :512 с
ISBN, Цена 5-94692-036-7: бц,
ГРНТИ : 73
УДК : 347.763
ББК : 65.37
Предметные рубрики: Логика-- теория
Ключевые слова (''Своб.индексиров.''): транспортная логистика--логистические аспекты функционирования транспорта--информационное обеспечение транспортной логистики--ключевые и поддерживающие функции транспортно-логистических систем--транспортное обеспечение логистики--транспортно-логичстическое проектирование и управление--информационно-логистические технологии пассажирских перевозок--логистические особенности формирования и управления транспортными маросистемами--государственное регулирование и поддержка транспортных логистических систем
Экземпляры :мед(1)
Свободны : мед(1)
Найти похожие
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)