Поиск

Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

Автор

Ключевое слово

Тип статьи

DOI

ORCID

Дополнительно:

Период публикации

Репозиторий

По вашему запросу найдено документов: 34994

Страница 5 из 3500

Logical Operations with Images in Accumulated Echo Holography

Ahmedshina E.N., Sakhbieva A.R., Nefediev L.A.

of logical operations for images using the accumulated long-lived echo hologram. It is shown that, depending

ПРЕЕМСТВЕННОСТЬ ПЕРЕХОДА ОТ ДВУЗНАЧНОЙ ЛОГИКИ К БЕСКОНЕЧНОЗНАЧНОЙ ПРИ ИЗУЧЕНИИ МАТЕМАТИЧЕСКОЙ ЛОГИКИ В ВОЕННОМ ВУЗЕ

САДОВНИКОВ Николай Владимирович, СУЛТАНОВА Галия Алиевна

-valued logic. In infinite-valued logic,the operation of disjunction is similar to selecting the largest element

Non-unifiability in linear temporal logic of knowledge with multi-agent relations

Башмаков, С. И., Кошелева, А. В., Рыбаков, В.

The paper is devoted to the study of the unification problem in the linear temporal logic

Completeness criterionand closed classes of multifunctionsin full partial ultraclone of rank 2: dissertattion thesis candidate of physical and mathematical sciences: 01.01.09 - discrete mathematics and mathematical cybernetics

Badmaev S. A. (Sergei Alexandrovich)

Completeness criterionand closed classes of multifunctionsin full partial ultraclone of rank 2

Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK

Bashmakov, Stepan I., Башмаков, Степан И.

We study unification of formulas in multi-modal LTK logic and give a syntactic description of all

Разрешимость многомодальной линейной логики знания и времени LTK

Lukyanchuk, Alexandra N., Лукьянчук, Александра Н.

knowledge and time. We introduce multi-modal logics LT Kr and LT Kir containing modalities for knowledge

Specifics of the tasks by adjusting the parameters of the logical data analysis method

R, I Kuzmich, A, I Vinogradova

Specifics of the tasks by adjusting the parameters of the logical data analysis method

Interval Multi-agent Logic with Reliability Operator

Kiyatkin, Vladimir R., Rybakov, Vladimir V., Кияткин, Владимир Р., Рыбаков, Владимир В.

We study intransitive temporal multi-agent logic with agents’ multi-valuations for formulas letters

Two classes of τ-measurable operators affiliated with a von Neumann algebra

in measure τ) classes P1 and P2 of τ-measurable operators and investigate their properties. The class P2

Probability measure on conjugation logics

© 2014, Springer Basel. In the paper we describe probability measures on the conjugation logics

Страница 5 из 3500