Bibliografie tematiche / Logician

Indice

Articoli di riviste
Tesi
Libri
Capitoli di libri
Atti di convegni
Rapporti di organizzazioni

Letteratura scientifica selezionata sul tema "Logician"

Autore: Grafiati

Pubblicato: 29 luglio 2024

Ultima modifica: 1 agosto 2024

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Logician".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Logician"

Burger, Max. "Logician". JAMA: The Journal of the American Medical Association 278, n. 16 (22 ottobre 1997): 1380. http://dx.doi.org/10.1001/jama.1997.03550160102053.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

El-Rouayheb, Khaled. "“Mubārakshāh the Logician”". Intellectual History of the Islamicate World 9, n. 1-2 (19 dicembre 2019): 115–39. http://dx.doi.org/10.1163/2212943x-00801101.

Testo completo

Abstract (sommario):

Abstract A scholar known as “Mubārakshāh” features in sources from the fifteenth and sixteenth centuries as a teacher of a number of prominent early Ottoman scholars, and of the influential Persian scholar al-Sayyid al-Sharīf al-Jurjānī (d. 816/1413). According to these sources, Mubārakshāh taught in Cairo in the mid- to late fourteenth century. Yet, despite the large number of Mamluk historical works covering this period, the precise identity of this scholar has so far proven elusive. The present article reviews the evidence and makes an identification that, though circumstantial, may be more satisfying than those that have been offered so far. It suggests that “Mubārakshāh” was a nickname, and that he can plausibly be identified with Maḥmūd b. Quṭlūshāh al-Sarāʾī, who taught in Cairo from 1358 until his death in 1373.

Gli stili APA, Harvard, Vancouver, ISO e altri

Orman Quine, Wlllard Van. "Peano as logician". History and Philosophy of Logic 8, n. 1 (gennaio 1987): 15–24. http://dx.doi.org/10.1080/01445348708837105.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Fontaine, Matthieu. "Hintikka, Free Logician". Logica Universalis 13, n. 2 (31 luglio 2018): 179–201. http://dx.doi.org/10.1007/s11787-018-0197-4.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Shapiro, Stewart. "The Guru, the Logician, and the Deflationist: Truth and Logical Consequence". Noûs 37, n. 1 (12 febbraio 2003): 113–32. http://dx.doi.org/10.1111/1468-0068.00431.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Jacquette, Dale. "Confessions of a Meinongian Logician". Grazer Philosophische Studien 58 (2000): 151–80. http://dx.doi.org/10.5840/gps200058/5921.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Jacquette, Dale. "CONFESSIONS OF A MEINONGIAN LOGICIAN". Grazer Philosophische studien 58, n. 1 (12 agosto 2000): 151–80. http://dx.doi.org/10.1163/18756735-90000723.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

BRAUER, ETHAN. "RELEVANCE FOR THE CLASSICAL LOGICIAN". Review of Symbolic Logic 13, n. 2 (6 novembre 2018): 436–57. http://dx.doi.org/10.1017/s1755020318000382.

Testo completo

Abstract (sommario):

AbstractAlthough much technical and philosophical attention has been given to relevance logics, the notion of relevance itself is generally left at an intuitive level. It is difficult to find in the literature an explicit account of relevance in formal reasoning. In this article I offer a formal explication of the notion of relevance in deductive logic and argue that this notion has an interesting place in the study of classical logic. The main idea is that a premise is relevant to an argument when it contributes to the validity of that argument. I then argue that the sequents which best embody this ideal of relevance are the so-called perfect sequents—that is, sequents which are valid but have no proper subsequents that are valid. Church’s theorem entails that there is no recursively axiomatizable proof-system that proves all and only the perfect sequents, so the project that emerges from studying perfection in classical logic is not one of finding a perfect subsystem of classical logic, but is rather a comparative study of classifying subsystems of classical logic according to how well they approximate the ideal of perfection.

Gli stili APA, Harvard, Vancouver, ISO e altri

Fessenden, Marissa. "The Logician and the Engineer". Scientific American 307, n. 5 (16 ottobre 2012): 84. http://dx.doi.org/10.1038/scientificamerican1112-84c.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Englebretsen, George. "The Logician and the Biologist". Acta Baltica Historiae et Philosophiae Scientiarum 7, n. 1 (20 giugno 2019): 39–52. http://dx.doi.org/10.11590/abhps.2019.1.03.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Tesi sul tema "Logician"

Galvagni, Marco. "Teoria degli insiemi, logica e filosofia nei Collected works di Kurt Gödel". Doctoral thesis, Scuola Normale Superiore, 2005. http://hdl.handle.net/11384/86140.

Testo completo

Abstract (sommario):

