Search Results for Logic - Narrowed by: 2001SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dPUBDATE$002509Publication$002bDate$0025092001$0025092001$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2024-10-21T10:37:55ZMathematical logicent://SD_ILS/0/SD_ILS:2566002024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504234">http://www.sciencedirect.com/science/book/9780444504234</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7482024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Advances in modal logicent://SD_ILS/0/SD_ILS:780632024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Kracht, Marcus, ed.<br/>Preferred Shelf Number BC 199.M6 A38 1998- V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Chance, love and logic : philosophical essaysent://SD_ILS/0/SD_ILS:674642024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.<br/>Preferred Shelf Number B 945.P43 C5 1923 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Studies in inductive logic and probabilityent://SD_ILS/0/SD_ILS:354992024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Preferred Shelf Number QA 273.4 C37 1971-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The Logic of Concept Expansionent://SD_ILS/0/SD_ILS:2348802024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Buzaglo, Meir.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511487460">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to probability and inductive logicent://SD_ILS/0/SD_ILS:817202024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Hacking, Ian.<br/>Preferred Shelf Number BC 141 H33 2001<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The technique of controversy : principles of dynamic logicent://SD_ILS/0/SD_ILS:725432024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Bogoslovsky, Boris Basil, 1890-<br/>Preferred Shelf Number BC 108 B65 1928 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The limits of science : outline of logic and of the methodology of the exact sciencesent://SD_ILS/0/SD_ILS:725572024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Postmodernism, or, The cultural logic of late capitalisment://SD_ILS/0/SD_ILS:760422024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Jameson, Fredric.<br/>Preferred Shelf Number PN 98.P67 J3 1991<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Introduction to fuzzy sets, fuzzy logic, and fuzzy control systemsent://SD_ILS/0/SD_ILS:2867712024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Chen, G. (Guanrong) Pham, Trung Tat.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420039818">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning and soft computing : support vector machines, neural networks, and fuzzy logic modelsent://SD_ILS/0/SD_ILS:841882024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Kecman, Vojislav, 1948-<br/>Preferred Shelf Number QA76.9.S63 K43 2001<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Learning and soft computing support vector machines, neural networks, and fuzzy logic modelsent://SD_ILS/0/SD_ILS:2199052024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Kecman, V. (Vojislav), 1948-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267294">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267294</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engines of logic : mathematicians and the origin of the computerent://SD_ILS/0/SD_ILS:1326742024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Davis, Martin.<br/>Preferred Shelf Number QA76.5 D38 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Kripke modelleri üzerinde standard olmayan mantığın elamanları = Elements of non-standard logic on kripke modelsent://SD_ILS/0/SD_ILS:713002024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Yaşar, Ramazan.<br/>Preferred Shelf Number TEZ 4862 .Y26 2001<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of inductionent://SD_ILS/0/SD_ILS:725272024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Nicod, Jean, 1893-1924.<br/>Preferred Shelf Number QA 681 N5 1930 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logical studiesent://SD_ILS/0/SD_ILS:725392024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 6 W72 1957 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A treatise on induction and probabilityent://SD_ILS/0/SD_ILS:554432024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 91 W72 1951 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Rudiments of [mu]-calculusent://SD_ILS/0/SD_ILS:2565632024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Arnold, A. (André), 1945- Niwiński, Damian.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506207">http://www.sciencedirect.com/science/book/9780444506207</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The foundations of mathematics : and other logical essaysent://SD_ILS/0/SD_ILS:725412024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The nature of mathematics : a critical surveyent://SD_ILS/0/SD_ILS:725422024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>An examination of logical positivisment://SD_ILS/0/SD_ILS:442232024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number QA 9 H415 1971- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Communication : a philosophical study of languageent://SD_ILS/0/SD_ILS:725002024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Britton, Karl, 1909-<br/>Preferred Shelf Number P 105 B75 1939 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Dialecticent://SD_ILS/0/SD_ILS:725012024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Adler, Mortimer Jerome, 1902-<br/>Preferred Shelf Number BC 177 A4 1927 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The logical syntax of languageent://SD_ILS/0/SD_ILS:725092024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Nonlinear biomedical signal processingent://SD_ILS/0/SD_ILS:769432024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Akay, Metin.<br/>Preferred Shelf Number QT 26.5 N813 2000-<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>Nonlinear biomedical signal processingent://SD_ILS/0/SD_ILS:790682024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.<br/>Preferred Shelf Number R 857.S47 N66 2000- V.2<br/>Format: Books<br/>Availability Beytepe Library~3<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>FPGA '01 : ACM/SIGDA ninth International Symposium on Field Programmable Gate Arrays : Monterey, California, USAent://SD_ILS/0/SD_ILS:720232024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor ACM International Symposium on Field-Programmable Gate Arrays (9th : 2001 : Monterey, Calif.) ACM Special Interest Group on Design Automation.<br/>Preferred Shelf Number TK 7895.G36 A36 2001<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Design of high-performance microprocessor circuitsent://SD_ILS/0/SD_ILS:2496992024-10-21T10:37:55Z2024-10-21T10:37:55ZAuthor Chandrakasan, Anantha P. Bowhill, William J. Fox, Frank, 1952-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5266000">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5266000</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>