Увійти

Готові списки джерел за темами / Higher-order theorie / Книги

Книги з теми "Higher-order theorie"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Higher-order theorie.

Автор: Grafiati

Опубліковано: 14 березня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 книг для дослідження на тему "Higher-order theorie".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Gennaro, Rocco J., ed. Higher-Order Theories of Consciousness. Amsterdam: John Benjamins Publishing Company, 2004. http://dx.doi.org/10.1075/aicr.56.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

J, Gennaro Rocco, ed. Higher-order theories of consciousness: An anthology. Amsterdam: John Benjamins, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Alestalo, Pekka. Uniform domains of higher order. Helsinki: Suomalainen Tiedeakatemia, 1994.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Deninger, Christopher. Higher order operations in Deligne cohomology. [Münster: Mathematischen Instituts der Universität Münster, 1991.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Rahul, Mukerjee, ed. Probability Matching Priors: Higher Order Asymptotics. New York, NY: Springer New York, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Kumar, Nandi Asoke, ed. Blind estimation using higher-order statistics. Boston: Kluwer Academic, 1999.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Higher order asymptotic theory for time series analysis. Berlin: Springer-Verlag, 1991.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Galiffa, Daniel J. On the Higher-Order Sheffer Orthogonal Polynomial Sequences. New York, NY: Springer New York, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Angeletos, Marios. Incomplete information, higher order beliefs, and price inertia. Cambridge, MA: Massachusetts Institute of Technology, Dept. of Economics, 2009.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Higher Order Workshop (4th 1990 Banff, Alta.). IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, 10-14 September 1990, Banff, Canada. London: Springer-Verlag, 1991.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Nonlinear prediction ladder-filters for higher-order stochastic sequences. Berlin: Springer-Verlag, 1985.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Adrian, Melott, Wei A. G, and United States. National Aeronautics and Space Administration., eds. Testing higher-order Lagrangian perturbation theory against numerical simulations. [Washington, D.C: National Aeronautics and Space Administration, 1995.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

L, Melott A., Wei A. G, and United States. National Aeronautics and Space Administration., eds. Testing higher-order Lagrangian perturbation theory against numerical simulations. [Washington, D.C: National Aeronautics and Space Administration, 1995.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Center, Langley Research, ed. Sensitivity analysis of complex coupled systems to second and higher order derivatives. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1989.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Pierce, Donald A. Practical use of higher-order asymptotics for multiparameter exponential families. Corvallis, Ore: Dept. of Statistics, Oregon State University, 1991.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Pierce, Donald A. Practical use of higher-order asymptotics for multiparameter exponential families. Corvallis, Ore: Dept. of Statistics, Oregon State University, 1991.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Kocic, V. L. Global Behavior of Nonlinear Difference Equations of Higher Order with Applications. Dordrecht: Springer Netherlands, 1993.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

18

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 Leuven, Belgium). Higher order logic theorem proving and its applications: Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92. Amsterdam: North-Holland, 1993.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

19

Center, Langley Research, ed. A higher-order bending theory for laminated composite and sandwich beams. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1997.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Center, Langley Research, ed. A higher-order bending theory for laminated composite and sandwich beams. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1997.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Gordon, Michael J. C., 1948- and Melham T. F, eds. Introduction to HOL: A theorem proving environment for higher order logic. Cambridge: Cambridge University Press, 1993.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

22

O, Demuren Ayodeji, Carpenter Mark, and Institute for Computer Applications in Science and Engineering., eds. Higher-order compact schemes for numerical simulation of incompressible flows. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1998.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

23

O, Demuren A., Carpenter Mark, and Institute for Computer Applications in Science and Engineering., eds. Higher-order compact schemes for numerical simulation of incompressible flows. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1998.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

24

David, Basin, and Wolff Burkhart 1962-, eds. Theorem proving in higher order logics: 16 international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings. New York: Springer, 2003.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

25

TPHOLs '96 (1996 Turku, Finland). Theorem proving in higher order logics: 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings. Berlin: Springer, 1996.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

26

TPHOLs 2002 (2002 Hampton, Va.). Theorem proving in higher order logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. Berlin: Springer, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

27

1956-, Carreño Victor A., Muñoz César A. 1968-, and Tahar Sofiène 1966-, eds. Theorem proving in higher order logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. Berlin: Springer, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

28

TPHOLs 2000 (2000 Portland, Or.). Theorem proving in higher order logics: 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings. New York: Springer, 2000.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

29

TPHOLs 2002 (15th 2002 Hampton, Va.). Theorem proving in higher order logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. New York: Springer, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Workshop on Higher-Order Spectral Analysis (1989 Vail, Colo.). Workshop on Higher-Order Spectral Analysis: The Lodge at Vail, Vail, Colorado, June 28-30, 1989. [New York?: IEEE, 1989.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

31

F, Melham T., and Camilleri Juanito, eds. Higher order logic theorem proving and its applications: 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings. Berlin: Springer-Verlag, 1994.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

32

1960-, Joyce Jeffrey J., Seger Carl-Johan H, and HOL User's Group Workshop (6th : 1993 : Vancouver, B.C.), eds. Higher order logic theorem proving and its applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings. Berlin: Springer-Verlag, 1994.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

33

David, Hutchison. Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

34

R, Rodrigues Paulo, ed. Generalized classical mechanics and field theory: A geometrical approach of Lagrangian and Hamiltonian formalisms involving higher order derivatives. Amsterdam: North-Holland, 1985.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Makarius, Wenzel, Urban Christian, Nipkow Tobias, and SpringerLink (Online service), eds. Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

36

1967-, Schneider Klaus, and Brandt Jens 1978-, eds. Theorem proving in higher order logics: 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings. Berlin: Springer, 2007.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

1959-, Schubert E. Thomas, Windley Phillip J. 1958-, and Alves-Foss James 1964-, eds. Higher order logic theorem proving and its applications: 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings. Berlin: Springer-Verlag, 1995.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

38

TPHOLs '98 (1998 Canberra, A.C.T.). Theorem proving in higher order logics: 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings. Berlin: Springer, 1998.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

39

J, Heering, and International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands), eds. Higher-order algebra, logic, and term rewriting: First international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers. Berlin: Springer-Verlag, 1994.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Rosenthal, David M. Higher‐Order Theories of Consciousness. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199262618.003.0014.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Gennaro, Rocco J. Higher-Order Theories of Consciousness: An Anthology. Benjamins Publishing Company, John, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Jané, Ignacio. Higher‐order Logic Reconsidered. Edited by Stewart Shapiro. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780195325928.003.0026.

Повний текст джерела

Анотація:

This article discusses canonical (i.e., full, or standard) second-order consequence and argues against it being a case of logical consequence. The discussion is divided into three parts. The first part comprises the first three sections. After stating the problem in Section 1, Sections 2 and 3 examine the role that the consequence relation is expected to play in axiomatic theories. This leads to put forward two requirements on logical consequence, which are called “formality” and “noninterference.” It is this last requirement that canonical second-order consequence violates, as the article sets out to substantiate. The fourth section argues that canonical second-order logic is inadequate for axiomatizing set theory, on the grounds that it codes a significant amount of set-theoretical content.

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Maloney, J. Christopher. Higher Order Theory. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190854751.003.0005.

Повний текст джерела

Анотація:

Rosenthal's rendition of representationalism denies intentionalism. His higher order theory instead asserts that a perceptual state's phenomenal character is set by that state's being related to, because represented by, another, but higher order, cognitive state. The theory arises from the doubtful supposition of unconscious perception and mistakenly construes intrinsic phenomenal character extrinsically, as one state's serving as the content of another. Yet it remains mysterious how and why a higher order state might be so potent as to determine phenomenal character at all. Better to resist higher order theory’s embrace of dubious unconscious perceptual states and account for states so-called simply in terms of humdrum mnemonic malfeasance. Moreover, since the suspect theory allows higher order misrepresentation, it implies sufferance of impossible phenomenal character. Equally problematic, representationalism pitched at the higher order entails the existence of bogus phenomenal character when upstairs states represent downstairs nonperceptual states.

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Higher order Fourier analysis. 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Shapiro, Stewart. Higher‐order Logic. Edited by Stewart Shapiro. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780195325928.003.0025.

Повний текст джерела

Анотація:

The philosophical literature contains numerous claims on behalf of and numerous claims against higher-order logic. Virtually all of the issues apply to second-order logic (vis-à-vis first-order logic), so this article focuses on that. It develops the syntax of second-order languages and present typical deductive systems and model-theoretic semantics for them. This will help to explain the role of higher-order logic in the philosophy of mathematics. It is assumed that the reader has at least a passing familiarity with the theory and metatheory of first-order logic.

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Toledo, S. A. Tableau Systems for First Order Number Theory and Certain Higher Order Theories. Springer London, Limited, 2006.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Higher-Order Evidence: New Essays. Oxford University Press, 2019.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

48

MacBride, Fraser. Russell’s Higher-Order Judgement Relation. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198811251.003.0009.

Повний текст джерела

Анотація:

This chapter radically redraws the relationship between Russell and Wittgenstein in the 1910s, overturning the orthodox theory that Wittgenstein sunk Russell’s multiple theory of judgement. Starting from 1903, the chapter explains how Russell’s conception of the particular–universal distinction evolved under pressure from both developments in his thinking about the nature of judgement and the nature of relations, concerning the unity of the former and the direction of the latter. This shows that Russell wasn’t overcome by Wittgenstein’s criticisms of his multiple relation theory of judgement in 1913 and that Russell continued to develop the multiple relation theory up until 1919.

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Probability Matching Priors: Higher Order Asymptotics. Springer, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Gennaro, Rocco J. Higher-Order Theories of Consciousness: An Anthology (Advances in Consciousness Research). John Benjamins Publishing Co, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!