Suchergebnisse - (("mathematical logic and algorithm theory") OR ("mathematik logic and algorithm theory"))~

Формування логічної грамотності майбутніх учителів математики як важливої складової їх професійної підготовки ; Formation of Logical Literacy of Future Mathematics Teachers as an Important Component of Their Professional Training

Autoren: Lyman, Fedir Mykolaiovych Лиман, Федір Миколайович Drushliak, Maryna Hryhorivna et al.

Schlagwörter: логічна грамотність, логічні знання та вміння, майбутні вчителі математики, математична логіка і теорія алгоритмів, logical literacy, logical knowledge and skills, future mathematics teachers, mathematical logic and algorithm theory

Dateibeschreibung: application/pdf

Relation: Лиман, Ф. М. Формування логічної грамотності майбутніх учителів математики як важливої складової їх професійної підготовки [Текст] / Ф. М. Лиман, М. Г. Друшляк, Т. Д. Лукашова // Фізико-математична освіта : науковий журнал / Міністерство освіти і науки України, Сумський державний педагогічний університет імені А. С. Макаренка, Фізико-математичний факультет; [редкол.: М. П. Вовк, М. Гр. Воскоглу, Т. Г. Дерека та ін.]. – Суми : [СумДПУ імені А. С. Макаренка], 2019. – Вип. 2 (20). – С. 72–79.; http://repository.sspu.sumy.ua/handle/123456789/7616; orcid:0000-0001-7445-8514; 000-0002-9648-2248; orcid:0000-0002-1465-9530

Verfügbarkeit: http://repository.sspu.sumy.ua/handle/123456789/7616
https://doi.org/10.31110/2413-1571-2019-020-2-012

A Family with a Single Minimal but Not Least Numbering.

Autoren: Faizrahmanov, M. Kh.

Quelle: Siberian Mathematical Journal; Mar2024, Vol. 65 Issue 2, p381-391, 11p

Schlagwörter: FAMILIES

Critical thinking and hypothetic-deductive scheme for studying the elements of quantum theory.

Autoren: Tereshchuk, Serhii Sharov, Sergii Tereshchuk, Andriy et al.

Quelle: International Journal of Evaluation & Research in Education; Sep2023, Vol. 12 Issue 3, p1497-1506, 10p

Schlagwörter: CRITICAL thinking, SECONDARY school students, EDUCATIONAL leadership, COVID-19 pandemic, QUANTUM theory

Unique Typed Basic Categorial Grammars.

Autoren: Vishnikin, M. E.

Quelle: Moscow University Mathematics Bulletin; Apr2022, Vol. 77 Issue 2, p93-96, 4p

SHALVA PKHAKADZE - A BRIEF OVERVIEW OF HIS LIFE.

Autoren: Rukhaia, Khimuri Pkhakadze, Konstantine

Quelle: Applied Mathematics, Informatics & Mechanics; 2020, Vol. 25 Issue 2, p9-30, 22p

Schlagwörter: MATHEMATICIANS, MATHEMATICAL notation, SEMANTICS, MATHEMATICAL logic, GEORGIAN language

Turing Degrees and Automorphism Groups of Substructure Lattices.

Autoren: Dimitrov, R. D. Harizanov, V. Morozov, A. S.

Quelle: Algebra & Logic; 2020, Vol. 59 Issue 1, p18-32, 15p

Schlagwörter: AUTOMORPHISM groups, GROUP theory, MODEL theory, ORDERED sets, VECTOR spaces, COMPUTABLE functions, BOOLEAN algebra

Modern Mathematics Education for Engineering Curricula in Europe : A Comparative Analysis of EU, Russia, Georgia and Armenia

Autoren: Seppo Pohjolainen Tuomas Myllykoski Christian Mercat et al.

Resource Type: eBook.

Schlagworte: Mathematics--Study and teaching

Categories: EDUCATION / Teaching / Subjects / Mathematics

Робоча програма навчальної дисципліни “Математична логіка та теорія алгоритмів” для студентів спеціальності 126 ”Інформаційні системи та технології”. WORK PROGRAM EDUCATIONAL DISCIPLINE 'Mathematical Logic and Theory of Algorithms' Specialty 126 'Information Systems and Technologies'

Autoren: Карпович, І. М.

Schlagwörter: 12 Інформаційні технології, 126 Інформаційні системи і технології

Dateibeschreibung: text

