Search Results - (("mathematical logic and algorithm theory") OR ("matematika logic and algorithm theory"))*

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

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

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

File Description: 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

Availability: 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.

Authors: Faizrahmanov, M. Kh.

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

Subject Terms: FAMILIES

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

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

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

Subject Terms: CRITICAL thinking, SECONDARY school students, EDUCATIONAL leadership, COVID-19 pandemic, QUANTUM theory

Unique Typed Basic Categorial Grammars.

Authors: Vishnikin, M. E.

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

SHALVA PKHAKADZE - A BRIEF OVERVIEW OF HIS LIFE.

Authors: Rukhaia, Khimuri Pkhakadze, Konstantine

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

Subject Terms: MATHEMATICIANS, MATHEMATICAL notation, SEMANTICS, MATHEMATICAL logic, GEORGIAN language

Turing Degrees and Automorphism Groups of Substructure Lattices.

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

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

Subject Terms: 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

Authors: Seppo Pohjolainen Tuomas Myllykoski Christian Mercat et al.

Resource Type: eBook.

Subjects: 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'

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

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

File Description: 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". [Робочі програми]

Availability: http://ep3.nuwm.edu.ua/8357/

Ogden Property for Linear Displacement Context-Free Grammars.

Authors: Sorokin, Alexey

Source: 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.

Authors: Faizrahmanov, M.

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

Subject Terms: SEMILATTICES, COMBINATORIAL enumeration problems, MINIMAL surfaces, SET theory, ROGERS-Ramanujan identities

Generic Gӧdel's Incompleteness Theorem.

Authors: Rybalov, A.

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

Subject Terms: MATHEMATICS theorems, ARITHMETIC, SET theory, AXIOMS, ASYMPTOTIC efficiencies

From the Editor

Authors: Željko Hutinski Mirko Malkoević

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

Subject Terms: Information theory, Q350-390

File Description: 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

Access URL: https://doaj.org/article/28a535f6945f401e97c042259b624fa5

The Lyndon property and uniform interpolation over the Grzegorczyk logic.

Authors: Maksimova, L.

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

Subject Terms: MATHEMATICAL forms, INTERPOLATION, INTERPOLATION spaces, INTUITIONISTIC mathematics, MODAL logic, MATHEMATICAL analysis

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

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

Source: 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.

Authors: Grubiy, A.

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

Subject Terms: ITERATIVE methods (Mathematics), LOGIC circuits, HASSE diagrams, ALGORITHMS, MATHEMATICAL models, MATHEMATICAL sequences

Sixty years of cybernetics.

Authors: Zhuravlev, Yu. Gurevich, I.

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

Ant colony optimization algorithms for solving transportation problems.

Authors: Kazharov, A. Kureichik, V.

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

Composition-nominative aspects of address programming.

Authors: Nikitchenko, M.

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

Subject Terms: COMPUTER programming, DATA structures, PROGRAMMING language semantics, COMPUTER logic, SOFTWARE compatibility

The property of having independent basis in semigroup varieties.

Authors: Popov, V.

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

Subject Terms: ALGEBRA, MATHEMATICAL analysis, ALGORITHMS, COMBINATORICS, EQUATIONS, FACTORS (Algebra)

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

Authors: Podzorov, S. Yu.

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

Subject Terms: SEMILATTICES, LATTICE theory, MATHEMATICS, ALGEBRA, LOGIC, RECURSIVELY enumerable sets