Logic and Proof

Издавач: Ekonomski fakultet Univerziteta u Beogradu | Јазик: Srpski | Година: 2011
Оригинален наслов: / | Бр. на страни: 154 | Димензии: 24 cm | Корица: /

Knjiga pokriva fundamentalne aspekte klasične i intuicionističke logike sa stanovišta teorije dokaza. Osnovna ideja je da se elaboriraju elementi sintaksnih i semantičkih osobina klasičnog i intuicionističkog pristupa matematici, razvijanjem paralelizma između ova dva pristupa od početka do kraja samog teksta. Delovi knjige su takođe posvećeni nekim neklasičnim logičkim sistemima, među kojima su superintuicionističke iskazne logike, modalne logike, rasplinute logike i logike

Цена: 682 ден

Распродадено

Извести ме кога производот ќе биде на залиха

Спореди
Продавач MC MOST New

Report an abuse for product Logic and Proof

Категорија:
ИСБН: 978-86-403-1096-3

Оценки

Сѐ уште нема оценки.

Koментирајте први за “Logic and Proof”

Вашата адреса за е-пошта нема да биде објавена. Задолжителните полиња се означени со *

Questions and Answers

You are not logged in