From the introduction: [...] Alla luce dello straordinario interesse sollevato dalle opere e dalle riflessioni del logico moravo, ci è sembrato sensato tentare di dare una presentazione di alcuni aspetti fondamentali dei suoi contributi logici, matematici e filosofici tenendo conto innanzitutto dell’immagine che di tali lavori è emersa dalla lettura degli inediti. Abbiamo quindi pensato di illustrare l’opera logico-matematica e fondazionale di Gödel secondo uno schema tripartito: una prima parte dedicata alla logica, una seconda sulla teoria degli insiemi ed infine un’ultima sulla filosofia della matematica. [...] Nella prima parte, relativa alla logica, abbiamo presentato i classici risultati di completezza (capitolo 1) e incompletezza (capitolo 2) utilizzando in particolare due conferenze inedite sui due argomenti ed evidenziando le strategie dimostrative in esse utilizzate. Abbiamo poi affrontato le “incursioni gödeliane” nell’ambito della logica intuizionista e della matematica costruttiva (capitolo 3) ed in quello della logica modale e di ordine superiore (capitolo 4). Nella seconda parte, la pi`u importante dal punto di vista dello specifico approccio interpretativo da noi scelto, abbiamo cercato di ricostruire il percorso di studio, scoperta e riflessione fatto da Gödel nell’ambito della teoria degli insiemi (capitolo 5). In questo senso abbiamo prestato particolare attenzione alla formalizzazione della teoria degli insiemi proposta dall’autore (capitolo 7), ai modelli da lui ideati nell’ambito dei suoi risultati di noncontraddittorietà relativa (capitoli 8 e 9) ed alle sue proposte per una soluzione definitiva del problema del continuo di Cantor (capitoli 10 e 11). Nella terza ed ultima parte, ideale punto di arrivo delle due precedenti, abbiamo tentato una ricostruzione cronologica, ancora una volta basata in gran parte sugli inediti, dei principali momenti della riflessione filosofica gödeliana.

Gli stili APA, Harvard, Vancouver, ISO e altri

Gambetta, Emanuele. "Structural Reflection and the Ultimate L as the true, noumenal universe of mathematics". Doctoral thesis, Scuola Normale Superiore, 2017. http://hdl.handle.net/11384/86148.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Чигур, І. І. "Розробка методу контролю технічного стану шарошкових доліт в умовах невизначеності процесу буріння". Thesis, Івано-Франківський національний технічний університет нафти і газу, 2000. http://elar.nung.edu.ua/handle/123456789/3904.

Testo completo

Abstract (sommario):

Дисертація присвячена розробці методу контролю технічного стану доліт, що базується на аналізі нечіткої (нечислової) інформації про параметри процесу буріння. Запропоновано новий метод контролю технічного стану шарошкових доліт на вибої свердловини, який включає в себе лінгвістичний опис технологічних ситуацій, що виникають в процесі буріння свердловин, і яким керуються технологи-ператори при прийнятті рішень про підйом долота для заміни в зв’язку із зношенням його опор чи озброєння. Метод дозволяє контролювати стан опор і озброєння шарошкових доліт у реальному масштабі часу, в умовах геолого-технологічної невизначеності, що дає можливість досягти вищих техніко-економічних показників процесу буріння та запобігти виникненню аварійних ситуацій. Основні результати роботи знайшли промислове впровадження на бурових підприємствах України, а також у навчальному процесі.
Диссертация посвящена разработке метода контроля технического состояния долот, базирующимся на анализе нечеткой (не числовой) информации о параметрах процесса бурения. Предложен новый метод контроля технического состояния шарошечных долот на забое скважины, включающий в себя лингвистическое описание технологических ситуаций, которые возникают в процессе бурения скважин, и которым руководствуются технологи-операторы при принятии решений о подъеме долота для замены в связи с износом его опор или вооружения. Метод позволяет контролировать состояние опор и вооружения шарошечных долот в реальном масштабе времени, в условиях геолого-технологической неопределенности, что дает возможность достичь более высоких технико-экономических показателей процесса бурения и предотвратить возникновение аварийных ситуаций. Основные результаты работы нашли промышленное внедрение на буровых предприятиях Украины, а также в учебном процессе. Диссертация состоит из вступления, пяти разделов и приложений. Во вступлении обоснована актуальность работы, сформулированы цели и практическая ценность работы, отображены основные результаты работы, которые выносятся на защиту. В первом разделе проведен критический анализ методов и технических средств контроля состояния шарошечных долот в процессе бурении скважин на нефть и газ. Усовершенствована классификация методов контроля технического состояния долот. Проанализированы методы контроля технического состояния долот, на основе которых оценены новые разработки в этой области. Отмечено, что в связи с развитием методов теории нечетких множеств имеется возможность организации нового подхода к разработке методов контроля технического состояния долот, основанном на применении нечеткой логики для решения научной задачи контроля состояния долот в условиях неопределенности процесса бурения и выбрано направление исследований. Приведены общие сведения о процессе бурения и буровых долотах, как о контролируемом объекте и выбрано направление исследований. Во втором разделе разработаны теоретические положения метода контроля технического состояния шарошечных долот в условиях неопределенности процесса бурения и математическая диагностическая модель шарошечного долота. Проведено обоснование использования положений нечеткой логики для контроля состояния шарошечных долот. Сформулированы основные понятия и определения нечеткой логики, на основе которой в виде правил-продукций создана нечеткая математическая модель контроля технического состояния шарошечных долот. Параметры процесса бурения представлены в виде нечетких множеств, что позволило реализовать разработанный метод контроля с помощью серийных технических средств. В третьем разделе разработано методическое, техническое и программное обеспечение метода контроля состояния долот. Предложены методы и измерительная аппаратура, необходимая для получения непрерывной информации о технологических параметрах и показателях процесса бурения, которая была использована при разработке и исследовании метода контроля состояния шарошечных долот. Четвертый раздел посвящен разработке метода контроля технического состояния долот в условиях неопределенности процесса бурения на основе лингвистического описания, полученного в результате анализа промысловых данных о работе долот в режиме их катастрофического износа. Обоснован выбор частоты опроса датчиков системы контроля. Осуществлено реализацию разработанного метода контроля на базе DynStar и Ремиконт. Разработана алгоритмическая структура устройства контроля технического состояния долот. В пятом разделе проведен анализ и обобщение результатов исследований метода контроля технического состояния долот в условиях неопределенности процесса бурения. Исследована общая погрешность измерений параметров процесса бурения. На основе методов теории вероятностей исследована точность и достоверность контроля технического состояния шарошечных долот, а также эффективность использования устройства в промысловых условиях. Рассчитана эффективность контроля технического состояния долот с помощью разработанного метода. Результаты исследований использованы в учебном процессе при изучении дисциплин “Автоматизаця технологических процессов”, “Технические средства автоматизации” для студентов специальности 7.092501 - Автоматизированное управление технологическими процессами и производствами. Демонстрационный образец устройства контроля технического состояния долот внедрен в учебный процесс в виде лабораторного стенда. Разработанный метод и рекомендации по его использованию приняты для внедрения на буровых предприятиях Украины: Долинском и Надворнянском УБР ОАО “Укрнефтъ”. Ожидаемый экономический эффект от внедрения составляет 145 тыс. грн.
The dissertation is devoted to development of a method of check of availability index of product of chisels basing on analysis fuzzy (not numeric) information on arguments of process of drilling The new method of check of improvement of rock bit on a bottom hole including the linguistic specification statement of technological situations, arising is proposed during well boring, and by which one the technologists - operatives are guided at acceptance of the decisions about rise of a chisel for substitution in connection with its wear. The method allows to monitor a state of bearings and arms of rock bit is continuum and realtime, in conditions of technological equivocation, that allows to achieve higher technical and economic indexs, and also to drill wells on oil and gas without emergencies The basic results of work are introduced at the chisel enterprises of Ukraine and in educational process.

Gli stili APA, Harvard, Vancouver, ISO e altri

Johnson, Cory. "Suggestions for Deontic Logicians". Thesis, Virginia Tech, 2013. http://hdl.handle.net/10919/19221.

Testo completo

Abstract (sommario):

The purpose of this paper is to make a suggestion to deontic logic: Respect Hume\'s Law, the answer to the is-ought problem that says that all ought-talk is completely cut off from is-talk. Most deontic logicians have sought another solution: Namely, the solution that says that we can bridge the is-ought gap. Thus, a century\'s worth of research into these normative systems of logic has lead to many attempts at doing just that. At the same time, the field of deontic logic has come to be plagued with paradox. My argument essentially depends upon there being a substantive relation between this betrayal of Hume and the plethora of paradoxes that have appeared in two-adic (binary normative operator), one-adic (unary normative operator), and zero-adic (constant normative operator) deontic systems, expressed in the traditions of von Wright, Kripke, and Anderson, respectively. My suggestion has two motivations: First, to rid the philosophical literature of its puzzles and second, to give Hume\'s Law a proper formalization. Exploring the issues related to this project also points to the idea that maybe we should re-engineer (e.g., further generalize) our classical calculus, which might involve the adoption of many-valued logics somewhere down the line.
Master of Arts

Gli stili APA, Harvard, Vancouver, ISO e altri

STIVAL, STEFANO DOMINGUES. "ALFRED TARSKI: LOGICAL CONSEQUENCE, LOGICAL NOTIONS, AND LOGICAL FORMS". PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2004. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5484@1.

Testo completo

Abstract (sommario):

CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO
O tema da presente dissertação é o problema da demarcação entre os termos lógicos e extralógicos no âmbito das ciências formais, anunciado primeiramente por Alfred Tarski em seu artigo de 1936, On the Concept of Logical Consequence. Depois de expor e discutir o problema em questão, mostrando seu surgimento a partir da necessidade de uma definição materialmente adequada do conceito de conseqüência lógica, analisamos a solução formulada por Tarski em um artigo publicado postumamente, intitulado What Are Logical Notions? Algumas discussões subsidiárias, igualmente importantes para o trabalho como um todo, dizem respeito à concepção dos conceitos de modelo e interpretação que se podem depreender dos artigos supracitados, e de como ela difere da assim chamada concepção standard em teoria de modelos. Nosso objetivo principal é mostrar o lugar ocupado pelo conceito de forma lógica na obra de Tarski, e de como sua concepção acerca deste conceito implica uma visão ampliada do conceito de conseqüência lógica, cuja caracterização correta torna necessária a estratificação das formas lógicas numa hierarquia de tipos.
The subject of this paper is the problem of demarcation between logical and extra-logical terms of formal languages, as formulated for the first time by Tarski in his 1936 paper On the Concept of Logical Consequence. After presenting and discussing the demarcation problem, pointing out how it arises from the need for a materially adequate definition of the concept of logical consequence, we analyze the solution presented by Tarski in his posthumously published paper, entitled What Are Logical Notions? Some subsidiary issues, that are also important for the work as a whole, concern the conception of model and interpretation that springs from the two papers mentioned, and how this conception differs from the standard conception in model theory. Our main goal is to show the place occupied by the concept of logical form in Tarski`s work, and how his conception of this concept implies a broader view about the related concept of logical consequence whose correct characterization makes necessary the stratification of logical forms into a hierarchy of types.

