Search results for " Mathematica"
showing 10 items of 689 documents
Introduction to Mathematical Logic, Edition 2021
2021
Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux and resolution methods. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).
Análisis de los antecedentes histórico-filosóficos de la "paradoja cognitiva de Duval"
2015
In a famous article published in 1993, Raymond Duval highlighted a simple fact: the student may confuse the mathematical object O he is trying to build cognitively with one of its semiotic representations R(O). Duval explained that this confusion was due to a sort of inevitable paradox: only someone who has already built O, can recognize R(O) as a representation of O and not as an object in itself. Thereafter, this thought has been extremely influential for researchers. However, even if in different terms, many scholars of semiotics have emphasized the same phenomenon. In this paper we propose to remind some of them. En un famoso artículo publicado en 1993, Raymond Duval evidenciaba el sigu…
Evaluation of biogas production and usage potential
2016
The aim of the research is the development of theoretical and methodical bases for determining the feasibility of plant raw materials growing for its further bioconversion into energy resources and tec hnological materials to maximize profit from business activities. Monograph, statistics, modelling and abstract logical methods have been used during the research. Directions of biogas usage have been examined. Biogas yields from different crops have been analyzed. It has been determined that high methane yields can be provided from root crops, grain crops, and several green forage plants. So, forage beet and maize can provide more than 5,500 m3 of biogas per hectare. Attention is paid to the…
The ALICE experiment at the CERN LHC
2008
Journal of Instrumentation 3(08), S08002 (2008). doi:10.1088/1748-0221/3/08/S08002
Decoupled control scheme of grid-connected split-source inverters
2017
Grid-connected power conversion systems for renewable energy sources must fulfill several requirements, e.g., the high efficiency, the reduced cost and complexity, and, quite often, the boost capabilities that is usually achieved using a front-end dc–dc boost converter before the inversion stage, leading to a two-stage architecture. Meanwhile, single-stage power conversion systems, which perform the boosting operation within the inversion one, offer some potential advantages, in terms of reducing the complexity and the volume of the whole system. Among several proposed options, the split-source inverter (SSI) has been recently proposed by Abdelhakim et al. as an alternative option with some…
Wyzwalanie dziecięcej aktywności matematycznej w trakcie rozwiązywania zadań
2018
Aktywność ucznia ma ogromne znaczenie w kształtowaniu i rozwijaniu abstrakcyjnych pojęć matematycznych. Jednak aktywność ta nie powinna ograniczać się jedynie do aktywności zewnętrznej, często jedynie pozornej, ale przede wszystkim powinna być to aktywność umysłowa ucznia. Zachowania i postawy specyficzne dla aktywności matematycznej można bowiem rozwijać u ucznia jedynie w toku jego aktywności poznawczej (intelektualnej). W opracowaniu podjęto próbę ukazania możliwości stymulowania i rozwijania oraz przejawy aktywności matematycznej uczniów w wieku wczesnoszkolnym w trakcie rozwiązywania zadań.
Алгебра и дискретная математика
1986
Сборник содержит результаты исследований по теоретической кибернетике и алгебре, предназначен для научных работников и аспирантов, работающих в области алгебры и теории автоматов. Часть работ связана с приложениями алгебры.
Алгебра и дискретная математика: прикладные вопросы информатики
1989
Сборник содержит результаты исследований в области информатики, прикладной алгебры и дискретной математики.
Beam-induced and cosmic-ray backgrounds observed in the ATLAS detector during the LHC 2012 proton-proton running period
2016
This paper discusses various observations on beam-induced and cosmic-ray backgrounds in the ATLAS detector during the LHC 2012 proton-proton run. Building on published results based on 2011 data, the correlations between background and residual pressure of the beam vacuum are revisited. Ghost charge evolution over 2012 and its role for backgrounds are evaluated. New methods to monitor ghost charge with beam-gas rates are presented and observations of LHC abort gap population by ghost charge are discussed in detail. Fake jets from colliding bunches and from ghost charge are analysed with improved methods, showing that ghost charge in individual radio-frequency buckets of the LHC can be resol…
Высшая математика
1920
Teksta litogrāfija, matemātiskās formulas rakstītas ar roku.