loading
  • Trang chủ
  • Sách, tuyển tập
  • Логика и компьютер/ А.Е. Болотов, В.А. Бочаров, А.Е. Горчаков, В.В. Макаров ... Вып.5, Пусть докажет компьютер
Sách, tuyển tập

Логика и компьютер/ А.Е. Болотов, В.А. Бочаров, А.Е. Горчаков, В.В. Макаров ... Вып.5, Пусть докажет компьютер

Tác giả : А.Е. Болотов, В.А. Бочаров, А.Е. Горчаков, В.В. Макаров ...

Nhà xuất bản : Наука

Năm xuất bản : 2004

Nơi xuất bản : М.

Mô tả vật lý : 207с.; 22сm

ISBN : 5020328596

Tùng thư : Информатика: неограниченные возможности и возможные ограничения

Chủ đề : 1. Lôgíc. 2. Máy tính.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Sách nghiên cứu các vấn đề tìm tòi định đề cho lôgíc trực giác cổ điển. Trong đó tác giả trình bày những b ảng biểu cho việc tìm tòi cách chứng minh đối với số học tự nhiên và lôgíc trực giác trong diễn giả.
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện Quốc gia Việt Nam
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-269336.html