Gli stili APA, Harvard, Vancouver, ISO e altri

Price, Mark. "Logical aspects of logical frameworks". Thesis, University of Bath, 2008. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.488882.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Шавранський, М. В. "Система контролю для запобігання прихоплень бурильної колони в процесі буріння". Thesis, Івано-Франківський національний технічний університет нафти і газу, 2003. http://elar.nung.edu.ua/handle/123456789/4004.

Testo completo

Abstract (sommario):

Робота присвячена питанням СК з метою запобігання прихоплень БК у процесі буріння, що базується на аналізі нечіткої (нечислової) інформації про параметри процесу буріння. Розроблена СК включає в себе лінгвістичний опис технологічних ситуацій, пов’язаних з виникненням прихоплень БК у процесі буріння свердловин, яким керуються технологи-оператори при прийнятті рішення про можливе прихоплення БК з метою його запобігання. СК дозволяє контролювати параметри процесу буріння в реальному часі в умовах невизначеності, що дає можливість досягти вищих техніко-економічних показників та запобігти прихоплення БК. Основні результати роботи знайшли промислове впровадження на бурових підприємствах України, а також у навчальному процесі.
Работа посвящена вопросам СК с целью предотвращения прихватов БК в процессе бурения, которое базируется иа анализе нечеткой (нечисловой) информации в параметрах процесса бурение. Разработанная СК включает в себя лингвистическое описание технологических ситуаций, связанных с возникновением прихватов БК в процессе бурения буровых скважин, которым руководствуются технологи-операторы при принятии решения в возможном прихвате БК с целью его предотвращения. СК разрешает контролировать параметры процесса бурения в режиме реального времени в условиях неопределенности, которая дает возможность достичь высших технико-экономических показателей и предотвратить прихваты БК. Основные результаты работы нашли промышленное внедрение на буровых предприятиях Украины, а также в учебном процессе.
Work is devoted to questions of the monitoring system with the purpose of prevention to take a boring column during drilling which is based on the analysis of the indistinct information on parameters of process drilling The developed monitoring system includes the linguistic description of technological situations connected with occurrence to take a boring column during drilling boreholes by which technologists -operators are guided at decision making about possible to take a boring column with the purpose of his prevention. The monitoring system allows to supervise parameters of process drilling in real time in conditions of uncertainty which enables to reach the maximum technical and economic parameters and to prevent take a boring column. The basic results of work have found industrial introduction at the chisel enterprises of Ukraine, and also in educational process.

