Amanote Research

Amanote Research

    RegisterSign In

Formalization of the Pedagogical Model by the Language of Predicate Logic

doi 10.2991/iceder-19.2020.5
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2020

Authors
M V SleptsovaN V SokolovaL A ShamaninaI A Gubanova
Publisher

Atlantis Press


Related search

Formalization of the Program Reference Language.

1985English

Predicate Logic With Anaphora

Semantics and Linguistic Theory
1994English

Enhancement of Cloud Authorization System Using Predicate Logic

International Journal of Security and its Applications
Computer Science
2017English

Formalising Design Patterns in Predicate Logic

2007English

Generating Hard Tautologies Using Predicate Logic and the Symmetric Group

Logic Journal of the IGPL
Philosophy
2000English

Predicate Logic and Tree Automata With Tests

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Participles as Part of a Predicate in the Old-Russian Language

Филолог – часопис за језик књижевност и културу
2016English

The Reflection of a Person in a Language: Copula-Substantive Predicate

Bulletin of the Moscow State Regional University (Russian philology)
2017English

Description Formalization of the Components of Education Process Model

ScienceRise
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy