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

Базы данных


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

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

    Фридман, М. В.
    Логика для биологов [Текст] / М. В. Фридман, В. С. Фридман. - Новое изд. - М. : ЛКИ, 2008. - 192 с. - ISBN 978-5-382-00678-9 : 1700 р.
ББК 28.087
Рубрики: Биология--прикладная
Кл.слова (ненормированные):
предмет и задачи логики -- формальная логика -- логика для биологов -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- высказвания -- деление понятия -- обобщение и ограничение понятия -- силлогизмы -- определение понятий через род и видовое отличие -- генетические операционные определения -- Булева алгебра -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- пересечение и объединение в силлологистике -- развитие научных понятий -- ТРАНЗИТИВНОСТЬ



Соавторы:
Фридман, В.С.
Экз-ры: аб(3)

” Цитировать
Найти похожие
2.
   22.176
   М82

    Москинова, Г. И.
    Дискретная математика. Математика для менеджера в примерах и упражнениях [Текст] : учебное пособие для вузов / Москинова Г.И. - М. : Логос, 2003. - 240с. - (Учебник ХХI века). - ISBN 5940100163 : 1050 р.
ББК 22.176
Рубрики: Математика--дискретный анализ
Кл.слова (ненормированные):
дискретная математика -- бинарные -- определения -- эквивалентность -- порядок -- свойства -- соответствия -- отображения -- математическая логика -- булева алгебра -- логика предикатов -- теория графов -- маршруты

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

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

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



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

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

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

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

” Цитировать
Найти похожие
5.
   22.14
   М 34

    Матрос, Д. Ш.
    Элементы абстрактной и компьютерной алгебры [Текст] : учебное пособие для вузов / Д. Ш. Матрос, Г. Б. Поднебесова . - М. : Академия, 2004. - 240 с. - ISBN 5-7695-1601-1 : 4100 р.
ГРНТИ
27
ББК 22.14
Рубрики: Математика
Кл.слова (ненормированные):
абстрактная алгебра -- компьютерная алгебра -- множества -- бинарные операции -- булева алгебра -- числовая система -- натуральные числа -- алгоритм -- целые числа -- система уравнений -- система счисления -- преобразование Фурье -- интегрирование -- кодирование -- криптография



Соавторы:
Поднебесова , Г.Б.
Экз-ры: чзт(1)

” Цитировать
Найти похожие
6.
32.816
А 61

    Аман, К. П.
    «Information and communication technologies» с использованием технологии CLIL [Text] / К. П. Аман, А. А. Мусина. - Новое изд. - Алматы : Бастау, 2020. - 256 p. - ISBN 978-601-7991-22-7 : 6496 р.
ГРНТИ
20
ББК 32.816
Рубрики: Информатика
Кл.слова (ненормированные):
«Information and communication technologies» с использованием технологии CLIL -- ИНФОРМАЦИОННО-КОММУНИКАЦИОННЫЕ ТЕХНОЛОГИИ (ИКТ) -- bolean algebra -- булева алгебра -- numeral sistem -- система счисления -- АЛГОРИТМЫ -- computer components -- компьютерные компоненты -- ИНТЕРНЕТ -- РОБОТЫ -- информационные технологии в профессиональной сфере -- cibersecurity -- кибербезопасность -- БАЗЫ ДАННЫХ -- infrstructure of the electronic governmen of Kazakhstan -- инфраструктура электронного правительства Казахстана -- software for virus protection -- программное обеспечение для защиты от вирусов -- web-site -- веб-сайт -- mobile operating sistem application -- приложение для мобильной операционной системы -- peripherals -- периферийные устройства -- flowcharts -- блок-схемы -- storage devices -- запоминающие устройства



Соавторы:
Мусина, А.А.
Экз-ры: аб(4), чз(1)

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