Gli stili APA, Harvard, Vancouver, ISO e altri

Sawaya, Antoine. "Pipeline logiciel". Versailles-St Quentin en Yvelines, 1997. http://www.theses.fr/1997VERS0012.

Testo completo

Abstract (sommario):

Dans cette thèse nous nous intéressons à l'exploitation du parallélisme à grain fin, dit aussi parallélisme d'instructions dans les processeurs vliw et super scalaires. Plus particulièrement, nous traitons le problème de l'optimisation des boucles par pipeline logiciel. Ces portions de code répétitives dominent largement le temps d'exécution des programmes scientifiques, d'où l'intérêt crucial de maîtriser leur optimisation dans la course actuelle à la performance. Dans un premier temps, nous étudions formellement le problème du découplage des contraintes de ressources et des contraintes de dépendances. Le but en est de ramener le problème d'ordonnancement des boucles à un problème d'ordonnancement classique où les méthodes d'optimisation sont mieux maîtrisées. Nous pressentons un cadre commun qui nous permet de comparer notre approche desp à deux autres techniques procédant suivant la même philosophie. Nous concluons cette partie en proposant une amélioration à l'ensemble de ces techniques, ce qui a pu être valide expérimentalement. Ces algorithmes sont développés et disponibles dans une boite à outils pilo. Cependant, le parallélisme d'instructions accroît la pression sur les registres du processeur, ce qui explique l'importance de prendre en compte cette contrainte supplémentaire, afin d'éviter une dégradation du code produit. Cette problématique nous a conduit à proposer une formulation par programmation linéaire en variables bivalentes qui permet de définir un modèle global, dans lequel, nous pouvons contrôler le nombre exact de registres requis pendant la phase d'ordonnancement. Nos expériences nous ont permis de valider notre approche et de situer les temps de résolution des programmes linéaires génèrés. L'enjeu est ici de produire un code optimal qui puisse intégrer des librairies spécialisées, être micro-programme dans des processeurs embarqués, ou servir comme base de comparaison pour les différentes heuristiques.

