00:01:39.321,00:01:42.321
Васил Ангелов: на контролно имаме ли право на пищова или то е само за изита?

00:01:47.160,00:01:50.160
Минко Марков: ДА

00:01:50.828,00:01:53.828
Минко Марков: имате право

00:02:09.643,00:02:12.643
Иван Стефанов: Ако имаме инварианта и съществува случай, в който тя не е вярна, грешна ли е, дори да няма начин как да се стигне до въпросния случай индуктивно? 

00:04:06.009,00:04:09.009
Минко Марков: ако същ. k, т.ч. P(k) е лъжа

00:04:15.791,00:04:18.791
Минко Марков: то тази инварианта не става

00:04:24.037,00:04:27.037
Минко Марков: и би трябвало да не е доказуема

00:04:28.587,00:04:31.587
Минко Марков: ?ок

00:04:44.687,00:04:47.687
Минко Марков: ??

00:04:53.249,00:04:56.249
Петър Стоянов: кога е датата на контролното, ако ще има такова ?

00:05:03.140,00:05:06.140
Максим Киряков: има

00:05:07.372,00:05:10.372
Максим Киряков: 16.04 беше май

00:05:08.652,00:05:11.652
Максим Киряков: или 18

00:11:43.195,00:11:46.195
Минко Марков: 18.04

00:39:49.768,00:39:52.768
Минко Марков: ??

00:39:51.389,00:39:54.389
Иван Михайлов: иначе ще тръгне към безкрайност

00:39:51.436,00:39:54.436
Йонко Йонков: иначе няма ли да зациклим

00:40:00.895,00:40:03.895
Иван Михайлов: ако няма ограничаващо условие

00:45:43.961,00:45:46.961
Борислав Димитров: Относно хипотезата, не е ли достатъчно да се достигне от 3n+1 до точна степен на двойката, което след достатъчно n/2 става 1?

00:47:59.071,00:48:02.071
Петър Стоянов: може ли да повторите каква е разликата между намаляващите функции с n - 1 и n/2

00:48:55.044,00:48:58.044
Виктор Василев: Ако има T(n/2) какъв ще е реда?

00:50:04.490,00:50:07.490
Иван Михайлов: примерно двоичното търсене 

00:50:30.960,00:50:33.960
Петър Стоянов: като цяло аз не мога да си обясня защо долното рекурентно уравнение е с полиномиална сложност

00:51:32.618,00:51:35.618
Петър Стоянов: двоично търсене

00:53:22.169,00:53:25.169
Петър Стоянов: разбрах

00:53:24.217,00:53:27.217
Петър Стоянов: да

00:54:22.101,00:54:25.101
Виктор Василев: Добре, мерси

00:54:29.353,00:54:32.353
Минко Марков: почивка до 13:20