Search results for "Mathematical logic"

showing 10 items of 394 documents

The orthodox liturgical year and its theological structure

2022

The concept of ‘liturgical year’ indicates a reference to the meaning of the measuring units of civil time, and especially to the cosmic entities that determine the general rhythm of time – the sun and the moon. Interestingly, the liturgical time depends both on the structure of civil time, and, on the two discrete systems of the solar and lunar cycles, which have always been underpinnings of time measuring. The special importance and influence that the cosmical rhythms exert on the entire human life are also felt in the structure and theology of the liturgical time, where it signals the attempt to merge and reconcile the cosmical solar and lunar cycles within the liturgical year. This lead…

feastHistoryliturgicsmedia_common.quotation_subjectBS1-2970OrthodoxychronosPractical TheologyLunar CycleKairoscalendaranthropologyMeaning (existential)kairosTheologymedia_commonliturgical timeStructure (mathematical logic)orthodoxyPerspective (graphical)Religious studiesLiturgicsBV1-5099The Bibleliturgical time; orthodoxy; liturgics; anthropology; feast; calendar; Chronos; Kairos.Merge (linguistics)HTS Teologiese Studies/Theological Studies
researchProduct

Introduction to Mathematical Logic (Edition 2017)

2017

Hyper-textbook for students in mathematical logic, Edition 2017

first order logiclogicresolution methodpredicate logicMathematicsofComputing_GENERALresolutionintuitionistic logicHerbrand theorempropositional logicmodel theoryconstructive logicData_FILESComputingMilieux_COMPUTERSANDEDUCATIONnormal formsmathematical logicHardware_ARITHMETICANDLOGICSTRUCTUREScompleteness theorem
researchProduct

What is Mathematics: Gödel's Theorem and Around (Edition 2015)

2015

Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2015.

foundations of mathematics:MATHEMATICS [Research Subject Categories]MathematicsofComputing_GENERALComputingMilieux_COMPUTERSANDEDUCATIONincompleteness theoremsmathematical logicaxiomatic set theoryHilbert's Tenth problemfirst order arithmetic
researchProduct

What is Mathematics: Gödel's Theorem and Around (Edition 2013)

2013

Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2013. ATTENTION! New Edition 2015 available at https://dspace.lu.lv/dspace/handle/7/5306.

foundations of mathematicsincompleteness theoremmathematical logicGödelGoedel
researchProduct

Gestalt/Gestalt Theory

2020

Gestalt is a concept introduced to solve the problems of unity, connection and order that objects manifest in experience. Philosophers trained at Franz Brentano’s teaching began to work on it to address epistemological and ontological questions about perception, cognition and the structure of objects. This work was seminal for Gestalt psychology, from the research of the Graz and Berlin Schools, carried on by Cesare Musatti, Fabio Metelli, Gaetano Kanizsa, Paolo Bozzi in Padua and Trieste, Albert Michotte and Paul Fraisse in Louvain, to that of Edgar Rubin and David Katz, but also of Karl Buhler, Egon Brunswik and Ludwig Kardos in Wien. Common is the tenet that the world looks as neither a …

gestalt perception mereology phenomenologySettore M-PSI/01 - Psicologia GeneraleStructure (mathematical logic)PsychoanalysisContinuum (measurement)Philosophymedia_common.quotation_subjectSettore M-FIL/02 - Logica E Filosofia Della ScienzaPerceptionSettore M-FIL/04 - EsteticaGestalt psychologySet (psychology)Order (virtue)media_common
researchProduct

Effects of menu structure and touch screen scrolling style on the variability of glance durations during in-vehicle visual search tasks.

2011

The effects of alternative navigation device display features on drivers' visual sampling efficiency while searching forpoints of interest were studied in two driving simulation experiments with 40 participants. Given that the number of display items was sufficient, display features that facilitate resumption of visual search following interruptions were expected to lead to more consistent in-vehicle glance durations. As predicted, compared with a grid-style menu, searching information in a list-style menu while driving led to smaller variance in durations of in-vehicle glances, in particular with nine item displays. Kinetic touch screen scrolling induced a greater number of very short in-v…

