Абстрактная структура данных
[abstract logic design] — структура данных, определенная функционально посредством выполняемых на ней операций. Такая структура не связана с поименованными типами объектов.
Предикаты
Предмет
Информатика
👍 Проверено
Автор24
математические высказывания о некоторых объектах или их свойствах.
Научные статьи на тему «Предикаты»
Предикаты и кванторы
Понятие предиката
Определение 1
Предикат - утверждение, которое содержит переменные, принимающие...
истинности предиката $I_p$....
Операции над предикатами
Рассмотрим применение операций алгебры логики к предикатам....
Например: предикат $A(x)$: «$x$ -- чётное число», предикат $B(x)$: «$x$ делится на $5$»....
истинности предиката $A(x)$.
Статья от экспертов
Предикаты веры
В статье проводится критический обзор философской, психологической и лингвистической литературы, посвященной феномену веры. Особое внимание уделяется двум аспектам изучения предикатов веры в лингвистике: когнитивному и системно-семантическому.
Creative Commons
Научный журнал
Субъект и предикат
Субъект и предикат как элементы суждения
Определение 1
Субъект и предикат – это элементы суждения...
Отношения между субъектами и предикатами суждения
Отношения между субъектами и предикатами обладают рядом...
Отношение между субъектом и предикатом являются необходимым членом суждения....
Отражением отношений в суждении являются отношения между субъектом и предикатом....
соответствующих предметов, т.е. что объем понятия, характеризуемого предикатом, шире.
Статья от экспертов
Высказывания и предикаты
Автор знакомит читателя с логикой высказываний и логикой предикатов. Разобраны примеры задач, предлагаются упражнения для самостоятельной работы.
Creative Commons
Научный журнал
Еще термины по предмету «Информатика»
Алгоритм шифрования
[encryption (cryptography) algorithm] — математическая формула использования ключей для шифрования документов и сообщений. Для симметричных алгоритмов требуются симметричные ключи, для асимметричных алгоритмов — асимметричные ключи.
Закон исключения третьего
«Истинно суждение либо его отрицание - третьего не дано».
- Предикат
- Предикат (PREDICATE)
- Двуместный предикат
- Предикатов исчисление
- Логика предикатов
- Предикат суждения
- Противопоставление предикату
- Ядро предиката
- Одноместный предикат (свойство)
- Определитель предиката (предикатный)
- Абстрактная информационно-поисковая система
- Автоматизация обучения
- Автоматизированное индексирование
- Акустическая система
- Алгоритмизация процесса обучения
- Алфавитно-цифровые (текстовые) данные
- Аналоговое представление
- Бесклавиатурный ввод
- HTKP
- IBM PC
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
