Arama Sonuçları Logic - Daraltılmış: 2001SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092001$0025092001$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?2025-01-08T17:55:01ZMathematical logicent://SD_ILS/0/SD_ILS:2566002025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504234">http://www.sciencedirect.com/science/book/9780444504234</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7482025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Suppes, Patrick Colonel, 1922-<br/>Yer Numarası BC 108 S85 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Advances in modal logicent://SD_ILS/0/SD_ILS:780632025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Kracht, Marcus, ed.<br/>Yer Numarası BC 199.M6 A38 1998- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Studies in inductive logic and probabilityent://SD_ILS/0/SD_ILS:354992025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Yer Numarası QA 273.4 C37 1971-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Chance, love and logic : philosophical essaysent://SD_ILS/0/SD_ILS:674642025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.<br/>Yer Numarası B 945.P43 C5 1923 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numarası QA 9 C742513 2000 PT.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Yer Numarası BC 108 A55 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The Logic of Concept Expansionent://SD_ILS/0/SD_ILS:2348802025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Buzaglo, Meir.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511487460">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An introduction to probability and inductive logicent://SD_ILS/0/SD_ILS:817202025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Hacking, Ian.<br/>Yer Numarası BC 141 H33 2001<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The technique of controversy : principles of dynamic logicent://SD_ILS/0/SD_ILS:725432025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Bogoslovsky, Boris Basil, 1890-<br/>Yer Numarası BC 108 B65 1928 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The limits of science : outline of logic and of the methodology of the exact sciencesent://SD_ILS/0/SD_ILS:725572025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Yer Numarası Q 175 C494 1948 A (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Postmodernism, or, The cultural logic of late capitalisment://SD_ILS/0/SD_ILS:760422025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Jameson, Fredric.<br/>Yer Numarası PN 98.P67 J3 1991<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Engines of logic : mathematicians and the origin of the computerent://SD_ILS/0/SD_ILS:1326742025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Davis, Martin.<br/>Yer Numarası QA76.5 D38 2000<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Kripke modelleri üzerinde standard olmayan mantığın elamanları = Elements of non-standard logic on kripke modelsent://SD_ILS/0/SD_ILS:713002025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Yaşar, Ramazan.<br/>Yer Numarası TEZ 4862 .Y26 2001<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Learning and soft computing : support vector machines, neural networks, and fuzzy logic modelsent://SD_ILS/0/SD_ILS:841882025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Kecman, Vojislav, 1948-<br/>Yer Numarası QA76.9.S63 K43 2001<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Introduction to fuzzy sets, fuzzy logic, and fuzzy control systemsent://SD_ILS/0/SD_ILS:2867712025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Chen, G. (Guanrong) Pham, Trung Tat.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420039818">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Learning and soft computing support vector machines, neural networks, and fuzzy logic modelsent://SD_ILS/0/SD_ILS:2199052025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Kecman, V. (Vojislav), 1948-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of inductionent://SD_ILS/0/SD_ILS:725272025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Nicod, Jean, 1893-1924.<br/>Yer Numarası QA 681 N5 1930 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logical studiesent://SD_ILS/0/SD_ILS:725392025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 6 W72 1957 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A treatise on induction and probabilityent://SD_ILS/0/SD_ILS:554432025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 91 W72 1951 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Rudiments of [mu]-calculusent://SD_ILS/0/SD_ILS:2565632025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Arnold, A. (André), 1945- Niwiński, Damian.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506207">http://www.sciencedirect.com/science/book/9780444506207</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The foundations of mathematics : and other logical essaysent://SD_ILS/0/SD_ILS:725412025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Yer Numarası QA 9 R23 1931<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The nature of mathematics : a critical surveyent://SD_ILS/0/SD_ILS:725422025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Black, Max, 1909-<br/>Yer Numarası QA 9 B62 1933 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An examination of logical positivisment://SD_ILS/0/SD_ILS:442232025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Weinberg, Julius Rudolf, 1908-<br/>Yer Numarası B 824.6 W434 1936 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Yer Numarası QA 9 H415 1971- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Nonlinear biomedical signal processingent://SD_ILS/0/SD_ILS:769432025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Akay, Metin.<br/>Yer Numarası QT 26.5 N813 2000-<br/>Format: Kitap<br/>Durum Sağlık Bilimleri Kütüphanesi~1<br/>Communication : a philosophical study of languageent://SD_ILS/0/SD_ILS:725002025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Britton, Karl, 1909-<br/>Yer Numarası P 105 B75 1939 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logical syntax of languageent://SD_ILS/0/SD_ILS:725092025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Carnap, Rudolf, 1891-1970.<br/>Yer Numarası BC 135 C323 1937 P (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Dialecticent://SD_ILS/0/SD_ILS:725012025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Adler, Mortimer Jerome, 1902-<br/>Yer Numarası BC 177 A4 1927 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Nonlinear biomedical signal processingent://SD_ILS/0/SD_ILS:790682025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.<br/>Yer Numarası R 857.S47 N66 2000- V.2<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>FPGA '01 : ACM/SIGDA ninth International Symposium on Field Programmable Gate Arrays : Monterey, California, USAent://SD_ILS/0/SD_ILS:720232025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar ACM International Symposium on Field-Programmable Gate Arrays (9th : 2001 : Monterey, Calif.) ACM Special Interest Group on Design Automation.<br/>Yer Numarası TK 7895.G36 A36 2001<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Design of high-performance microprocessor circuitsent://SD_ILS/0/SD_ILS:2496992025-01-08T17:55:01Z2025-01-08T17:55:01ZYazar Chandrakasan, Anantha P. Bowhill, William J. Fox, Frank, 1952-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>