Логика высказываний учебное пособие
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Книга |
| Những chủ đề: | |
| Truy cập trực tuyến: | Перейти к просмотру издания |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| LEADER | 02702nam0a2200361 4500 | ||
|---|---|---|---|
| 001 | RU/IPR SMART/97502 | ||
| 856 | 4 | |u https://www.iprbookshop.ru/97502.html |z Перейти к просмотру издания | |
| 801 | 1 | |a RU |b IPR SMART |c 20240904 |g RCR | |
| 010 | |a 978-5-19-011105-7 | ||
| 205 | |a Логика высказываний |b 2027-07-01 | ||
| 333 | |a Гарантированный срок размещения в ЭБС до 01.07.2027 (автопролонгация) | ||
| 100 | |a 20240904d2015 k y0rusy01020304ca | ||
| 105 | |a y j 000zy | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 200 | 1 | |a Логика высказываний |e учебное пособие |f С. И. Гуров | |
| 700 | 1 | |a Гуров, |b С. И. |4 070 | |
| 330 | |a Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул. Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями. | ||
| 210 | |a Москва |c Московский государственный университет имени М.В. Ломоносова |d 2015 | ||
| 610 | 1 | |a логика | |
| 610 | 1 | |a алгебра | |
| 610 | 1 | |a формула | |
| 610 | 1 | |a метатеория | |
| 610 | 1 | |a семантический метод | |
| 675 | |a 510 | ||
| 686 | |a 22.1 |2 rubbk | ||
| 300 | |a Книга находится в премиум-версии IPR SMART. | ||
| 106 | |a s | ||
| 230 | |a Электрон. дан. (1 файл) | ||
| 336 | |a Текст | ||
| 337 | |a электронный | ||
| 503 | 0 | |a Доступна эл. версия. IPR SMART | |
| 215 | |a 269 с. | ||