Advances in Technological Applications of Logical and Intelligent Systems Selected Papers from the Sixth Congress on Logic Applied to Technology
Logic began as the science of valid inference and related topics. It gradually underwent profound changes, widening its initial scope and transforming itself into a mathematical discipline. Today it is a basic science, full of significant concepts and involved results (Goedel’s theorems, the theo...
Đã lưu trong:
| Những tác giả chính: | , , , |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
IOS Press
2013
|
| Những chủ đề: | |
| Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35307 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| Tóm tắt: | Logic began as the science of valid inference and related topics. It gradually underwent
profound changes, widening its initial scope and transforming itself into a
mathematical discipline. Today it is a basic science, full of significant concepts and
involved results (Goedel’s theorems, the theory of forcing, forking, the mathematics of
Solovay, etc.) but its main value has always been theoretical |
|---|