Результати пошуку - "UDC 004.42" :: Harvester open publications of NAS Ukraine

Рекомендовані теми у межах Вашого пошуку. Рекомендовані теми у межах Вашого пошуку.

UDC 004.42:510.69 17
УДК 004.42:510.69 17
logic 13
логічний наслідок 13
logical consequence 12
логика 12
логіка 12
логическое следствие 11
предикат 7
6
predicate 6
partial predicate 5
секвенційне числення 5
частковий предикат 5
algebra 4
semantics 4
УДК 004.42 4
алгебра 4
секвенциальное исчисление 4
семантика 4
UDC 004.42 3
equality 3
non-deterministic predicate 3
sequent calculus 3
недетерминированный предикат 3
недетермінований предикат 3
равенство 3
частичный предикат 3
composition 2
композиция 2

Development of Web-prototype for analysis of statements in social network Twitter за авторством Glybovets, A.M., Hontar, M.A.

Сoordinated description of algorithms within the framework of algebraic vehicle за авторством Akulovskiy, V.G., Doroshenko, A.Yu.

Algebra for the description of data in the composite schemes of algorithms за авторством Akulovskiy, V.G.

First-order composition-nominative logics with generalized renominations за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Spectrum of sequential number pershopordinal compositional-nominative logics за авторством Shkilnyak, S.S.

Special relations of logical consequence in logics of quasi-ary predicates за авторством Shkilniak, S.S.

Logical consequence relations in logics of quasiary predicates за авторством Shkilniak, O.S.

Logical consequence relations in logics of monotone predicates and logics of antitone predicates за авторством Shkilniak, O.S.

First-order composition-nominative logics with predicates of weak equality and of strong equality за авторством Shkilniak, S.S.

First-order logics with partial predicates for checking variable definedness за авторством Shkilniak, S.S.

Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Algebras of general non-deterministic predicates за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Pure first-order quasiary logics with equality predicates за авторством Nikitchenko, M.S., Shkilniak, S.S.

Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Composition nominative modal logics of partial non-monotone predicates and their calculi за авторством Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.

Propositional logics of partial predicates with composition of predicate complement за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools за авторством Shkilniak, O.S.

Relations of logical consequence in logics of partial predicates with composition of predicate complement за авторством Shkilniak, O.S.

Module-based scientific physics engine architecture за авторством Bernatovych, A.A., Stetsenko, I.V.

Composition-nominative logics of free-quantifier levels за авторством Shkilniak, S.S., Volkovytskyi, D.B.

Результати пошуку - "UDC 004.42"

Development of Web-prototype for analysis of statements in social network Twitter за авторством Glybovets, A.M., Hontar, M.A.

Сoordinated description of algorithms within the framework of algebraic vehicle за авторством Akulovskiy, V.G., Doroshenko, A.Yu.

Algebra for the description of data in the composite schemes of algorithms за авторством Akulovskiy, V.G.

First-order composition-nominative logics with generalized renominations за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Spectrum of sequential number pershopordinal compositional-nominative logics за авторством Shkilnyak, S.S.

Special relations of logical consequence in logics of quasi-ary predicates за авторством Shkilniak, S.S.

Logical consequence relations in logics of quasiary predicates за авторством Shkilniak, O.S.

Logical consequence relations in logics of monotone predicates and logics of antitone predicates за авторством Shkilniak, O.S.

First-order composition-nominative logics with predicates of weak equality and of strong equality за авторством Shkilniak, S.S.

First-order logics with partial predicates for checking variable definedness за авторством Shkilniak, S.S.

Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Algebras of general non-deterministic predicates за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Pure first-order quasiary logics with equality predicates за авторством Nikitchenko, M.S., Shkilniak, S.S.

Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Composition nominative modal logics of partial non-monotone predicates and their calculi за авторством Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.

Propositional logics of partial predicates with composition of predicate complement за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools за авторством Shkilniak, O.S.

Relations of logical consequence in logics of partial predicates with composition of predicate complement за авторством Shkilniak, O.S.

Module-based scientific physics engine architecture за авторством Bernatovych, A.A., Stetsenko, I.V.

Composition-nominative logics of free-quantifier levels за авторством Shkilniak, S.S., Volkovytskyi, D.B.

Інструменти для пошуку:

Уточнити результати

Репозитарії

Формат

Автор

Мова

Рік публікації