Výsledky vyhledávání - "mathematical logic and algorithm theory"

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

Autoři: Lyman, Fedir Mykolaiovych Лиман, Федір Миколайович Drushliak, Maryna Hryhorivna a další

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

Popis souboru: 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

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

Autoři: Faizrahmanov, M. Kh.

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

Témata: FAMILIES

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

Autoři: Tereshchuk, Serhii Sharov, Sergii Tereshchuk, Andriy a další

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

Témata: CRITICAL thinking, SECONDARY school students, EDUCATIONAL leadership, COVID-19 pandemic, QUANTUM theory

Unique Typed Basic Categorial Grammars.

Autoři: Vishnikin, M. E.

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

SHALVA PKHAKADZE - A BRIEF OVERVIEW OF HIS LIFE.

Autoři: Rukhaia, Khimuri Pkhakadze, Konstantine

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

Témata: MATHEMATICIANS, MATHEMATICAL notation, SEMANTICS, MATHEMATICAL logic, GEORGIAN language

Turing Degrees and Automorphism Groups of Substructure Lattices.

Autoři: Dimitrov, R. D. Harizanov, V. Morozov, A. S.

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

Témata: AUTOMORPHISM groups, GROUP theory, MODEL theory, ORDERED sets, VECTOR spaces, COMPUTABLE functions, BOOLEAN algebra

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

Autoři: Карпович, І. М.

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

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

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

INTRODUCTION TO CYBERNETICS

Autoři: AIR FORCE SYSTEMS COMMAND WRIGHT-PATTERSON AFB OH FOREIGN TECHNOLOGY DIVISION Glushkov, V M

Zdroj: DTIC AND NTIS

Témata: Computer Programming and Software, Computer Hardware, Bionics, CYBERNETICS, ALGORITHMS, AUTOMATA, AUTOMATION, COMPUTER PROGRAMMING, DIGITAL COMPUTERS, MATHEMATICAL LOGIC, SPECIAL FUNCTIONS(MATHEMATICS), THEORY, USSR, Text

URL: https://apps.dtic.mil/docs/citations/AD0633642

Ogden Property for Linear Displacement Context-Free Grammars.

Autoři: Sorokin, Alexey

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

Autoři: Faizrahmanov, M.

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

Témata: SEMILATTICES, COMBINATORIAL enumeration problems, MINIMAL surfaces, SET theory, ROGERS-Ramanujan identities

Generic Gӧdel's Incompleteness Theorem.

Autoři: Rybalov, A.

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

Témata: MATHEMATICS theorems, ARITHMETIC, SET theory, AXIOMS, ASYMPTOTIC efficiencies

From the Editor

Autoři: Željko Hutinski Mirko Malkoević

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

Témata: Information theory, Q350-390

Popis souboru: 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

Přístupová URL adresa: https://doaj.org/article/28a535f6945f401e97c042259b624fa5

The Lyndon property and uniform interpolation over the Grzegorczyk logic.

Autoři: Maksimova, L.

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

Témata: MATHEMATICAL forms, INTERPOLATION, INTERPOLATION spaces, INTUITIONISTIC mathematics, MODAL logic, MATHEMATICAL analysis

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

Autoři: Dinuls, Romans Erins, Gatis Lorencs, Aivars a další

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

Autoři: Grubiy, A.

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

Témata: ITERATIVE methods (Mathematics), LOGIC circuits, HASSE diagrams, ALGORITHMS, MATHEMATICAL models, MATHEMATICAL sequences

Sixty years of cybernetics.

Autoři: Zhuravlev, Yu. Gurevich, I.

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

Ant colony optimization algorithms for solving transportation problems.

Autoři: Kazharov, A. Kureichik, V.

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

Composition-nominative aspects of address programming.

Autoři: Nikitchenko, M.

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

Témata: COMPUTER programming, DATA structures, PROGRAMMING language semantics, COMPUTER logic, SOFTWARE compatibility

The property of having independent basis in semigroup varieties.

Autoři: Popov, V.

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

Témata: ALGEBRA, MATHEMATICAL analysis, ALGORITHMS, COMBINATORICS, EQUATIONS, FACTORS (Algebra)

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

Autoři: Podzorov, S. Yu.

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

Témata: SEMILATTICES, LATTICE theory, MATHEMATICS, ALGEBRA, LOGIC, RECURSIVELY enumerable sets