Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Isomorphisme de type.

Bücher zum Thema „Isomorphisme de type“

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-20 Bücher für die Forschung zum Thema "Isomorphisme de type" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

Philippe, De Groote, und Université catholique de Louvain (1970- ). Départment de philosophie., Hrsg. The Curry-Howard isomorphism. Louvain-la-Neuve: Academia, 1995.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Di Cosmo, Roberto. Isomorphisms of Types: from λ-calculus to information retrieval and language design. Boston, MA: Birkhäuser Boston, 1995. http://dx.doi.org/10.1007/978-1-4612-2572-0.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Simmons, Harold. Derivation and computation: Taking the Curry-Howard correspondence seriously. Cambridge: Cambridge University Press, 2000.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Elatskov, Aleksey. General Geopolitics: Theoretical and Methodological Issues in Geographical Interpretation. ru: INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/2033550.

Der volle Inhalt der Quelle
Annotation:
This text is dedicated to the development of the general theory of geopolitics as a scientific discipline. The author discusses what geopolitics is, as well as its content and methodology, and investigates the principles of geopolitical zoning and modelling, the content and essence of geopolitical relations, geographical and geopolitical spaces, geopolitical thinking and geopolitical idealised models. Activity-geospatial and geo-adaptation approaches are utilised while considering geopolitical phenomena. The first focuses attention on the geopolitical relations existing between political activity and geographical space. This forms the methodological basis of the concept of the geospatial self-organisation of a society as a new theoretical paradigm regarding political geography and geopolitics. The book consists of the Introduction, four chapters and contains 41 figures, 9 tables and an extensive reference list. The first chapter deals with the basic theoretical questions of political geography and geopolitics: the concept of geopolitics, the essence of politics and political actors, the concept and structure of geographical space, as well as geopolitical space as a set of geopolitical relations. The author describes several types of geopolitical relations with sensitivity to distance and borders. It has been proven that the “geopolitical relations” category forms the basis for both geopolitics and political geography theories. The second chapter is dedicated to discussing the study of geopolitical space. The geo-adaptation (geoadaptation) approach is proposed for the study of geopolitics and related problems. Geopolitics is understood as a political type of geo-adaptation of society. The author argues that any geopolitical relations represent a kind of societal geo-adaptational relations. The author also discusses the concept of territory (in the Russian sense) and zoning principles. An extended typology of geographical regions has been proposed, which more accurately reflects specific geopolitical phenomena. Along with nodal (functional) and uniform (formal) regions, the author also proposes relational ones. In addition, the concept of geopolitical field as a field of geopolitical relations is described. The author examines the assessment types of fragmentation and integration of geopolitical spaces or fields, and also discusses the principles of research geopolitical location of a country. The third chapter examines the essence, genesis, levels, and types of geopolitical thinking from the viewpoint of the proposed approach. The author notes the principles of critical geopolitics and discusses the place of geopolitics in the system of scientific knowledge and its relation to current political geography, as well as the categorical framework of scientific geopolitics, the principles of forecasting and expert assessment, and special education issues. The fourth chapter discusses the essence of scientific geopolitical laws and principles of modelling. The author argues that the majority of "geopolitics laws" are statements that describe various types of geopolitical strategies. In addition, the author considers numerous idealised geopolitical models of natural-geographic, human-geographic, spatial-activity, functional-activity and chrono-geopolitical types in terms of the geo-adaptation approach. The effect of geographic isomorphisms in geopolitical models is also discussed. The fundamental concepts of physical geography and geomorphology may be used in conceptualising geopolitics. The book is intended for scientists, researchers, and students in the field of geopolitics and political geography. The book is available online at the electronic library system Znanium.com.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Dicosmo, Roberto. Isomorphisms of Types. Island Press, 1994.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Button, Tim, und Sean Walsh. Modelism and mathematical doxology. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0006.

Der volle Inhalt der Quelle
Annotation:
This chapter outlines a certain attitude to model theory called ‘modelism’. The modelist idea is that structure-talk, as used informally by mathematicians, is to be understood in terms of isomorphism, in the model theorist's sense. For example, modelists will want to explicate talk of ‘the natural numbers' in terms of a particular isomorphism type. As such, modelists face an important doxological question: ‘How can we pick out particular isomorphism types?’ This chapter examines various versions of this question, and in particular what it means to say that it is a doxological question. We also distinguish between objectual and conceptual versions of this question, and show how they relate to Shapiro’s and Hellman’s different versions of structuralism.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Kraus, Alain, und Nuno Freitas. On the Symplectic Type of Isomorphisms of the $p$-Torsion of Elliptic Curves. American Mathematical Society, 2022.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Isomorphisms of Types: From ? -calculus to information retrieval and language design. Birkhäuser Boston, 2011.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

