Результати пошуку

Рекомендовані теми у межах Вашого пошуку.
  • Показ 1 - 17 результатів із 17
Уточнити результати
  1. 1
    Зображення обкладинки

    Algebras of quasiary and of bi-quasiary relations за авторством Nikitchenko, M.S., Shkilniak, S.S.

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

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

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

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

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

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

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

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

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    Semantic properties of five-valued logics за авторством Nikitchenko, M.S., Shyshatska, E.V.

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

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

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

    Tasks for information security risks management in making-decision process за авторством Rodin, Y.S.

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

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

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  10. 10
    Зображення обкладинки

    Method of information and analytical support for information security risk management of information systems за авторством Rodin, Y.S.

    Опубліковано 2019
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  11. 11
    Зображення обкладинки

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

    Опубліковано 2019
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  12. 12
    Зображення обкладинки

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

    Опубліковано 2019
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  13. 13
    Зображення обкладинки

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

    Опубліковано 2019
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  14. 14
    Зображення обкладинки

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

    Опубліковано 2019
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  15. 15
    Зображення обкладинки

    Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

    Опубліковано 2020
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  16. 16
    Зображення обкладинки

    First-order sequent calculi of logics of quasiary predicates with extended renominations and equality за авторством Shkilniak, О.S., Shkilniak, S.S.

    Опубліковано 2023
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  17. 17
    Зображення обкладинки

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

    Опубліковано 2025
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

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