Search results for "Logic"

showing 9 items of 33629 documents

Évaluer un document numérique : Principes et méthodes

2010

International audience; Lors d'une démarche d'évaluation, il est nécessaire de définir ce que l'on souhaite évaluer. Pour cela, il convient de considérer que l'utilisation d'un document numérique se situe dans le contexte d'une activité menée par l'intermédiaire d'un dispositif technique. L'utilisateur se trouve donc exposé à une double contrainte, celle de devoir trouver des informations, intégrer des connaissances nouvelles sur un domaine donné, résoudre un problème, et pour ce faire, utiliser, en même temps, un dispositif technique (un document numérique développé à cet effet). On comprend que cette double contrainte et cette structure de buts vont rendre ce type de …

évaluation ergonomiqueÉvaluation de documents numériquesévaluation par inspection[SHS.INFO]Humanities and Social Sciences/Library and information sciencestests utilisateurs[SCCO.COMP]Cognitive science/Computer sciencequestionnairesévaluation de logicielsergonomieaudit de logiciels[SHS.INFO] Humanities and Social Sciences/Library and information sciences[SCCO.COMP] Cognitive science/Computer science[ SCCO.COMP ] Cognitive science/Computer science[ SHS.INFO ] Humanities and Social Sciences/Library and information sciencesentretiensobservation participanteméthodes d'évaluationcritères de qualité ergonomique
researchProduct

Sammlung offizineller Pflanzen

1828

Izdevums bez titullapas, autors-ilustrators A. Henry uzrādīts tikai uz grāmatas iesējuma muguriņas. Augu nosaukumi pie attēliem doti tikai latīņu valodā.

Ārstniecības augi:MEDICINE::Physiology and pharmacology::Pharmacological research::Pharmacology [Research Subject Categories]Botānika medicīniskāPlantae medicinale:NATURAL SCIENCES::Biology::Organism biology [Research Subject Categories]Medical plantAugi ārstniecībasBotany medical
researchProduct

On the Amount of Nonconstructivity in Learning Recursive Functions

2011

Nonconstructive proofs are a powerful mechanism in mathematics. Furthermore, nonconstructive computations by various types of machines and automata have been considered by e.g., Karp and Lipton [17] and Freivalds [11]. They allow to regard more complicated algorithms from the viewpoint of much more primitive computational devices. The amount of nonconstructivity is a quantitative characterization of the distance between types of computational devices with respect to solving a specific problem. In the present paper, the amount of nonconstructivity in learning of recursive functions is studied. Different learning types are compared with respect to the amount of nonconstructivity needed to lea…

μ operatorClass (set theory)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoretical computer sciencePrimitive recursive functionData_CODINGANDINFORMATIONTHEORYInductive reasoningMathematical proofUpper and lower boundsAlgorithmμ-recursive functionAutomatonMathematics
researchProduct

Book reviews: P. Cheyne, A. Hamilton, M. Paddison (eds.). Philosophy of Rhythm: Aesthetics, Music, Poetics. New York: Oxford University Press, 2019

2021

Гамильтон ЭндиПаддисон МаксMusic-Psychological aspectsMusikCheyne P .Musical meter and rhythmPhilosophieЧейн ПитерPaddison M.Hamilton A.Rhythmus:HUMANITIES and RELIGION::Aesthetic subjects::Music [Research Subject Categories]MusicMusical perception
researchProduct

LEBENSWELT ALS PRAKTISCHER HORIZONT

2017

СтатьяпредставляетоценкугуссерлевскогопонятияLebensweltнаосновеегопозднихрукописей, посвященныхгенетическомуанализу. Размышлениеопонятиижизненногомиранацеленонато, чтобыоценитьфеноменологическийвкладвфилософскиеспорыза HORIZON 6 (2) 2017 47пределамиразногласийреализма, натурализмаисубъективизма. Статьяначинаетсясрассмотренияидеи «универсальнойкорреляции», акцентируятемсамымэгологическуюфигуру «Ich-kann» (Я-могу) каксобственногокандидатанато, чтобысоставитьконституциюжизненногомира. Встатьеутверждается, чтоконститутивнаяактивность «Я-могу» отвечаетзавнутреннююартикуляциюмножествачастныхмиров (Sonderwelten) впределахобъемлющегожизненногомира. Такоеотношениемеждумирами, центрированнымиинтересо…