DiCosmo, Roberto. Isomorphisms of Types: From ?-Calculus to Information Retrieval and Language Design. Birkhauser Verlag, 2012.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Tits, Jacques. Buildings of Spherical Type and Finite Bn-Pairs (Ergebnisse Der Mathematik Und Ihrer Grenzgebiete). Springer, 1986.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
11

Isomorphisms of types: From [lambda]-calculus to information retrieval and language design. Boston: Birkhäuser, 1995.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
12

Button, Tim, und Sean Walsh. Transcendental arguments against model-theoretical scepticism. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0009.

Der volle Inhalt der Quelle
Annotation:
The overarching moral of the two previous chapters is that moderate modelists cannot explain how they could hope to pin down any particular isomorphism type, and so cannot deliver on their goal of explicating structure-talk in terms of isomorphism types. This observation can lead to a kind of model-theoretical scepticism: that is, a moderate modelist might think that model theory has shown to us that we simply cannot pick out the the natural numbers. After distinguishing Moorean arguments from transcendental arguments, we present two transcendental arguments against model-theoretical scepticism. The Metaresources Transcendental Argument, due essentially to Bays, begins from the observation that the model theory which the sceptic uses seems to involve a lot of mathematics already. The Disquotational Transcendental Resources Argument concerns the specifically semantic nature of the sceptical hypotheses. Both aim to show that, insofar as we understand the sceptical hypothesis, we can show it does not obtain.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
13

DiCosmo, Roberto. Isomorphisms of Types:: From delta-calculus to information retrieval and language design (Progress in Theoretical Computer Science). Birkhäuser Boston, 1994.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
14

Huybrechts, D. Derived Categories of Surfaces. Oxford University Press, 2007. http://dx.doi.org/10.1093/acprof:oso/9780199296866.003.0012.

Der volle Inhalt der Quelle
Annotation:
This chapter completes the classification of algebraic surfaces from the point of view of their derived categories. Abelian, K3, and elliptic surfaces play a special role. For all other surfaces, the derived category determines the isomorphism type. The reduction to minimal surfaces is due to Kawamata, and the case of elliptic surfaces was dealt with by Bridgeland and Maciocia.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
15

M¨uhlherr, Bernhard, Holger P. Petersson und Richard M. Weiss. Linear Automorphisms. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0029.

Der volle Inhalt der Quelle
Annotation:
This chapter considers the notion of a linear automorphism of an arbitrary spherical building satisfying the Moufang property. It begins with the notation whereby Ω‎ = (U₊, U₁, ..., Uₙ) is the root group sequence and x₁, ... , xₙ the isomorphisms obtained by applying the recipe in [60, 16.x] for x = 1, 2, 3, ... or 9 to a parameter system Λ‎ of the suitable type (and for suitable n) and Δ‎ is the corresponding Moufang n-gon. The chapter proceeds by looking at cases where Λ‎ is a proper anisotropic pseudo-quadratic space defined over an involutory set or a quadratic space of type E⁶, E₇ or E₈. It also describes a notation dealing with the Moufang spherical building with Coxeter diagram Λ‎, an apartment of Δ‎, and a chamber of Σ‎.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
16

M¨uhlherr, Bernhard, Holger P. Petersson und Richard M. Weiss. Affine Fixed Point Buildings. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0027.

Der volle Inhalt der Quelle
Annotation:
This chapter shows that if Ξ‎ is an affine building and Γ‎ is a finite descent group of Ξ‎, then Γ‎ is a descent group of Ξ‎∞ and (Ξ‎∞) is congruent to (Ξ‎∞). Ξ‎Γ‎ and Ξ‎ can be viewed as metric spaces. The chapter first considers the assumptions that Π‎ is an irreducible affine Coxeter diagram, Ξ‎ is a thick building of type Ξ‎, Γ‎is a finite descent group of Ξ‎, and Tits index �� = (Π‎, Θ‎, A). It then describes apartments that are endowed with reflection hyperplanes and reflection half-spaces before concluding with a theorem about a canonical isomorphism from the fixed point building Ξ‎Γ‎ to (Ξ‎Γ‎).
APA, Harvard, Vancouver, ISO und andere Zitierweisen
17

M¨uhlherr, Bernhard, Holger P. Petersson und Richard M. Weiss. Moufang Quadrangles. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0004.

Der volle Inhalt der Quelle
Annotation:
This chapter proves various results about Moufang quadrangles. It first considers the notions of a proper involutory set, a proper indifferent set, and a proper anisotropic pseudo-quadratic space. It then shows that the root group sequence Ω‎ is isomorphic to a root group sequence of exactly one of six types relating to some proper involutory set, some non-trivial anisotropic quadratic space, some proper indifferent set, some proper anisotropic pseudo-quadratic space, and some quadratic space. It also describes the degree of a finite purely inseparable field extension as a power of the characteristic, an isomorphism from a root group sequence of Δ‎ to the Moufang quadrangle, and abelian and non-abelian groups.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
18

