ヘルプ
ヘルプ

検索結果 21 件

Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer. (Encyclopedia of mathematics and its applications ; 134)

Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer. (Encyclopedia of mathematics and its applications ; 134)
紙図書
Cambridge University Press2010.<MA67-B63>
国立国会図書館全国の図書館
  • 要約等...ics related to Boolean functions and expressions. T......pective fields and cover topics ranging from algebra and propositional logic to learning th......l engineering, and reliability th......estions raised and investigated i......cepts, models, and tools provided by Boolean theory. Many r......r their understanding of their ow......fic discipline and to explore new......ics related to Boolean functions and expressions. T......pective fields and cover topics ranging from algebra and propositional logic to learning th......l engineering, and reliability th......estions raised and investigated i......cepts, models, and tools provided by Boolean the...
  • 件名Algebra, Boolean. Probabilities.

Logic and boolean algebra

Logic and boolean algebra
紙図書
B. H. ArnoldDover Publications2011
全国の図書館
  • 件名Algebra, Boolean
  • 件名（識別子）Algebra, Boolean
  • 一般注記...cal references and index

Digital techniques / [prepared by Hugh L. Frazier ; prepared by 3300 Technical Training Wing (ATC)]

Digital techniques / [prepared by Hugh L. Frazier ; prepared by 3300 Technical Training Wing (ATC)]
マイクロ図書
1984<YCA-D 301.26/17-4:10005 530 006 7811 DIGB>
国立国会図書館
  • 内容細目unit 2. Digital logic and Boolean algebra / [prepared by William E. Tip...
  • 件名United States. Air Force -- Handbooks, manuals,...... computers -- Handbooks, manuals,......ted States -- Handbooks, manuals, etc

Boolean algebra, classical logic, cellular automata, and probability manipulations 1st. revision

Boolean algebra, classical logic, cellular automata, and probability manipulations 1st. revision
紙図書
David J. BlowerThird Millennium Inferencing2017
全国の図書館

Logic characterized by Boolean algebras with conjugate (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)

Logic characterized by Boolean algebras with conjugate (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)
デジタル記事
2013-08数理解析研究所講究録1846p.46-52
インターネットで読める全国の図書館
  • 標準番号（その他）http://hdl.handle.net/2433/195052

Logic characterized by Boolean algebras with conjugate (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)

pdfを表すアイコン
デジタル記事
Kondo, Michiro京都大学数理解析研究所2013-08数理解析研究所講究録1846p.46-52
インターネットで読める全国の図書館

資料 : 「コンピュータ数学」のための実習教材IV : ブール代数と論理回路

資料 : 「コンピュータ数学」のための実習教材IV : ブール代数と論理回路
紙記事
吉田, 律亜細亜大学短期大学部学術研究所2001経営学紀要8 2p.167-176
全国の図書館
  • 並列タイトル等（連結）...thematics. IV. Boolean Algebra and Logic Circuits
  • 並列タイトル等...thematics. IV. Boolean Algebra and Logic Circuits

Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets : pbk

Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets : pbk
紙図書
John GreggIEEE Pressc1998
全国の図書館
  • 件名...uits -- Design Logic, Symbolic and mathematical Algebra, Boolean Set theory
  • 件名（識別子）...uits -- Design Logic, Symbolic and mathematical Algebra, Boolean Set theory
  • 関連情報IEEE Press understanding science & technology serie...

Logic and Boolean algebra

Logic and Boolean algebra
紙図書
by Kathleen Levitz, Hilbert LevitzBarron's Educational Seriesc1979
全国の図書館
  • 件名Logic, Symbolic and mathematical Algebra, Boolean
  • 件名（識別子）Logic, Symbolic and mathematical Algebra, Boolean

Navy electricity and electronics training series

Navy electricity and electronics training series
マイクロ図書
1979<YCA-D 207.208/4:El 2/2/module 9>
国立国会図書館
  • 内容細目module 9. Introduction to wave-generation and wave-shaping circuits / Earl ...
  • 件名Electric currents, Alternating Electric transformers Logic circuits
  • 一般注記Cover title "Naval Education and Training Command." Includes index Description ...

Logic and Boolean algebra

Logic and Boolean algebra
デジタル図書
B.H. ArnoldPrentice-Hall1962
全国の図書館
  • 件名Algebra, Boolean
  • 件名（識別子）Algebra, Boolean
  • 一般注記Includes bibliography and index

Thinking machines : a layman's introduction to logic, Boolean algebra, and computers

Thinking machines : a layman's introduction to logic, Boolean algebra, and computers
紙図書
With diagrs. by Ruth and Peggy AdlerJohn Day Coc 1974
全国の図書館

Boolesche Algebra und Logik-Entwurf : Eine programmierte Einführung

Boolesche Algebra und Logik-Entwurf : Eine programmierte Einführung
紙図書
Gerhard E. Hoernes und Melvin F. HeilweilR. Oldenbourg1968
全国の図書館
  • 並列タイトル等（連結）Introduction to Boolean algebra and logic design
  • 並列タイトル等Introduction to Boolean algebra and logic design

Semi-Boolean algebras and their applications to intuitionistic logic with dual operations

Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
デジタル記事
1974Fundamenta Mathematicae83 3p.219-249
全国の図書館
  • 件名Algebra and Number Theory
  • 参照...g Completeness and the Finite Mod......c Stable Tense Logics

Logic machines, diagrams and Boolean algebra

Logic machines, diagrams and Boolean algebra
紙図書
by Martin GardnerDover1968.
全国の図書館
  • 関連情報Dover books explaining science and mathematics
  • 掲載誌Dover books explaining science and mathematics

Introduction a l'algèbre de Boole et aux dispositifs logiques

Introduction a l'algèbre de Boole et aux dispositifs logiques
紙図書
par Gerhard E. Hoernes, Melvin F. Heilweil ; traduit par J. GuyotDunod1966, c1964
全国の図書館
  • 並列タイトル等（連結）Introduction to Boolean algebra and logic design
  • 並列タイトル等Introduction to Boolean algebra and logic design

Hermann Dishkant. The first order predicate calculus based on the logic of quantum mechanics. Reports on mathematical logic, no. 3 (1974), pp. 9–17. - G. N. Georgacarakos. Orthomodularity and relevance. Journal of philosophical logic, vol. 8 (1979), pp. 415–432. - G. N. Georgacarakos. Equationally definable implication algebras for orthomodular lattices. Studia logica, vol. 39 (1980), pp. 5–18. - R. J. Greechie and S. P. Gudder. Is a quantum logic a logic?Helvetica physica acta, vol. 44 (1971), pp. 238–240. - Gary M. Hardegree. The conditional in abstract and concrete quantum logic. The logico-algehraic approach to quantum mechanics, volume II, Contemporary consolidation, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–108. - Gary M. Hardegree. Material implication in orthomodular (and Boolean) lattices. Notre Dame journal of formal logic, vol. 22 (1981), pp. 163–182. - J. M. Jauch and C. Piron. What is “quantum-logic”?Quanta, Essays in theoretical physics dedicated to Gregor Wentzel, edited by P. G. O. Freund, C. J. Goebel, and Y. Nambu, The University of Chicago Press, Chicago and London1970, pp. 166–181. - Jerzy Kotas. <i>An axiom system for the modular logic</i>. English with Polish and Russian summaries. Studia logica, vol. 21 (1967), pp. 17–38. - P. Mittelstaedt. <i>On the interpretation of the lattice of subspaces of the Hilbert space as a propositional calculus</i>. Zeitschrift für Naturforschung, vol. 27a no. 8–9 (1972), pp. 1358–1362. - J. Jay Zeman. <i>Generalized normal logic</i>. Journal of philosophical logic, vol. 7(1978), pp. 225–243.

Hermann Dishkant. The first order predicate calculus based on the logic of quantum mechanics. Reports on mathematical logic, no. 3 (1974), pp. 9–17. - G. N. Georgacarakos. Orthomodularity and relevance. Journal of philosophical logic, vol. 8 (1979), pp. 415–432. - G. N. Georgacarakos. Equationally definable implication algebras for orthomodular lattices. Studia logica, vol. 39 (1980), pp. 5–18. - R. J. Greechie and S. P. Gudder. Is a quantum logic a logic?Helvetica physica acta, vol. 44 (1971), pp. 238–240. - Gary M. Hardegree. The conditional in abstract and concrete quantum logic. The logico-algehraic approach to quantum mechanics, volume II, Contemporary consolidation, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–108. - Gary M. Hardegree. Material implication in orthomodular (and Boolean) lattices. Notre Dame journal of formal logic, vol. 22 (1981), pp. 163–182. - J. M. Jauch and C. Piron. What is “quantum-logic”?Quanta, Essays in theoretical physics dedicated to Gregor Wentzel, edited by P. G. O. Freund, C. J. Goebel, and Y. Nambu, The University of Chicago Press, Chicago and London1970, pp. 166–181. - Jerzy Kotas. <i>An axiom system for the modular logic</i>. English with Polish and Russian summaries. Studia logica, vol. 21 (1967), pp. 17–38. - P. Mittelstaedt. <i>On the interpretation of the lattice of subspaces of the Hilbert space as a propositional calculus</i>. Zeitschrift für Naturforschung, vol. 27a no. 8–9 (1972), pp. 1358–1362. - J. Jay Zeman. <i>Generalized normal logic</i>. Journal of philosophical logic, vol. 7(1978), pp. 225–243.
デジタル記事
1983-03Journal of Symbolic Logic48 1p.206-208
全国の図書館
  • 件名Logic Philosophy

Introduction to Boolean algebra and logic design : a program for self-instruction

Introduction to Boolean algebra and logic design : a program for self-instruction
紙図書
by Gerhard E. Hoernes and Melvin F. HeilweilMcGraw-Hill1964
全国の図書館
  • 件名Computer engineering -- Programmed instruction Logic design
  • 件名（識別子）Computer engineering -- Programmed instruction Logic design

Thinking machines : a layman's introduction to logic, Boolean algebra, and computers

Thinking machines : a layman's introduction to logic, Boolean algebra, and computers
紙図書
Irving AdlerNew American Library1962
全国の図書館

Thinking machines : a layman's introduction to logic, Boolean algebra, and computers

Thinking machines : a layman's introduction to logic, Boolean algebra, and computers
紙図書
by Irving Adler, with diagrams by Ruth AdlerDennis Dobson1961
全国の図書館