Математическая логика 8. Функции

Дата лекции 22.10.25 Лектор: Дашков Евгений Владимирович Оператор: Пышкин Владимир Монтажёр: Файзуллина Екатерина Таймкоды: 00:00:00 - интро 00:00:05 - начало 00:03:35 - свойства функциональности и инъективности 00:06:20 - лемма 1 00:07:35 - свойства тотальности и сюръективности 00:10:35 - лемма 1 (дополнение) 00:13:05 - лемма 2 00:30:05 - частичная функция 00:33:05 - утверждение 3 00:35:55 - значение функции в точке 00:39:55 - критерий равенства частичных функций (теорема 4) 00:49:45 - композиция частичных функций (теорема 5) 01:09:05 - функция 01:15:55 - инъекция, сюръекция и биекция 01:20:25 - лемма 6 Ссылка на плейлист YouTube: https://youtube.com/playlist?list=PL4_hYwCyhAvZDdlYPRv03EikOt2aae6dX&si=qlKhEPlIyVmKIx4C