Gli stili APA, Harvard, Vancouver, ISO e altri

Horn, François. "L'économie du logiciel". Lille 1, 2000. http://www.theses.fr/2000LIL12017.

Testo completo

Abstract (sommario):

L'économie du logiciel se singularise par des contrastes et des paradoxes : par exemple, des performances boursières spectaculaires mais aussi une activité parfois matériellement desinteressee (développement des logiciels libres). Elle est confrontee a trois questions critiques : évolution jugée insuffisante de la productivité dans la production des logiciels, manque de fiabilité des logiciels produits, et relative inadaptation aux besoins des utilisateurs. L'économie du logiciel est fondamentalement marquée par la coexistence permanente de quatre mondes de production, qui reposent sur l'existence de conventions différentes, centrées sur un type de produit, et constituant des réponses différenciées aux questions critiques de l'économie du logiciel. Le monde interpersonnel représente les difficultés à concilier productivité et fiabilité élevées dans la production de logiciels sur-mesure. Le monde fordiste des progiciels commerciaux se caractérise par une forte productivité mais une qualité souvent décevante, et ne peut répondre qu'a des besoins standard. Le monde de la création des logiciels libres apporte une certaine originalité et une efficacité indéniable sur certains segments mais des difficultés pour s'étendre. Le monde de la production flexible des logiciels est porteur de potentialités pour concilier productivité et adaptation aux besoins des utilisateurs, mais il a du mal a se développer, surtout dans sa composante la plus prometteuse (la production de logiciels sur mesure a partir de composants standard). Entre ces quatre mondes existent des relations de complémentarité mais également des évolutions dynamiques, identifiées par quatre trajectoires (industrialisation, valorisation, flexibilisation et objectivation). Cette analyse permet d'expliquer la domination actuelle des États-Unis sur l'économie du logiciel (industrialisation rapide), mais aussi les potentialités - et les difficultés de réalisation - d'une extension du champ des logiciels libres.

Gli stili APA, Harvard, Vancouver, ISO e altri

Horn, François Gadrey Jean. "L'économie du logiciel". [S.l.] : [s.n.], 2000. https://iris.univ-lille1.fr/dspace.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Libri sul tema "Logician"

Heinzmann, Gerhard, e Gereon Wolters, a cura di. Paul Lorenzen -- Mathematician and Logician. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Herrmann, Robert A. Nature: The supreme logician I. Annapolis, Md., USA: Institute for Mathematical Philosophy, 1986.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Sytnik-Czetwertyński, Janusz. Jerzy Perzanowski, mój Mistrz i Przyjaciel. Kraków: Wydawn. Uniwersytetu Jegiellońskiego, 2010.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Nahin, Paul J. The logician and the engineer: How George Boole and Claude Shannon created the information age. Princeton: Princeton University Press, 2012.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Stolyarov, Vladislav. Dialectical methodology of theory construction in modern scientific knowledge. ru: INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/2099001.

Testo completo

Abstract (sommario):

