bugün məsləhət təsadüfi
sözaltı sözlük
postlar Yoxlama mesaj

isbat köməkçiləri



facebook twitter əjdaha lazımdı izlə dostlar   mən   googlla
sözaltı günlük - sözaltı etiraf - grigori perelman - məhəmməd əmin rəsulzadə ensiklopediyası - dörd ölçülü hamar puankare hipotezi - riyaziyyat - kakeya hipotezi - dahi riyaziyyatçılar - topologiya - robert langlands
dostlarının yazdıqları:

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! maraqlı 03.05.2020 12:30, sistem robotu




hamısını göstər

isbat köməkçiləri