in-vehicle information systemAdultMaleEngineeringAutomobile DrivingVisual perceptionresumabilityInformationSystems_INFORMATIONINTERFACESANDPRESENTATION(e.g.HCI)Poison controlPhysical Therapy Sports Therapy and RehabilitationHuman Factors and Ergonomicsinterrupted visual searchajoneuvotietojärjestelmänäyttöStyle (sociolinguistics)User-Computer InterfaceYoung AdultInformation display systemsDistractionHumansComputer visionAttentionComputer Simulationta113Visual searchStructure (mathematical logic)Analysis of Variancebusiness.industryhäiriövaikutusvisual sampling strategydisplaykeskeytetty visuaalinen hakuScrollingData DisplayGeographic Information SystemsFemaleArtificial intelligencebusinesstiedon poimintastrategiadistractionErgonomics
researchProduct

TOWARDS AN ADVANCED CONSERVATION STRATEGY: A STRUCTURED DATABASE for SHARING 3D DOCUMENTATION between EXPERT USERS

2019

Abstract. Nowadays, the researchers in Cultural Heritage fields investigate more and more about advanced conservation strategies that comprehend the possibility to share and use 3D models and structured information related to them. One of the modern method adopted to achieve this goal is to use structured web-platform. These are online systems that can handle data, created to contain and support precise information. They simultaneously respond to the need for a common ground for different expert users and of a unique tool where to store several kinds of data, coming from heterogeneous sources. The article aims to show how it is possible to build a valid tool for the conservation and monitor…

lcsh:Applied optics. PhotonicsComputer science0211 other engineering and technologiesLegislation02 engineering and technologyConservationWeb Databasecomputer.software_genreCDE; Conservation; Digitalisation; Unesco Sites; Valorisation; Web Databaselcsh:TechnologyField (computer science)Documentation0601 history and archaeologyStructure (mathematical logic)060102 archaeologyDatabaselcsh:Tlcsh:TA1501-1820021107 urban & regional planning06 humanities and the artsCultural heritageDigitalisationlcsh:TA1-2040Unesco Siteslcsh:Engineering (General). Civil engineering (General)computerValorisationCDE
researchProduct

Software/Hardware Issues in Modelling Insect Brain Architecture

2011

The concept of cognitive abilities is commonly associated to humans and animals like mammals, birds and others. Nevertheless, in the last years several research groups have intensified the studies on insects that posses a much simpler brain structure even if they are able to show interesting memory and learning capabilities. In this paper a survey on some key results obtained in a joint research activity among Engineers and Neurogeneticians is reported. They were focussed toward the design and implementation of a model of the insect brain inspired by the Drosophila melanogaster. Particular attention was paid to the main neural centers the Mushroom Bodies and the Central Complex. Moreover a …

melanogasterStructure (mathematical logic)Engineeringhybrid robotbusiness.industryController (computing)Insect brain; Drosophila; melanogaster; hybrid robot; dynamic simulationinsect brainCognitionDrosophila melanogasterSoftwareEmbodied cognitionKey (cryptography)RobotDrosophiladynamic simulationArchitecturebusinessComputer hardwareinsect brain; hybrid robot; Insect brain Drosophila melanogaster
researchProduct

Analysis of the psicometric properties of a multiplication and division processes assessment scale

2019

Esta comunicación se encuentra disponible en la siguiente URL: http://www.infad.eu/RevistaINFAD/OJS/index.php/IJODAEP/article/view/1464/1321 Este número está dedicado a la "Psicología de la Educación y Saberes Originarios". The domain of multiplication and division operations depends on both algorithm management and the ability to identify the semantic structure of the problem and to translate it into mathematical language. Many students present difficulties in identifying the semantic structure of the problem but not applying the algorithm when the problem is presented numericaly. The aim of the study is to validate an assessment tool of the processes involved in multiplication and divisio…

multiplicationword problemStructure (mathematical logic)Matemáticas - Problemas y ejercicios.Algorithms - Problems exercises etc.algorithmComputer sciencelcsh:BF1-990Language of mathematicsDivision (mathematics)Domain (software engineering)Algebra - Problems exercises etc.Identification (information)lcsh:PsychologyMathematics - Problems exercises etc.mistakesAlgoritmos - Problemas y ejercicios.divisionMultiplicationÁlgebra - Problemas y ejercicios.ArithmeticError detection and correctionReliability (statistics)
researchProduct

On the viability of an algebraic approach to non-monotonic reasoning

1996

non monotonic reasoning revisable reasoning incompatibilityLògica matemàtica:03 Mathematical logic and foundations::03B General logic [Classificació AMS]Settore INF/01 - InformaticaNon-monotonic reasoningLogicReasoning
researchProduct