Search Results for Logic. - Narrowed by: 2001

Mathematical logic

2024-11-14T13:32:41Z

Author Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444504234
Format: Electronic Resources
Availability Online Library~1

Introduction to logic

2024-11-14T13:32:41Z

Author Suppes, Patrick Colonel, 1922-
Preferred Shelf Number BC 108 S85 1957
Format: Books
Availability Beytepe Library~1

Advances in modal logic

2024-11-14T13:32:41Z

Author Kracht, Marcus, ed.
Preferred Shelf Number BC 199.M6 A38 1998- V.1
Format: Books
Availability Beytepe Library~2

Logic : the theory of formal inference

2024-11-14T13:32:41Z

Author Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.
Preferred Shelf Number BC 108 A55 1972
Format: Books
Availability Beytepe Library~1

Mathematical logic : A course with exercises

2024-11-14T13:32:41Z

Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number QA 9 C742513 2000 PT.1
Format: Books
Availability Beytepe Library~2

Chance, love and logic : philosophical essays

2024-11-14T13:32:41Z

Author Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.
Preferred Shelf Number B 945.P43 C5 1923 (SET)
Format: Books
Availability Beytepe Library~1

Studies in inductive logic and probability

2024-11-14T13:32:41Z

Author Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.
Preferred Shelf Number QA 273.4 C37 1971-
Format: Books
Availability Beytepe Library~1

The Logic of Concept Expansion

2024-11-14T13:32:41Z

Author Buzaglo, Meir.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

An introduction to probability and inductive logic

2024-11-14T13:32:41Z

Author Hacking, Ian.
Preferred Shelf Number BC 141 H33 2001
Format: Books
Availability Beytepe Library~1

The limits of science : outline of logic and of the methodology of the exact sciences

2024-11-14T13:32:41Z

Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Preferred Shelf Number Q 175 C494 1948 A (SET)
Format: Books
Availability Beytepe Library~1

The technique of controversy : principles of dynamic logic

2024-11-14T13:32:41Z

Author Bogoslovsky, Boris Basil, 1890-
Preferred Shelf Number BC 108 B65 1928 (SET)
Format: Books
Availability Beytepe Library~1

Postmodernism, or, The cultural logic of late capitalism

2024-11-14T13:32:41Z

Author Jameson, Fredric.
Preferred Shelf Number PN 98.P67 J3 1991
Format: Books
Availability Beytepe Library~2

Introduction to fuzzy sets, fuzzy logic, and fuzzy control systems

2024-11-14T13:32:41Z

Author Chen, G. (Guanrong) Pham, Trung Tat.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Learning and soft computing support vector machines, neural networks, and fuzzy logic models

2024-11-14T13:32:41Z

Author Kecman, V. (Vojislav), 1948-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267294
Format: Electronic Resources
Availability Online Library~1

Kripke modelleri üzerinde standard olmayan mantığın elamanları = Elements of non-standard logic on kripke models

2024-11-14T13:32:41Z

Author Yaşar, Ramazan.
Preferred Shelf Number TEZ 4862 .Y26 2001
Format: Books
Availability Beytepe Library~1

Engines of logic : mathematicians and the origin of the computer

2024-11-14T13:32:41Z

Author Davis, Martin.
Preferred Shelf Number QA76.5 D38 2000
Format: Books
Availability Beytepe Library~1

Learning and soft computing : support vector machines, neural networks, and fuzzy logic models

2024-11-14T13:32:41Z

Author Kecman, Vojislav, 1948-
Preferred Shelf Number QA76.9.S63 K43 2001
Format: Books
Availability Beytepe Library~2

A treatise on induction and probability

2024-11-14T13:32:41Z

Author Wright, Georg Henrik von, 1916-
Preferred Shelf Number BC 91 W72 1951 (SET)
Format: Books
Availability Beytepe Library~1

Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction

2024-11-14T13:32:41Z

Author Nicod, Jean, 1893-1924.
Preferred Shelf Number QA 681 N5 1930 (SET)
Format: Books
Availability Beytepe Library~1

Logical studies

2024-11-14T13:32:41Z

Author Wright, Georg Henrik von, 1916-
Preferred Shelf Number BC 6 W72 1957 (SET)
Format: Books
Availability Beytepe Library~1

Rudiments of [mu]-calculus

2024-11-14T13:32:41Z

Author Arnold, A. (André), 1945- Niwiński, Damian.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444506207
Format: Electronic Resources
Availability Online Library~1

An examination of logical positivism

2024-11-14T13:32:41Z

Author Weinberg, Julius Rudolf, 1908-
Preferred Shelf Number B 824.6 W434 1936 (SET)
Format: Books
Availability Beytepe Library~1

Cylindric algebras

2024-11-14T13:32:41Z

Author Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.
Preferred Shelf Number QA 9 H415 1971- V.1
Format: Books
Availability Beytepe Library~1

The foundations of mathematics : and other logical essays

2024-11-14T13:32:41Z

Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Preferred Shelf Number QA 9 R23 1931
Format: Books
Availability Beytepe Library~1

The nature of mathematics : a critical survey

2024-11-14T13:32:41Z

Author Black, Max, 1909-
Preferred Shelf Number QA 9 B62 1933 (SET)
Format: Books
Availability Beytepe Library~1

Communication : a philosophical study of language

2024-11-14T13:32:41Z

Author Britton, Karl, 1909-
Preferred Shelf Number P 105 B75 1939 (SET)
Format: Books
Availability Beytepe Library~1

Dialectic

2024-11-14T13:32:41Z

Author Adler, Mortimer Jerome, 1902-
Preferred Shelf Number BC 177 A4 1927 (SET)
Format: Books
Availability Beytepe Library~1

The logical syntax of language

2024-11-14T13:32:41Z

Author Carnap, Rudolf, 1891-1970.
Preferred Shelf Number BC 135 C323 1937 P (SET)
Format: Books
Availability Beytepe Library~1

Nonlinear biomedical signal processing

2024-11-14T13:32:41Z

Author Akay, Metin.
Preferred Shelf Number QT 26.5 N813 2000-
Format: Books
Availability Health Sciences Library~1

Nonlinear biomedical signal processing

2024-11-14T13:32:41Z

Author Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.
Preferred Shelf Number R 857.S47 N66 2000- V.2
Format: Books
Availability Beytepe Library~3

İslam mantık tarihi ve Farabi mantığı

2024-11-14T13:32:41Z

Author Keklik, Nihat.
Preferred Shelf Number BC 34 K4 1969-70
Format: Books
Availability Beytepe Library~1

Design of high-performance microprocessor circuits

2024-11-14T13:32:41Z

Author Chandrakasan, Anantha P. Bowhill, William J. Fox, Frank, 1952-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5266000
Format: Electronic Resources
Availability Online Library~1

FPGA '01 : ACM/SIGDA ninth International Symposium on Field Programmable Gate Arrays : Monterey, California, USA

2024-11-14T13:32:41Z

Author ACM International Symposium on Field-Programmable Gate Arrays (9th : 2001 : Monterey, Calif.) ACM Special Interest Group on Design Automation.
Preferred Shelf Number TK 7895.G36 A36 2001
Format: Books
Availability Beytepe Library~1