00:00:34.606,00:00:37.606 Марио Метушев: аз имах въпрос, дали можем да покажем обратна функция на f, която на естествено число съпоставя наредена двойка? 00:06:20.880,00:06:23.880 Минко Марков: въпроси?? 00:06:30.585,00:06:33.585 Яни Дренчев: Аз не разбрах за сюрекцията, кое е формалното доказателство 00:06:55.420,00:06:58.420 Яни Дренчев: Ако кажем, че съществува алгоритъм това достатъчно ли е? 00:07:33.957,00:07:36.957 Яни Дренчев: ОК, мерси 00:08:07.621,00:08:10.621 Минко Марков: N x N е избр 00:08:17.392,00:08:20.392 Минко Марков: N x N x N е избр 00:08:55.089,00:08:58.089 Минко Марков: N^k,k = const 00:12:57.576,00:13:00.576 Теодор Христов: {} 00:12:57.726,00:13:00.726 Николай Манански: празното 00:12:58.539,00:13:01.539 Марио Метушев: празното 00:12:59.633,00:13:02.633 Петко Петков: празното 00:12:59.680,00:13:02.680 Кристиян Димитров: празното 00:13:00.493,00:13:03.493 Калоян Любенов: празното 00:16:30.539,00:16:33.539 Калоян Любенов: да 00:18:43.532,00:18:46.532 Яни Дренчев: Да, ясно 00:18:43.660,00:18:46.660 Минко Марков: ясно? 00:25:39.236,00:25:42.236 Минко Марков: почивка до 11&15