Search results for "MATHEMATICS"
showing 10 items of 22031 documents
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
2023
We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of "is defined" is extended to terms and formulas via a straightforward recursive algorithm. The "is defined" formulas are constructed so that they themselves are always defined. The completeness proof relies on the Henkin construction. For each formula, precisely one of the formula, its negation, and the negation of its "is defined" formula is true on the constructed model. Many other ternary logics in the literature can be reduced to ours. Partial functions …
Adolescent Health Literacy and Neighbourhood Features: HBSC Findings from Czech Republic, Poland, and Slovakia
2021
The role of supportive environments on health, wellbeing, and longevity has been widely recognized. However, there is no strong empirical evidence on the association between health literacy (HL) as a particular health-related competence and neighbourhoods. Therefore, the aim of the study was to assess the association between the features of neighbourhoods and the level of HL competencies of young people from three countries (Czech Republic, Poland, Slovakia). Self-reported data from an international sample of 11,521 students aged 13–15 years participating in the Health Behaviour in School-aged Children Study (HBSC) in the year 2018 were included in the analyses. The level of HL shows a stro…
Matemātikas mācību grāmatas Zahlenbuch 4 iespējas studentu komunikācijas prasmju attīstībā
2022
Globalizācija, cita starpā, ir likusi mūsu pasaulei kļūt arvien nestabilākai un padarīt nākotni grūti prognozējamu. Tādējādi daudzas organizācijas un pētnieki aicina pielāgot izglītību, lai labāk sagatavotu skolēnus nākotnei, attīstot 21. gadsimta prasmes. Viena no svarīgākajām prasmēm, kuras izglītojamie attīsta, ir komunikācijas prasmes. Ņemot vērā, ka prasmes jāattīsta visos mācību priekšmetos, šī pētījuma mērķis ir noskaidrot, cik lielā mērā matemātikas mācību grāmata Zahlenbuch 4 sniedz skolēniem iespējas attīstīt komunikācijas prasmes.
An Autonomous System to Take Angular Thermal-Infrared Measurements for Validating Satellite Products
2015
An autonomous system for field land surface temperature (LST) measurements taken at different observation angles was developed to be deployed easily at any conventional meteorological tower station. The system permits ground-truth data to be acquired on a continuous basis, and angularly scans land and sky hemispheres with a single thermal-infrared (TIR) radiometer. This paper describes the autonomous angular system and the methodology to assess ground-truth LST and relative-to-nadir emissivity data from system measurements. Ground-truth LSTs were used to validate satellite-retrieved LST products at two experimental sites (rice crop and shrubland areas). The relative-to-nadir emissivity valu…
La transición de Educación Primaria a Educación Secundaria Obligatoria: sentido y significado del uso de recursos y espacios digitales
2019
espanolEl cambio de la Educacion Primaria a la Educacion Secundaria Obligatoria supone el trasvase de informacion y la colaboracion entre centros para realizar acciones conjuntas que faciliten el proceso de transicion y aprovechen el potencial de aprendizaje que ofrece el cambio. Las Tecnologias de la Informacion y la Comunicacion tienen un papel destacado en este proceso de cambio, ya que suponen un medio que facilita la comunicacion e intervencion entre centros, entre familias y entre estudiantes. El proposito fundamental es analizar el grado en que estas son consideradas como beneficiosas en el proceso de gestion del transito de la Primaria a la Secundaria respecto a las tareas de trasva…
Radical Besinnung in Formale und transzendentale Logik (1929)
2018
This paper explicates Husserl’s usage of what he calls “radical Besinnung” in Formale und transzendentale Logik (1929). Husserl introduces radical Besinnung as his method in the introduction to FTL. Radical Besinnung aims at criticizing the practice of formal sciences by means of transcendental phenomenological clarification of its aims and presuppositions. By showing how Husserl applies this method to the history of formal sciences down to mathematicians’ work in his time, the paper explains in detail the relationship between historical critical Besinnung and transcendental phenomenology. Ultimately the paper suggests that radical Besinnung should be viewed as a general methodological fram…
A Study on the Assessment of Introductory Computational Thinking via Scratch Programming in Primary Schools
2018
Computational thinking (CT), a transversal intellectual foundation integral to computer science, is making its way into compulsory comprehensive education worldwide. Students are expected to attain skills and knowledge in such interdisciplinary CT principles as Algorithmic thinking, Data representation, and Debugging. Problem-solving by designing and manipulating interactive media with Scratch, a graphical programming tool, is popular especially at the primary school level. However, there has been confusion regarding how introductory CT can be operationalized for educational practice. Teachers and students need research-based knowledge for setting appropriate learning goals in addition to i…
Arithmetic, Logic, Syntax and MathCheck
2019
MathCheck is a web-based tool for checking all steps of solutions to mathematics, logic and theoretical computer science problems, instead of checking just the final answers. It can currently deal with seven problem types related to arithmetic, logic, and syntax. Although MathCheck does have some ability to perform symbolic computation, checking is mostly based on testing with many combinations of the values of the variables in question. This introduces a small risk of failure of detection of errors, but also significantly widens the scope of problems that can be dealt with and facilitates providing a concrete counter-example when the student’s solution is incorrect. So MathCheck is primari…
From South to North? Mobility of Southern Italian Students at the Transition from the First to the Second Level University Degree
2018
In the last decades, the Italian University System has encountered several structural reforms aimed at making it more internationally competitive. Among them, the introduction of the University financial autonomy has triggered an “internal” competition among Universities to attract students from the entire country. Students’ enrollment at the first level has decreased significantly especially after the economic crisis of 2008, while the students’ migration from the South to the Central and Northern regions of the country has increased. These phenomena have created further inequalities within the country and a cultural and socio-economic loss for the South that does not appear to slow down. …
Time-like Proton Form Factors with Initial State Radiation Technique
2022
Electromagnetic form factors are fundamental quantities describing the internal structure of hadrons. They can be measured with scattering processes in the space-like region and annihilation processes in the time-like region. The two regions are connected by crossing symmetry. The measurements of the proton electromagnetic form factors in the time-like region using the initial state radiation technique are reviewed. Recent experimental studies have shown that initial state radiation processes at high luminosity electron-positron colliders can be effectively used to probe the electromagnetic structure of hadrons. The BABAR experiment at the B-factory PEP-II in Stanford and the BESIII experim…