検索結果 119 件
紙記事
国立国会図書館全国の図書館
紙図書
国立国会図書館
- 内容細目...asic Principle of the Verificati......nt Formulation of the Problem Fi......closure Method of Solutions Crit......Simple Example of FS-Int Other Examples of FS-Int Case of Non-convex Dom......on Computation of the Constant c......h) Computation of the Constants ......c₄ Computation of the Constant K₁ Computation of the Constant K₂ Computation of the Constant K......Simple Example of FN-Int Other Examples of FN-Int Simplif......ion An Example of Direct Residua......g Verification of the Local Uniq......e Verification of the Local Uniq......cal Uniqueness of the Solution V......ming Extension of the Region for Local Uniquene...
紙図書
国立国会図書館全国の図書館
- 内容細目...al realization of quantum mechan......Time evolution of wave function ......and eigenstate of Hamiltonian 3.......Basic concepts of quantum mechan......Quantum states of spin 1/2 parti......r Transmission of quantum states......cs Measurement of two correlated......lation: a case of nuclear fissio......and complexity of computation Arithmetic operations Fac......n and decision of prime numbers ......ity and amount of computation Lo......ase) 7. Theory of information an......entropy Amount of information En......hm Calculation of modular expone......ysical devices of quantum comput......NMR) computers Principles of NMR computers NMR and spin...
デジタル記事
全国の図書館
- 要約等...y the strength of Ramsey’s Theor......ve assignments of<jats:italic>k<......nistic Heyting Arithmetic. We prove that......ve assignments of<jats:italic>k<......sser Principle of Omniscience fo......s over Heyting Arithmetic. Alternatively......intuitionistic arithmetic is equivalent ...... many children of index<jats:italic>i</jats:ita...
- 参照Refining the arithmetical hierarchy of classical principles
デジタル記事
インターネットで読める全国の図書館
- 要約等We refine the arithmetical hierarchy of various classical principles by finely inve...... between these principles over Heyting arithmetic. We mainly inv......icted versions of the law of excluded middle, De Morgan's ...
- 参照A generalization of a conservativi......intuitionistic arithmetic RAMSEY’S THEOR......ICAL PRINCIPLE OF ARITHMETIC Some principles weaker than Ma......SEMI-CLASSICAL ARITHMETIC Applications of Kripke models ......TIES Fragments of Heyting arithmetic On the Disjunc...... A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles A Logical Characterization of the Continuous......r Induction An arithmetical hierarchy of the law of excluded middle and related principles INTERRELATION ......WEAK FRAGMENTS OF DOUBLE NEGATIO......FT AND RELATED PRINCIPLES Weihrauch and ......esis and Lindelöf's theorem Logic and Structure...
紙図書
国立国会図書館全国の図書館
- 内容細目...l perspectives of the theory of Yojo as an interface of health,self,an......on and control of noncommunicabl......か著 Development of a robot-assist......ding aloud and arithmetic calculation Yu...... northern part of the Western pa......rd development of intervention m......ning the sense of coherence Yosh......am 著 A network of healthy cities......著 Cost-benefit of health promoti......ation in terms of settings Healt......ida 著 Outcomes of lifestyle impr......haracteristics of workplace heal......ation in terms of lifestyles Evidence of physical activ...... interventions of energy restric......for prevention of hypertensive risk in Asian ad...
デジタル記事
インターネットで読める全国の図書館
- 要約等...in the context of reverse mathem...... strong theory of second-order arithmetic, while natural......rmula>) and to arithmetical comprehensio......alized version of Ekeland’s vari......a rare example of a statement about continuous ...
- 参照An extension of Ekeland's vari......etamathematics of First-Order Arithmetic Subsystems of Set Theory and Second Order N...
デジタル記事
インターネットで読める全国の図書館
デジタル記事
インターネットで読める全国の図書館
紙記事
国立国会図書館全国の図書館
- 並列タイトル等（連結）A Study of content configuration method based on Meiji era arithmetic textbook counted principle
- 並列タイトル等A Study of content configuration method based on Meiji era arithmetic textbook counted principle
デジタル記事
インターネットで読める全国の図書館
- 要約等The theorem of Ajtai ([1], im......r AC⁰-Frege proofs of the pigeonhole......t breakthrough of proof complexity and...... the strengths of modular counting principles and the pigeon......iple. In terms of bounded arithmetics, the theorem ......om the bounded arithmetic V⁰. Along the stream of researches, [7...... formalization of the pigeonhole...... formalization of odd town theor...... formalization of Fisher's inequ......give a summary of the work of [7], supplemen......nd motivations of it, and propose the future pe...
- 件名Proof complexity AC⁰......system bounded arithmetic V⁰ Ajtai's the......stellensatz proof system pigeonhole principle m...
デジタル記事
インターネットで読める全国の図書館
- 件名Proof complexity AC⁰......system bounded arithmetic V⁰ Ajtai's the......stellensatz proof system pigeonhole principle m...
デジタル記事
インターネットで読める全国の図書館
デジタル記事
インターネットで読める全国の図書館
紙記事
国立国会図書館全国の図書館
- 並列タイトル等（連結）...able successes of elementary school teachers of Fukuoka Prefecture in their arithmetic classes in recent several yea...
- 並列タイトル等...able successes of elementary school teachers of Fukuoka Prefecture in their arithmetic classes in recent several yea...
記事
全国の図書館