Deductions

Software screenshot:
Deductions
Software ətraflı:
Version: 1.3
Tarixi Upload: 2 Jan 15
Geliştirici: Wandering Mango
Lisenziya: Shareware
Qiymət: 24.99 $
Məşhurluq: 36
Boy: 6098 Kb

Rating: 2.8/5 (Total Votes: 4)

Tələbələr formal məntiq dəlilləri öyrənmək yardım üçün nəzərdə təhsil proqram

çıxılması edir. Bu müəllimlər və fəlsəfə, riyaziyyat və informatika kollec səviyyəli məntiq kursları tələbələr tərəfindən istifadə üçün nəzərdə tutulub. Bu, sübut hər bir mərhələsində dərhal rəy verir dəlillər başa çatdırmaq üçün necə haqqında göstərişlər təmin edir, və izah və məntiq bir neçə çətin anlayışları nəzərdən video tutorials bir sıra ilə gəlir. Qaydaları qaydaları və strategiyaları haqqında bir sübut ortasında, və qeyri-müəyyənlik vurulmuş əldə, düzgün tətbiq olub bilmədən: ayırmaları dəlillər formal məntiq kursları ən çətin komponenti edən üç problemləri həll etmək məqsədi daşıyır. Tutulmalar sübut başa çatdırmaq üçün, və multimedia Dərsliklər olan kompleks qaydaları ilə şagirdlərə kömək haqqında təkliflər etmək üçün bir işarə mühərrik, o cümlədən səhvlər cansız bu məsələləri. Features Highlights: 1. dərslikləri: çıxılması aşağıdakı dərsliklərin ilə sorunsuz iş üçün nəzərdə tutulmuşdur: (i) (Bergmann, Moor, və Nelson) Logic Kitab, (ii) (Paul Teller ilə) A müasir Formal məntiq Primer, (iii Tony Roy tərəfindən riyazi məntiq) A ciddi Giriş (). 2. cansız səhvlər - tezliklə onlar baş kimi dəlillər ilə tutulmalar bayraqları səhvlər. Tələbələr ilk dəlillər öyrənmək zaman, çıxılması səhv qaydaları öyrənmək tələbələri qarşısını alır, çünki bu, vacibdir. 3. Ip ucu Engine - gəlirdən çıxılması dəlillər başa çatdırmaq üçün necə haqqında göstərişlər verir. Tələbələr sübut ortasında vurulmuş almaq zaman, çıxılması tərəqqi etmək üçün necə göstərir. Məntiq öyrənmək üçün çıxılması necə istifadə və necə məntiq qaydaları istifadə etmək üçün: - 4 Multimedia Tutorials çıxılması iki qrupa bölünür multimedia Dərsliklər bir sıra ilə gəlir. 5. Çeviklik - gəlirdən çıxılması çox müxtəlif məntiq sistemləri və dərsliklərin ilə işləmək üçün nəzərdə tutulmuşdur. Hər iki standart və alternativ simvol fərdi off yandırdıqdan və bilər qaydalara, habelə daxil edilir. 6. Müasir Design - gəlirdən çıxılması müasir interfeysi təmin edir. (Bir çox məntiq proqramları DOS, Windows 9x üçün yazılı və ya elementar Java kiçik var) son illərdə çox yenilikləri görməmişdir bir sahəyə yeni giriş kimi, tutulmalar təmiz istifadəçi interfeysi təmin etmək üçün Mac OS X texnologiyaları istifadə, drag-and-drop dəstəyi və hərtərəfli yardım sistemi. . 7. Kağız daha səmərəli - gəlirdən çıxılması xətləri silindi və ya köçürülüb, əlavə zaman avtomatik olaraq dəlillər düzəliş redaktə detalları qayğı

Yeni Bu azad nədir:

  • Məntiq Kitab PD + qayda sistemi üçün dəstək əlavə
  • Məqbul Giriş ND + qayda sistemi üçün dəstək əlavə
  • bir mətn faylı çıxılmasına ixrac etmək imkanı əlavə
  • bir lateks parçası üçün çıxılmasına ixrac etmək imkanı əlavə

məhdudiyyətlər

Yalnız Aşağıdakı çıxılmasına qaydaları sınaq versiyası mövcuddur: Premise, Assumption, təkrar, birlikdə Giriş birlikdə aradan qaldırılması, Şərti Giriş Şərti aradan qaldırılması, Tilde Giriş Tilde aradan qaldırılması

Oxşar proqram

Ockham
Ockham

13 Aug 18

Brain Tease II
Brain Tease II

23 Nov 14

Transportation1
Transportation1

13 Dec 14

Geliştirici digər proqram Wandering Mango

Intuition
Intuition

13 Dec 14

Şərh Deductions

Şərhlər tapılmadı
Şərh əlavə
Images yandırın!