The monograph is devoted to the analysis of dialectical (based on the theory of dialectics, dialectical thinking) methodology of theory construction. The concept of this methodology is based on the ideas of the world-famous logician A.A. Zinoviev about dialectical thinking as a system of logical operations, techniques, procedures in order to obtain an integral dialectical system of scientific knowledge about the essence, properties, structure, connections, change, functioning and development, contradictions of the studied object. The results of the author's long-term (more than 50 years) development of the problems of dialectical methodology of theory construction and application of this methodology in sports science are summarized. Not only the general concept of the dialectical methodology of theoretical research is outlined, but also specific logical techniques, procedures for solving certain problems of constructing a theory based on this methodology. The article substantiates the position that dialectical methodology does not deny, but organically complements the methodology of theory construction based on the means of symbolic logic (axiomatic method, method of formalization) and mathematics. The views of other researchers regarding not only dialectical methodology, but also other aspects of the concept of theoretical research are presented and evaluated. It is intended for people engaged in scientific knowledge, interested in the problems of scientific research, as well as the application of the results of this research in practice.

Gli stili APA, Harvard, Vancouver, ISO e altri

Gilmore, Paul C. Logicism renewed: Logical foundations for mathematics and computer science. Wellesley, MA: Association for Symbolic Logic, 2005.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Nave, Francesco La. Logica e metodo scientifico nelle Contradictiones logicae di Girolamo Cardano. Pisa: Istituti editoriali e poligrafici internazionali, 2006.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Jong, Everardus Johannes De. Galileo Galilei's Logical treatises (MS 27) and Giacomo Zabarella's Opera logica : a comparison. Ann Arbor, MI: University Microfilms International, 1989.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Aḥmad ibn ʻAbd al-Ḥalīm Ibn Taymīyah. Against the Greek logicians. Oxford: Oxford University Press, 1993.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Books, Time-Life, a cura di. Le logiciel. Amsterdam: Editions Time-Life, 1986.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Capitoli di libri sul tema "Logician"

Murphy, Arthur. "‘Born a logician’". In Dr Johnson, 21–23. London: Palgrave Macmillan UK, 1987. http://dx.doi.org/10.1007/978-1-349-08286-5_8.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Hintikka, Jaakko. "Aristotle’s Incontinent Logician". In Analyses of Aristotle, 139–52. Dordrecht: Springer Netherlands, 2004. http://dx.doi.org/10.1007/1-4020-2041-4_9.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Russell, Bertrand, John G. Slater e Bernd Frohmann. "A Medical Logician [1912]". In The Collected Papers of Bertrand Russell, Volume 6, 70–74. London: Routledge, 2024. http://dx.doi.org/10.4324/9781003557395-10.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Jacquette, Dale. "Confessions of a Meinongian Logician". In Alexius Meinong, The Shepherd of Non-Being, 363–80. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-18075-5_17.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Davis, Martin. "My Life as a Logician". In Outstanding Contributions to Logic, 1–33. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41842-1_1.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Omyła, Mieczysław. "Roman Suszko: Logician and Philosopher". In Studies in Universal Logic, 747–52. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-65430-0_52.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Neuwirth, Stefan. "Lorenzen’s Reshaping of Krull’s Fundamentalsatz for Integral Domains (1938–1953)". In Paul Lorenzen -- Mathematician and Logician, 143–83. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3_9.

Testo completo

Abstract (sommario):

AbstractKrull’s Fundamentalsatz, the generalisation of the main theorem of elementary number theory to integral domains, is the starting point of Lorenzen’s career in mathematics. This article traces a conceptual history of Lorenzen’s successive reformulations of the Fundamentalsatz on the basis of excerpts of his articles. An edition of the extant correspondence of Lorenzen with Hasse, Krull, and Aubert provides a better understanding of the context of these investigations.

Gli stili APA, Harvard, Vancouver, ISO e altri

Heinzmann, Gerhard. "Operation and Predicativity: Lorenzen’s Approach to Arithmetic". In Paul Lorenzen -- Mathematician and Logician, 11–22. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3_2.

Testo completo

Abstract (sommario):

AbstractIn this article we give an overview, from a philosophical point of view, of Lorenzen’s construction of the natural and the real numbers. Particular emphasis is placed on Lorenzen’s classification in the tradition of predicative approaches that stretches from Poincaré to Feferman.

Gli stili APA, Harvard, Vancouver, ISO e altri

Fermüller, Christian G. "Connecting Sequent Calculi with Lorenzen-Style Dialogue Games". In Paul Lorenzen -- Mathematician and Logician, 115–41. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3_8.

Testo completo

Abstract (sommario):

Abstract Lorenzen has introduced his dialogical approach to the foundations of logic in the late 1950s to justify intuitionistic logic with respect to first principles about constructive reasoning. In the decades that have passed since, Lorenzen-style dialogue games turned out to be an inspiration for a more pluralistic approach to logical reasoning that covers a wide array of nonclassical logics. In particular, the close connection between (single-sided) sequent calculi and dialogue games is an invitation to look at substructural logics from a dialogical point of view. Focusing on intuitionistic linear logic, we illustrate that intuitions about resource-conscious reasoning are well served by translating sequent calculi into Lorenzen-style dialogue games. We suggest that these dialogue games may be understood as games of information extraction, where a sequent corresponds to the claim that a certain information package can be systematically extracted from a given bundle of such packages of logically structured information. As we will indicate, this opens the field for exploring new logical connectives arising by consideration of further forms of storing and structuring information.