Гуссерль Я-могу конституция корреляция жизненныймир феноменологическаяэтика особенныймир традиция ответственностьSettore M-FIL/03 - Filosofia MoraleHusserl I-can constitution correlation life-world phenomenological ethics particular world tradition responsibility
researchProduct

Izglītība zinātnei un prakse: rakstu krājums

2019

история дизайнаpsychological training of athletespagarinātās dienas grupas organizācijaveselumskompetenču pieejaпсихологическая подготовка спортсменовобразования компетенциямhistory of designmāksla izglītībāvalodas kompetenceapvērstā mācīšanāswholeness:SOCIAL SCIENCES::Social sciences::Education [Research Subject Categories]bērnu tiesību aizsardzība
researchProduct

ТРАПЕЗЫ ПРЕДКОВ. АГРАРНО-ХТОНИЧЕСКИЕ КОРНИ И ПОСТМОДЕРНИСТСКИЕ ПЕРЕОСМЫСЛЕНИЯ «СТОЛОВ СВЯТОГО ИОСИФА» НА СИЦИЛИИ

2019

Многие традиционные религиозные праздники на Сицилии несут в себе символизм, связанный с идеей плодородия растительности и человека, возвращения жизни и изобилия, и демонстрируют временную связь с производственными циклами основных сельскохозяйственных культур. Такие символические и временные связи особенно очевидны в случае трапез, устраиваемых по обету в праздник святого Иосифа (19 марта). Виды и форма блюд, приготовляемых по этому случаю, театрализованные элементы обрядов, сопровождающих священную трапезу, реальные и виртуальные участники этих обрядов (Святое Семейство, апостолы, так называемые вирджинедди , старички ) ясно отсылают к системе аграрнохтонических представлений, свойственны…

священные трапезыСицилияritual symbolsобрядовый символизмсвященные трапезы обрядовый символизм культурное наследие СицилияSettore M-DEA/01 - Discipline Demoetnoantropologicheкультурное наследиеcultural heritagesacred mealSicilysacred meal ritual symbols cultural heritage Sicily
researchProduct

Translation ‘going social’? Challenges to the (Ivory) Tower of Babel

2010

The discussion of “turns” or “paradigmatic shifts” which we can witness in the last few years in Translation Studies undoubtedly testifies to the discipline’s increasing establishment and recognition within the scientific community and of the increasing practice of a transdisciplinary research. These shifts also include what has been called the “sociological turn”, which comprises the cluster of questions dealing not only with the networks of agents and agencies and the interplay of their power relations, but also the social discursive practices which mould the translation process and which decisively affect the strategies of a text to be translated. This paper seeks to foreground some of t…

“Sociological turn”EthicsLinguistics and LanguageUNESCO::CIENCIAS DE LAS ARTES Y LAS LETRASTraducció -- Aspectes socialsSocial perspectiveProcess (engineering)Traducción e InterpretaciónMethodologyPower relationsSociological turnWitnessLanguage and LinguisticsEducationEpistemologyTranslation sociology; Sociological turn; Methodology; Ethics; Translation and activism:CIENCIAS DE LAS ARTES Y LAS LETRAS [UNESCO]Translation studiesTranslation sociologyIvory towerSociologyAffect (linguistics)Social scienceTranslation and activism
researchProduct

Antropologia, “svolta ontologica”, politica. Descola, Latour, Viveiros de Castro

2016

Il testo esamina, con un intento di valutazione critica, la configurazione della dimensione politica negli approcci teorici di Descola, Latour e Viveiros de Castro, considerati i capifila del cosiddetto ontological turn nelle scienze umane degli ultimi vent’anni. Questa configurazione è analizzata da due punti di vista: il ruolo giocato dal politico e dai rapporti di potere nelle teorie del sociale proposte dai tre studiosi, e le implicazioni politiche che essi annettono alle loro teorie. Si sottolinea la differenza tra l’approccio di Descola, in cui il politico e i rapporti di potere sono considerati elementi appartenenti a un piano diverso dalla logica di strutturazione delle “ontologie” …

“svolta ontologica” Descola Latour Viveiros de Castro antropologia politicaontological turn Descola Latour Viveiros de Castro political anthropologySettore M-DEA/01 - Discipline Demoetnoantropologiche
researchProduct