Телеграмм чат группы rust_offtopic страница 8092

Size: a a a

rust_offtopic

341 membersпожаловаться на группу

2020 February 12

Gymmasssorla in rust_offtopic

Alex Zhukovsky

это тоже морфизмы bool -> bool

Почему id и not не задают эти 4 пары?

True -> True
True -> False
False -> False
False -> True

Изначально же задача была эти пары выразить?

источник

21:16пожаловаться #1

Alex Zhukovsky in rust_offtopic

𝙰𝚗𝚊𝚝𝚘𝚕𝚢 𝙸

Вроде так: ((A ⋁ (A -> B)) -> B) -> B

такое ощущение, что это проще решить на бумажке обычным способом, а потом записать это на япе

источник

21:16пожаловаться #2

Alex Zhukovsky in rust_offtopic

Gymmasssorla

Почему id и not не задают эти 4 пары?

True -> True
True -> False
False -> False
False -> True

Изначально же задача была эти пары выразить?

потому что вопрос в комбинациях этих пар)

источник

21:17пожаловаться #3

Alex Zhukovsky in rust_offtopic

их восемь

источник

21:17пожаловаться #4

Gymmasssorla in rust_offtopic

Откуда 8?

источник

21:18пожаловаться #5

Alex Zhukovsky in rust_offtopic

id True = True
id False = False

not True = False
not False = True

constTrue True = True
constTrue False = True

constFalse True = False
constFalse False = False

источник

21:18пожаловаться #6

Alex Zhukovsky in rust_offtopic

8 строчек

источник

21:18пожаловаться #7

λоλторт in rust_offtopic

Emmanuel Goldstein

Окей, ща попробую перейти на хаскелль

Подсказка: без клона в расте не справиться

источник

21:18пожаловаться #8

Emmanuel Goldstein in rust_offtopic

λоλторт

Подсказка: без клона в расте не справиться

Я на расте уже заблудился где-то в глубине растовых приколов

источник

21:19пожаловаться #9

Nigga Melon in rust_offtopic

как инициализировать объект поинтером

источник

21:19пожаловаться #10

Alex Zhukovsky in rust_offtopic

λоλторт

Подсказка: без клона в расте не справиться

А, ну да, то есть все же переменные

источник

21:19пожаловаться #11

Alex Zhukovsky in rust_offtopic

тогда понятнее

источник

21:19пожаловаться #12

Emmanuel Goldstein in rust_offtopic

Видимо, сказывается у меня недостаток фундаментального образования.

источник

21:21пожаловаться #13

λоλторт in rust_offtopic

Alex Zhukovsky

такое ощущение, что это проще решить на бумажке обычным способом, а потом записать это на япе

Я эти задачки на курсе по коку в уме решал, когда без ноута пришел

источник

21:22пожаловаться #14

Emmanuel Goldstein in rust_offtopic

Надо будет что-нибудь почитать на тему.

источник

21:22пожаловаться #15

λоλторт in rust_offtopic

Но вообще там терм надо строить, ибо это всё же интуиционизм

источник

21:22пожаловаться #16

Alex Zhukovsky in rust_offtopic

Emmanuel Goldstein

Видимо, сказывается у меня недостаток фундаментального образования.

по идее это базовые задачки на логику, 2 курс

источник

21:23пожаловаться #17

Alex Zhukovsky in rust_offtopic

держите 3 аксиомы, модус поненс, и доказывайте

источник

21:23пожаловаться #18

Alex Zhukovsky in rust_offtopic

но я видимо разучился думать

источник

21:23пожаловаться #19

Alex Zhukovsky in rust_offtopic

хотя я не особо пытался

источник

21:24пожаловаться #20