Logo
Unionpedia
Komunikasi
Temukan di Google Play
Baru! Ambil Unionpedia pada perangkat Android™ Anda!
Ambil
Akses lebih cepat ketimbang browser!
 

Bahasa formal

Indeks Bahasa formal

Pada matematika, ilmu komputer dan linguistik, suatu bahasa formal terdiri dari kata-kata yang mana simbol diambil dari alfabet dan bentukan-selaras berdasarkan seperangkat kaidah tertentu.

11 hubungan: Bahasa alami, Bahasa pemrograman, Bilangan asli, Gottlob Frege, Himpunan bagian, Ilmu komputer, Linguistik, Matematika, Semantik (linguistik), Sintaksis, String.

Bahasa alami

Dalam filsafat bahasa, bahasa alami adalah suatu bahasa yang diucapkan, ditulis, atau diisyaratkan (secara visual atau isyarat lain) oleh manusia untuk komunikasi umum.

Baru!!: Bahasa formal dan Bahasa alami · Lihat lebih »

Bahasa pemrograman

Bahasa pemrograman atau bahasa penataolahan (programming language) adalah sistem notasi untuk menulis program komputer.

Baru!!: Bahasa formal dan Bahasa pemrograman · Lihat lebih »

Bilangan asli

Bilangan asli dapat digunakan untuk menghitung (satu apel, dua apel, tiga apel,...). Dalam matematika, terdapat dua kesepakatan mengenai himpunan bilangan asli.

Baru!!: Bahasa formal dan Bilangan asli · Lihat lebih »

Gottlob Frege

Friedrich Ludwig Gottlob Frege adalah seorang filsuf logika modern.

Baru!!: Bahasa formal dan Gottlob Frege · Lihat lebih »

Himpunan bagian

Diagram Venn menunjukkan ''A'' adalah himpunan bagian ''B'' and sebaliknya ''B'' adalah superhimpunan ''A'' Dalam matematika, terutama teori himpunan, suatu himpunan A adalah himpunan bagian atau subhimpunan dari himpunan B bila A "termuat" di dalam B. A dan B boleh jadi merupakan himpunan yang sama.

Baru!!: Bahasa formal dan Himpunan bagian · Lihat lebih »

Ilmu komputer

Ilmu komputer (Computer Science), Secara umum diartikan sebagai ilmu yang mempelajari baik tentang komputasi, perangkat keras (hardware) maupun perangkat lunak (software).

Baru!!: Bahasa formal dan Ilmu komputer · Lihat lebih »

Linguistik

Linguistik (serapan dari linguistikus) atau ilmu bahasa (gabungan dari ilmu + bahasa) adalah ilmu yang mempelajari tentang bahasa.

Baru!!: Bahasa formal dan Linguistik · Lihat lebih »

Matematika

Tidak ada perupaan atau penjelasan tentang wujud fisik Euklides yang dibuat selama masa hidupnya yang masih bertahan dari zaman kuno. Oleh karena itu, penggambaran Euklides di dalam karya seni bergantung pada daya khayal seniman (''lihat Euklides''). Matematika, adalah bidang ilmu, yang mencakup studi tentang topik-topik seperti bilangan (aritmetika dan teori bilangan), rumus dan struktur terkait (aljabar), bangun dan ruang tempat mereka berada (geometri), dan besaran serta perubahannya (kalkulus dan analisis).

Baru!!: Bahasa formal dan Matematika · Lihat lebih »

Semantik (linguistik)

Semantik adalah cabang linguistik yang menyelidiki tentang makna bahasa.

Baru!!: Bahasa formal dan Semantik (linguistik) · Lihat lebih »

Sintaksis

Dalam linguistik, sintaksis (serapan dari syntaxis) atau ilmu nahu adalah ilmu mengenai prinsip dan peraturan untuk membuat kalimat dalam bahasa alami.

Baru!!: Bahasa formal dan Sintaksis · Lihat lebih »

String

String pada DNA yang terdiri dari basis nitrogenus. String biner pada (Hyper)cube dengan panjang digit 3 String atau disebut juga untaian dalam pemrograman komputer adalah sebuah deret simbol.

Baru!!: Bahasa formal dan String · Lihat lebih »

KeluarMasuk
Hei! Kami di Facebook sekarang! »