Button, Tim, und Sean Walsh. Categoricity and the natural numbers. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0007.

Der volle Inhalt der Quelle
Annotation:
This chapter focuses on modelists who want to pin down the isomorphism type of the natural numbers. This aim immediately runs into two technical barriers: the Compactness Theorem and the Löwenheim-Skolem Theorem (the latter is proven in the appendix to this chapter). These results show that no first-order theory with an infinite model can be categorical; all such theories have non-standard models. Other logics, such as second-order logic with its full semantics, are not so expressively limited. Indeed, Dedekind's Categoricity Theorem tells us that all full models of the Peano axioms are isomorphic. However, it is a subtle philosophical question, whether one is entitled to invoke the full semantics for second-order logic — there are at least four distinct attitudes which one can adopt to these categoricity result — but moderate modelists are unable to invoke the full semantics, or indeed any other logic with a categorical theory of arithmetic.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
19

Huybrechts, D. Fourier-Mukai Transforms in Algebraic Geometry. Oxford University Press, 2007. http://dx.doi.org/10.1093/acprof:oso/9780199296866.001.0001.

Der volle Inhalt der Quelle
Annotation:
This book provides a systematic exposition of the theory of Fourier-Mukai transforms from an algebro-geometric point of view. Assuming a basic knowledge of algebraic geometry, the key aspect of this book is the derived category of coherent sheaves on a smooth projective variety. The derived category is a subtle invariant of the isomorphism type of a variety, and its group of autoequivalences often shows a rich structure. As it turns out — and this feature is pursued throughout the book — the behaviour of the derived category is determined by the geometric properties of the canonical bundle of the variety. Including notions from other areas, e.g., singular cohomology, Hodge theory, abelian varieties, K3 surfaces; full proofs and exercises are provided. The final chapter summarizes recent research directions, such as connections to orbifolds and the representation theory of finite groups via the McKay correspondence, stability conditions on triangulated categories, and the notion of the derived category of sheaves twisted by a gerbe.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
20

Silva, Sergio Mendonça da, Sílvio Parodi Oliveira Camilo, Cristina Keiko Yamaguchi und Miguelangelo Gianezini. Indutores de políticas, programas e práticas socioambientais: análise das distribuidoras de energia elétrica do sul do Brasil. Brazil Publishing, 2021. http://dx.doi.org/10.31012/978-65-5861-420-3.

Der volle Inhalt der Quelle
Annotation:
This study investigates determinants of socio-environmental practices, (mandatory and voluntary), as evidenced in southern Brazil’s electric energy distribution companies. It seeks to understand this phenomenon with interdisciplinary protection through theoretical constructs of Social Responsibility, Environmental Management, Evidence, Legitimacy, Reputation, and Institutional. This integration contributes to understanding the reasons why companies undertake and evidence their socio- -environmental practices to external audiences. The literature suggests that socio-environmental practices are explained by various reasons, such as: enforced by legal impositions and/or voluntariness, to strengthen legitimacy, maintain and develop a reputation, and by isomorphism of the competitive operating environment. Given the above, the objective of this work is to investigate factors that determine the disclosure of socio-environmental practices in electricity distribution companies in the south of Brazil. In the methodological aspects, a qualitative approach was used, with descriptive and exploratory objectives. As a research strategy, a multichannel study was applied through two electricity distribution companies in the south of the country, CELESC Distribuição S.A. (Centrais Elétricas de Santa Catarina) and COPEL Distribuição S.A. (Companhia Paranaense de Energia). Data collection took place in two stages, the first one with a search on documentary, physical and virtual basis, and the second stage using a semi-structured interview with professionals from the Social and Environmental Responsibility area of each of the companies surveyed. The information collected was related to the period of 2014, 2015, and 2016. The results showed that the Annual Reports, service stations, and participation in external events constitute the primary means and channels of evidence of socio-environmental practices. There was a greater tendency to develop social practices. However, there are programs focused on climate change, conscious consumption and electricity saving, social inclusion, recovery of citizenship, and people’s quality of life. The COPEL company presented a tendency to evidence voluntary practices with more intensity, also showing consistency and maintenance of the programs during the studied period. Regarding corporate and sustainability policies, it was noted that companies adopt very similar strategies. It is concluded that the age, size, and corporate reputation of companies are the main determinants of socio-environmental practices, highlighting the presence of mimetic isomorphism characterized by the use of the same types of means and channels of evidence and by the symmetry of practices and policies developed by companies CELESC and COPEL.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie