Главная Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


СТАТЬИ - результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:КНИГИ (3)Диссертации (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логические исчисления<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.


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

Кл.слова (ненормированные):
образование -- абстракция -- отождествление -- логические исчисления -- алгебра

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

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


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

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

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

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


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

   Казахстан
Кл.слова (ненормированные):
абстракции -- логика математическая -- логические исчисления -- образование

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

Найти похожие
 
© Павлодарский государственный университет им. С.Торайгырова, 2009-2015