| Bahasa : |
|
| Masyarakat ensiklopedia |Ensiklopedia Jawaban |Kirim pertanyaan |Pengetahuan kosakata |Upload pengetahuan |
Tinggi Orde Logika |
|
Logika Orde dalam matematika, logika tingkat tinggi dalam banyak aspek dari logika orde pertama. Salah satunya adalah jenis variabel muncul dalam kuantisasi tersebut; Secara kasar, logika predikat orde pertama dilarang diukur. Memungkinkan sistem untuk melakukannya, lihat logika orde kedua. Logika Orde berbeda dari cara lain logika orde pertama diperbolehkan dalam struktur jenis yang mendasari. Orde predikat adalah predikat sebagai parameter menerima predikat lainnya. Secara umum, tingkat tinggi predikat urutan n menerima satu atau lebih (n - 1)-order predikat sebagai parameter, di mana n> 1. Komentar serupa pada fungsi tingkat tinggi juga benar. Logika agar lebih ekspresif, tetapi sifat mereka, terutama dalam kaitannya dengan teori model, sehingga mereka tidak dapat melakukan dengan baik untuk banyak aplikasi. Sebagai kesimpulan logika klasik Gödel tidak memungkinkan tingkat tinggi (rekursif aksiomatik) suara dan lengkap kalkulus buktinya, cacat ini dapat digunakan untuk memperbaiki model yang Henkin.Sebuah contoh dari tingkat tinggi perhitungan struktur logika. Untuk fungsi yang lebih tinggi dalam matematika dan ilmu komputer, fungsi tingkat tinggi memenuhi setidaknya satu dari kondisi berikut merupakan fungsi dari: Menerima satu atau lebih fungsi input-output sebagai fungsi dari matematika mereka juga disebut operator (operator) atau fungsional. Kalkulus derivatif adalah contoh umum, karena ia memetakan fungsi yang lain. Dalam untyped kalkulus lambda, semua fungsi yang maju, dalam mengetik kalkulus lambda (kebanyakan bahasa pemrograman fungsional telah berevolusi dari), fungsi orde yang lebih tinggi adalah fungsi-fungsi umumnya mengandung lebih dari satu jenis fungsi panah . Dalam pemrograman fungsional, fungsi tingkat tinggi mengembalikan fungsi lain dari fungsi ini dipanggil Curry. Dalam banyak bahasa pemrograman fungsional dapat ditemukan dalam fungsi peta adalah contoh dari fungsi tingkat tinggi. Ia menerima fungsi f sebagai parameter dan mengembalikan daftar diterima dan menerapkan f untuk setiap elemen yang merupakan fungsi. Contoh lain dari fungsi tingkat tinggi termasuk fungsi komposit, integral dan konstan fungsi λx.λy.x. |
| Pemakai Ulasan |
|
Belum ada komentar |
