Научная библиотека имени академика С. Бейсембаева

СТАТЬИ

Область поиска

Найдено в других БД:

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=логические исчисления<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

    Дроботун, Б. Н.
    О пропедевтических возможностях освоения абстракции отождествления в процессе изучения логических исчислений (II) / Б. Н. Дроботун // ПМУ хабаршысы=Вестник ПГУ. Сер. педагогическая. - 2009. - № 4. - С. 53-64.
Рубрики: Педагогика
   Труды ученых ПГУ
Кл.слова (ненормированные):
образование -- абстракция -- отождествление -- логические исчисления -- алгебра

Держатели документа:
чзп

Найти похожие

Калимолдаев, М. Н.
Применение логики для построения моделей разграничения доступа к информации [Текст] / М. Н. Калимолдаев, Р. Г. Бияшев, О. А. Рог // Доклады НАН РК. - 2017. - № 3. - С. 48-54
Рубрики: Информационные технологии
Кл.слова (ненормированные):
защита информации -- логические исчисления -- дедуктивный аппарат -- политики разграничения доступа -- языки спецификаций -- типизированное атрибутное разграничение -- формальная теория

Держатели документа:
чзп

Доп.точки доступа:
Бияшев, Р. Г.; Рог, О. А.

Найти похожие

    Дроботун, Б. Н.
    О пропедевтических возможностях освоения абстракции отождествления в процессе изучения логических исчислений / Б. Н. Дроботун // ПМУ хабаршысы=Вестник ПГУ. Сер. Педагогическая. - 2009. - № 3. - С. 54-64
Рубрики: Педагогика
   Труды ученых ПГУ
   Казахстан
Кл.слова (ненормированные):
абстракции -- логика математическая -- логические исчисления -- образование

Держатели документа:
чзп

Найти похожие