Gli stili APA, Harvard, Vancouver, ISO e altri

Neuwirth, Stefan. "Lorenzen’s Correspondence with Hasse, Krull, and Aubert, Together with Some Relevant Documents". In Paul Lorenzen -- Mathematician and Logician, 185–268. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3_10.

Testo completo

Abstract (sommario):

AbstractWe propose an edition of the reports on Paul Lorenzen’s Ph.D. thesis by Helmut Hasse and Carl Ludwig Siegel, of the known correspondence of Lorenzen with Hasse, Wolfgang Krull, and Karl Egil Aubert, and of a relevant letter from Krull to Heinrich Scholz. It provides evidence for the circumstances in which Lorenzen comes to his insights during the studied period of time.

Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Logician"

Sun, Mingming, Xu Li, Xin Wang, Miao Fan, Yue Feng e Ping Li. "Logician". In WSDM 2018: The Eleventh ACM International Conference on Web Search and Data Mining. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3159652.3159712.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Beekman, J. A., R. M. Owens e M. J. Irwin. "Mesh arrays and LOGICIAN: a tool for their efficient generation". In 24th ACM/IEEE conference proceedings. New York, New York, USA: ACM Press, 1987. http://dx.doi.org/10.1145/37888.37942.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Wong, Limsoon. "Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics". In 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, 2006. http://dx.doi.org/10.1109/synasc.2006.14.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Sun, Mingming, Xu Li e Ping Li. "Logician and Orator: Learning from the Duality between Language and Knowledge in Open Domain". In Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing. Stroudsburg, PA, USA: Association for Computational Linguistics, 2018. http://dx.doi.org/10.18653/v1/d18-1236.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Волкова, М. С., e Ю. И. Арутюнян. "THE WAY TO STREFISM: THE EVOLUTION OF LEON CHWISTEK’S ARTISTIC PRINCIPLES IN THE CONTEXT OF EUROPEAN MODERNISM OF 1917–1925". In Месмахеровские чтения — 2024 : материалы междунар. науч.-практ. конф., 21– 22 марта 2024 г. : сб. науч. ст. / ФГБОУ ВО «Санкт-Петербургская государственная художественно-промышленная академия имени А. Л. Штиглица». Crossref, 2024. http://dx.doi.org/10.54874/9785605162926.2024.10.51.

Testo completo

Abstract (sommario):

Творческий метод польского художника, философа, математика, логика и теоретика искусства Леона Хвистека (1884–1944 гг.) формировался в контексте ведущих европейских художественных тенденций первой четверти XX в. Восприняв опыт экспрессионизма, кубизма, орфизма и футуризма, к 1922 г. мастер пришел к созданию собственной художественной системы. Стрефизм стал первым этапом на пути развития польского абстрактного искусства. The artist’s method of Leon Chwistek (1884–1944), Polish artist, philosopher, mathematician, logician and art theorist, was formed in the context of leading european artistic trends of the first quarter of the ХХ century. Having embraced the experience of expressionism, cubism, orphism and futurism, by 1922 the painter came to create his own artistic system. Strefism was the first stage in the development of Polish abstract art.

Gli stili APA, Harvard, Vancouver, ISO e altri

Fiorentini, X., S. Rachuri, M. Mahesh, S. Fenves e Ram D. Sriram. "Description Logic for Product Information Models". In ASME 2008 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2008. http://dx.doi.org/10.1115/detc2008-49348.

Testo completo

Abstract (sommario):

The languages and logical formalisms developed by information scientists and logicians concentrate on the theory of languages and logical theorem proving. These languages, when used by domain experts to represent their domain of discourse, most often have issues related to the level of expressiveness of the languages and need specific extensions. In this paper we analyze the levels of logical formalisms and expressivity requirements for the development of ontologies for manufacturing products. We first discuss why the representation of a product model is inherently complex and prone to inconsistencies. We then explore how these issues can be overcome through a structured knowledge representation model. We report our evaluation of OWL-DL in terms of expressivity and of the use of SWRL for representing domainspecific rules. We present a case study of product assembly to document this evaluation and further show how the OWL-DL reasoner together with the rule engine can enable reasoning of the product ontology.

Gli stili APA, Harvard, Vancouver, ISO e altri

