isbat köməkçiləri

| proqramlama

325

Yalnız deyilsən!

Bu duyğuların müvəqqəti olduğunu və kömək mövcud olduğunu bilmək vacibdir. Dostlarınıza, ailənizə, profesionallara müraciət etməyiniz vacibdir. Sizi dinləmək və lazım olan dəstəyi təmin etmək istəyən insanlar var. Sözlük yazarları olaraq səni hər zaman dinləyə bilərik.

Əgər yalnız hiss edirsənsə, 860 qaynar xəttinə müraciət etməyini tövsiyə edirik.

1. coq və s. kimiləri olan və riyaziyyat teoremlərininin isbatlarını kompyuter proqramlaşdırma dillərinə çevirə bildiyimiz və bununla da asanlıqla isbatın doğru olub olmadığını yoxlaya biləcəyimiz vasitələr. voevodsky tərəfindən yaradılmış və topologiyadakı homotopiya anlayışına söykənən homotopy type theory hal-hazırda bu isbat köməkçiləri ilə işləmək üçün ən rahat namizəd nəzəriyyədir. azca kompyuter bilgisi, az-maz topologiya bilən varsa bu kitabı oxusun: https://www.heidelberg-laureate-forum.org/wp-content/uploads/2013/10/homotopy-type-theory_univalent-foundations-of-mathematics.pdf

qeyd. homotopiya haqda asan öyrənmək üçün buyurun:

(youtube:

)

2 əjdaha!

03.05.2020 12:30, sistem robotu

#294975

üzv ol

Modalı bağla