Hasil Pencarian

Ditemukan 41 dokumen yang sesuai dengan query

Copi, Irving M., author

Symbolic logic

New Jersey: Prentice-Hall, 1979

511.3 COP s

Buku Teks Universitas Indonesia Library

Langer, Susanne, author

An introduction to symbolic logic

New York: Dover, 1967

511.3 LAN i

Buku Teks Universitas Indonesia Library

Kurtz, David C., author

Foundations of abstract mathematics

New York: McGraw-Hill, 1992

511.3 KUR f

Buku Teks Universitas Indonesia Library

Morash, Ronald P., author

Bridge to abstract mathematics: mathematical proof and structures

New York: Random House, 1987

511.3 MOR b

Buku Teks Universitas Indonesia Library

Dalen, Dirk van, author

Logic and structure

Berlin: Springer-Verlag, 1994

511.3 DAL l

Buku Teks Universitas Indonesia Library

Sagitra Tri Meizanda, author

Analisis Biclustering pada Data Indikator Kesejahteraan Rakyat di Pulau Papua Tahun 2021 Menggunakan Algoritma Cheng and Church = Biclustering Analysis of Welfare Indicators Data on Papua Island in 2021 Using Cheng and Church Algorithm

Indeks Pembangunan Manusia (IPM) merupakan salah satu indikator yang dapat digunakan untuk menggambarkan tingkat kesejahteraan rakyat di Indonesia. Pada tahun 2021, Provinsi Papua dan Papua Barat menempati dua urutan terakhir berdasarkan nilai IPM di Indonesia. Hal ini menandakan bahwa kesejahteraan masyarakat di Provinsi Papua dan Papua Barat dalam menikmati hasil...

Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2023

S-pdf

UI - Skripsi Membership Universitas Indonesia Library

Stoll, Robert R.

Set theory and logic / Robert R. Stoll

New York: Dover , 1961

511.3 STO s

Buku Teks Universitas Indonesia Library

Atanassov, Krassimir T., author

On intuitionistic fuzzy sets theory

This book aims to be a comprehensive and accurate survey of state-of-art research on intuitionistic fuzzy sets theory and could be considered a continuation and extension of the authorś previous book. The research activity of the author within the area of intuitionistic fuzzy sets has been expanding into many directions....

Berlin: [Springer, Springer], 2012

e20398620

eBooks Universitas Indonesia Library

Mundici, Daniele, author

Logic : a brief course

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself...

Milan: Springer, 2012

e20420479

eBooks Universitas Indonesia Library

Schagrin, Morton L., author

The Language of logic: a programed text

New York : Random House , 1968

005.113 SCH l

Buku Teks Universitas Indonesia Library

<< 1 2 3 4 5 >>

Hasil Pencarian :: Kembali

Hasil Pencarian