Loogika. Mõtlemisest tõestamiseni - Tõnu Tamme
- ID товара: 162772852
- Поделиться
Loogika. Mõtlemisest tõestamiseni - Tõnu Tamme
ID товара: 162772852
Состояние: Использованный
Срок доставки: 3 дней
Предложение закончилось
Предложение закончилось
| 8.00 EUR | |
| Просмотров: | 131 |
Tallinn, Harjumaa, Eesti
Компания|Пользователь с 2021
243
успешные продажи
Обычно отправляет за 1 день
Защита покупателя бесплатно на каждую покупку
- Защищенные платежи
- Проверенные продавцы
- Быстрая поддержка клиентов
- Выгодный транспорт
| Состояние: | Использованный |
|---|---|
| Расположение: | Tallinn, Harjumaa, Eesti |
| : | Эстонский |
| Срок доставки: | 3 дней |
| Транспорт: |
SmartPOST (XS)
Omniva (XS)
DPD Pickup автомат/торговые точки (XS)
Unisend (XS) По договорённости с продавцом: Abi |
| Возврат: | Возврат товара в соответствии с законом. Читать далее |
| Оплата: | банковский перевод, депозитный платеж, оплата э-счетом Оsta.ee |
| Продавец: | ANER literature100%положительный отзыв э-магазин продавца |
Raamat annab ülevaate tänapäeva loogikast. Käsitletakse järgmisi teemasid:
- Loogika ajalugu alates Aristotelesest kuni analüütilise filosoofiani
- Klassikaline loogika kui teadusliku mõtlemise töövahend
- Loogika metaprobleemid: formaalsete süsteemide täielikkus ja lahenduvus ning Gödeli teoreemid formaalse aritmeetika mittetäielikkusest
- Modaalloogika, intuitsionistlik loogika jt mitteklassikalised loogikad
- Loogika rakendused programmeerimises ja tehisintellektis
Raamatu seisukord: hea
Вопросы продавцу
Пользователи могут видеть только отвеченные вопросы. NB! Если вы сообщите свои контактные данные, Osta.ee не сможет защитить вас от мошенников.