Relation: http://ep3.nuwm.edu.ua/8357/1/04-05-12.pdf; 04-05-12 Карпович, І. М. (2018) Робоча програма навчальної дисципліни “Математична логіка та теорія алгоритмів” для студентів спеціальності 126 ”Інформаційні системи та технології”. WORK PROGRAM EDUCATIONAL DISCIPLINE "Mathematical Logic and Theory of Algorithms" Specialty 126 "Information Systems and Technologies". [Робочі програми]

Verfügbarkeit: http://ep3.nuwm.edu.ua/8357/

Ogden Property for Linear Displacement Context-Free Grammars.

Autoren: Sorokin, Alexey

Quelle: Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings; 2016, p376-391, 16p

The Rogers Semilattices of Generalized Computable Enumerations.

Autoren: Faizrahmanov, M.

Quelle: Siberian Mathematical Journal; Nov2017, Vol. 58 Issue 6, p1104-1110, 7p

Schlagwörter: SEMILATTICES, COMBINATORIAL enumeration problems, MINIMAL surfaces, SET theory, ROGERS-Ramanujan identities

Generic Gӧdel's Incompleteness Theorem.

Autoren: Rybalov, A.

Quelle: Algebra & Logic; Jul2017, Vol. 56 Issue 3, p232-235, 4p

Schlagwörter: MATHEMATICS theorems, ARITHMETIC, SET theory, AXIOMS, ASYMPTOTIC efficiencies

From the Editor

Autoren: Željko Hutinski Mirko Malkoević

Quelle: Journal of Information and Organizational Sciences, Vol 29, Iss 2 (2012)

Schlagwörter: Information theory, Q350-390

Dateibeschreibung: electronic resource

Relation: http://jios.foi.hr/index.php/jios/article/view/237; https://doaj.org/toc/1846-3312; https://doaj.org/toc/1846-9418

Zugangs-URL: https://doaj.org/article/28a535f6945f401e97c042259b624fa5

The Lyndon property and uniform interpolation over the Grzegorczyk logic.

Autoren: Maksimova, L.

Quelle: Siberian Mathematical Journal; Jan2014, Vol. 55 Issue 1, p118-124, 7p

Schlagwörter: MATHEMATICAL forms, INTERPOLATION, INTERPOLATION spaces, INTUITIONISTIC mathematics, MODAL logic, MATHEMATICAL analysis

Tree Species Identification in Mixed Baltic Forest Using LiDAR and Multispectral Data.

Autoren: Dinuls, Romans Erins, Gatis Lorencs, Aivars et al.

Quelle: IEEE Journal of Selected Topics in Applied Earth Observations & Remote Sensing; Jun2012, Vol. 5 Issue 2, p594-603, 10p

Automaton implementations of the process of generating a Collatz sequence.

Autoren: Grubiy, A.

Quelle: Cybernetics & Systems Analysis; Jan2012, Vol. 48 Issue 1, p108-116, 9p

Schlagwörter: ITERATIVE methods (Mathematics), LOGIC circuits, HASSE diagrams, ALGORITHMS, MATHEMATICAL models, MATHEMATICAL sequences

Sixty years of cybernetics.

Autoren: Zhuravlev, Yu. Gurevich, I.

Quelle: Pattern Recognition & Image Analysis; Mar2010, Vol. 20 Issue 1, p1-20, 20p

Ant colony optimization algorithms for solving transportation problems.

Autoren: Kazharov, A. Kureichik, V.

Quelle: Journal of Computer & Systems Sciences International; Feb2010, Vol. 49 Issue 1, p30-43, 14p

Composition-nominative aspects of address programming.

Autoren: Nikitchenko, M.

Quelle: Cybernetics & Systems Analysis; Nov2009, Vol. 45 Issue 6, p864-874, 11p, 4 Diagrams

Schlagwörter: COMPUTER programming, DATA structures, PROGRAMMING language semantics, COMPUTER logic, SOFTWARE compatibility

The property of having independent basis in semigroup varieties.

Autoren: Popov, V.

Quelle: Algebra & Logic; Jan2005, Vol. 44 Issue 1, p46-54, 9p

Schlagwörter: ALGEBRA, MATHEMATICAL analysis, ALGORITHMS, COMBINATORICS, EQUATIONS, FACTORS (Algebra)

Initial Segments in Rogers Semilattices of $\backslash Sigma^0\_n$-Computable Numberings.

Autoren: Podzorov, S. Yu.

Quelle: Algebra & Logic; Mar/Apr2003, Vol. 42 Issue 2, p121-129, 9p

Schlagwörter: SEMILATTICES, LATTICE theory, MATHEMATICS, ALGEBRA, LOGIC, RECURSIVELY enumerable sets