Kang, Bo, e Joseph LaViola. "LogicPad". In the 2012 ACM international conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2166966.2167014.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Dreyer, Derek, Amal Ahmed e Lars Birkedal. "Logical Step-Indexed Logical Relations". In 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS). IEEE, 2009. http://dx.doi.org/10.1109/lics.2009.34.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Sirer, Emin Gün, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams e Fred B. Schneider. "Logical attestation". In the Twenty-Third ACM Symposium. New York, New York, USA: ACM Press, 2011. http://dx.doi.org/10.1145/2043556.2043580.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Natarajan, Premkumar S., Joseph P. Noonan e Sos S. Agaian. "Logical wavelets". In Optical Science, Engineering and Instrumentation '97, a cura di Andrew G. Tescher. SPIE, 1997. http://dx.doi.org/10.1117/12.292748.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Logician"

Bastien, R. Logiciel d'echantillonnage pour le polycorder. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1986. http://dx.doi.org/10.4095/315262.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Bastien, R. Logiciel d'echantillonnage pour le polycorder. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1986. http://dx.doi.org/10.4095/315263.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

ODYSSEY RESEARCH ASSOCIATES INC ITHACA NY. Report on Logical Foundations. Fort Belvoir, VA: Defense Technical Information Center, febbraio 1994. http://dx.doi.org/10.21236/ada289616.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Balas, E., G. Cornuejols e J. N. Hooker. Covering, Packing and Logical Inference. Fort Belvoir, VA: Defense Technical Information Center, ottobre 1993. http://dx.doi.org/10.21236/ada274314.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Fong, Elizabeth N., Margaret W. Henderson, David K. Jefferson e Joan M. Sullivan. Guide on logical database design. Gaithersburg, MD: National Bureau of Standards, 1985. http://dx.doi.org/10.6028/nbs.sp.500-122.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Niyogi, Partha, e Robert Berwick. The Logical Problem of Language Change. Fort Belvoir, VA: Defense Technical Information Center, luglio 1995. http://dx.doi.org/10.21236/ada307025.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Berger, L., C. Hopps, A. Lindem, D. Bogdanovic e X. Liu. YANG Model for Logical Network Elements. RFC Editor, marzo 2019. http://dx.doi.org/10.17487/rfc8530.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Sondheim, M., e C. Hodgson. Common hydrology features (CHyF) logical model. Natural Resources Canada/CMSS/Information Management, 2024. http://dx.doi.org/10.4095/328952.

Testo completo

Abstract (sommario):

The Open Geospatial Consortium has defined "OGC WaterML 2: Part 3 - Surface Hydrology Features (HY_Features) - Conceptual Model", but not any particular implementation of it. The Common Hydrology Features (CHyF) model extends HY_Features and makes some minor changes to it required for implementation and the delivery of high performance services. HY_Features discusses catchment coverage and topological relations. In CHyF these are key ideas, as is the notion that hydrologically defined network components form elements of a mathematical graph, allowing for very fast network traversal. HY_Features defines catchments and catchment networks, as well as rivers, channels, flowpaths and hydrographic networks. The CHyF logical model specifies a profile and some extensions to HY_Features, as required to implement topological and graph relations. This starts with the definition of elementary catchments and elementary flowpaths, which are treated as fundamental elements. They are tightly specified terms corresponding to basic catchments and flowpaths in HY_Features and the basic components in the standard reach-catchment model (Maidment and Clark, 2016). If they are subdivided, the result is simply more elementary catchments and elementary flowpaths. Consequently, they are the building blocks used to form complementary coverages as well as a graph structure referred to as a hygraph. Building the hygraph necessitates that connections between features be manifest through their geometry. Divergences and distributaries are supported in CHyF, as the hygraph need not be hierarchical. Nevertheless, CHyF does recognize hierarchical drainage basins and the value in identifying them explicitly (Blodgett, et al, 2021). Different kinds of elementary catchments and elementary flowpaths are defined in CHyF. Of note is that polygonal waterbody features, or portions of such features, are treated as elementary catchments in their own right. In addition to these water catchments, several kinds of land-based elementary catchments are recognized. These model constructs are compatible with the higher level conceptual model in HY_Features, although they differ in detail from other popular implementation models. With the approach taken it becomes practical to handle very large lakes and rivers, as well as coastal ocean zones. CHyF also includes wetlands, glaciers and snowfields as kinds of hydro features; these features help complete the concept of a catchment coverage as put forward by HY_Features.

Gli stili APA, Harvard, Vancouver, ISO e altri

Osipov, G. S. USING THE LOGICAL FUNCTION OF THE LOGICAL PROBLEM IN THE REVERSE PROBLEM FOR FUZZY RELATIONAL EQUATIONS. Издательство «Олимп», gennaio 2018. http://dx.doi.org/10.18411/olimp-2018-1.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Hickey, Jason, Aleksey Nogin, Adam Granicz e Brian Aydemir. Formal Compiler Implementation in a Logical Framework. Fort Belvoir, VA: Defense Technical Information Center, aprile 2003. http://dx.doi.org/10.21236/ada437424.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!