задача - Помощь студентам

света9627 · 11.01.2013, 23:07

5. Запишите следующие утверждения в виде предикатов:
∙ функция (отображение) $#119891; : {1, 2, 3, 4, 5} → {1, 2, 3, 4, 5} является сюръективной;
∙ функция (отображение) $#119891; : {1, 2, 3, 4, 5} → {1, 2, 3, 4, 5} является инъективной;
∙ функция (отображение) $#119891; : {1, 2, 3, 4, 5} → {1, 2, 3, 4, 5} является биективной;
∙ функция (отображение) $#119891; : {1, 2, 3, 4, 5} → {1, 2, 3, 4, 5} все элементы, не превос-
ходящие трёх, не увеличивает.

Abstraction · 12.01.2013, 01:36

Первые три предиката совпадают и пишутся "f биективна". Если хотите, можете расписать: "для любых двух пар (x,y), (x',y') из графика f, (x=x')<=>(y=y')".
Четвёртый: "для любой пары (x,y) из графика f, (x<=3)=>(y<=x)".

Похожие темы
Тема	Автор	Раздел	Ответов	Последнее сообщение
Задача по подсчёту статистики использования букв. Другая задача - по длинной арифметике Pascal ABC	kimberly	Паскаль, Turbo Pascal, PascalABC.NET	3	24.12.2012 17:03
задача на структуру(struct)/задача на работу с файлом	SevenArth	Помощь студентам	0	26.04.2012 19:06
Задача на оптимальный расчет маршрута (задача в презентации) в табличном процессоре Excel	Toofed	Помощь студентам	0	30.11.2011 01:12
Задача минимизации дисбаланса на линии сборки (задача минимакса)	LenZab	Microsoft Office Excel	13	13.03.2011 22:51

11.01.2013, 23:07	#1
света9627 Новичок Джуниор Регистрация: 11.01.2013 Сообщений: 4	задача 5. Запишите следующие утверждения в виде предикатов: ∙ функция (отображение) $#119891; : {1, 2, 3, 4, 5} → {1, 2, 3, 4, 5} является сюръективной; ∙ функция (отображение) $#119891; : {1, 2, 3, 4, 5} → {1, 2, 3, 4, 5} является инъективной; ∙ функция (отображение) $#119891; : {1, 2, 3, 4, 5} → {1, 2, 3, 4, 5} является биективной; ∙ функция (отображение) $#119891; : {1, 2, 3, 4, 5} → {1, 2, 3, 4, 5} все элементы, не превос- ходящие трёх, не увеличивает.

12.01.2013, 01:36	#2
Abstraction Старожил Регистрация: 25.10.2011 Сообщений: 3,178	Первые три предиката совпадают и пишутся "f биективна". Если хотите, можете расписать: "для любых двух пар (x,y), (x',y') из графика f, (x=x')<=>(y=y')". Четвёртый: "для любой пары (x,y) из графика f, (x<=3)=>(y<=x)".