![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Oct. 3rd, 2013
Потому что не страшно-то не страшно летать над холмами и заливом, но надоело рисковать.
Это я к чему.
Сегодня студентам вбросил моноидов, в качестве повышения интеллектуального уровня и заодно в форме задержки, потому что слишком быстро учатся.
Такое ощущение, что я их изнасиловал математикой; да и сам утомился.
Между тем читаю следующие главы книги (второй раз) более внимательно, и всё больше растёт ощущение, что там, да и не только в этом учебнике, полно ахинеи, уже не говоря о недоговорках и хитростях.
Вдруг начинаем различать "truth-functional" утверджения и не являющиеся таковыми; критерии, например, таковы: если значение предиката является константой, и это выводимо из аксиом - то это не функция, принимающая логические значения (в книге логические значения и булевы значения являются синонимами). Что довольно прикольно - константа у них уже не функция. Но на этом truth-functional строится немало рассуждений, имеющих некоторую, относительную ценность; их ценность была бы более абсолютной, если бы крайние случаи покрывались.
А впрочем, я всё больше склоняюсь к тому, чтобы не жужжать особо-то в философском духе, а, не забывая задавать домашку, летать в стратосфере.
Мол, вот вам моноид. Вот идемпотентные коммутативные моноиды (и их отображения). Это что? Это минималистическая модель (да ну прямо скажем - категория) множеств.
Вот вам... э... категория. Ведь типы - это ж категория. Ну и т.д.
Ну в таком духе.
Главное, чтоб не распугать, и чтоб не зарываться в абстракции.
Это я к чему.
Сегодня студентам вбросил моноидов, в качестве повышения интеллектуального уровня и заодно в форме задержки, потому что слишком быстро учатся.
Такое ощущение, что я их изнасиловал математикой; да и сам утомился.
Между тем читаю следующие главы книги (второй раз) более внимательно, и всё больше растёт ощущение, что там, да и не только в этом учебнике, полно ахинеи, уже не говоря о недоговорках и хитростях.
Вдруг начинаем различать "truth-functional" утверджения и не являющиеся таковыми; критерии, например, таковы: если значение предиката является константой, и это выводимо из аксиом - то это не функция, принимающая логические значения (в книге логические значения и булевы значения являются синонимами). Что довольно прикольно - константа у них уже не функция. Но на этом truth-functional строится немало рассуждений, имеющих некоторую, относительную ценность; их ценность была бы более абсолютной, если бы крайние случаи покрывались.
А впрочем, я всё больше склоняюсь к тому, чтобы не жужжать особо-то в философском духе, а, не забывая задавать домашку, летать в стратосфере.
Мол, вот вам моноид. Вот идемпотентные коммутативные моноиды (и их отображения). Это что? Это минималистическая модель (да ну прямо скажем - категория) множеств.
Вот вам... э... категория. Ведь типы - это ж категория. Ну и т.д.
Ну в таком духе.
Главное, чтоб не распугать, и чтоб не зарываться в абстракции.
No, seriously.
Can you write a short, and, better, elegant, function in your favorite language (except J and Brainfuck) that solves the following problem:
Given a regular expression, checks if a string fully matches this expression.
Characters are low ascii.
Regular expressions are limited by characters, dot ('.') and star ('*'), with the obvious meaning (Kleene star, unlimited reproduction of the previous token).
Seriously.
Of course anybody can write a large program doing this. But a small one?
Can you write a short, and, better, elegant, function in your favorite language (except J and Brainfuck) that solves the following problem:
Given a regular expression, checks if a string fully matches this expression.
Characters are low ascii.
Regular expressions are limited by characters, dot ('.') and star ('*'), with the obvious meaning (Kleene star, unlimited reproduction of the previous token).
Seriously.
Of course anybody can write a large program doing this. But a small one?
по Малой Спасской
Oct. 3rd, 2013 09:46 pm"наш талант, молодость, профессиональные навыки, мы сами как члены общества наиболее востребованы именно здесь"
Мне почему-то кажется, что человек, которому приходит в голову выражение "мой талант", или, что уже в мои мозги не влазит, "наш талант" ("мой и мужа моего"), действительно должен чувствовать себя уютнее всего внутри МКАД.
И, что интересно, хорошая получается рифма с клеветником Пушкиным. Которого угораздило.
Нет, серьёзно.
У нас на курсе был Александр Борисович В. Ну мы его так с первого курса называли, Александр Борисович. Когда на третьем курсе нашей группе сказали, что курсовики надо сдать в деканат, Александр Борисович высказался так: "ну если нужно для науки, я готов сдать!"
Александр Борисович занимался у нас на кафедре какой-то такой полубессмысленной детской хернёй, что... впрочем, хз. Кто тут судья.
П.С. Там ещё навыки есть. Профессиональные.
У вас есть профессиональные навыки?
Вы вообще члены общества?
(Я, например, не член; я его мозг.)
"если бы мы куда-то сейчас уехали, мы оказались бы совершенно в другом социальном статусе. Это вызывало бы понижение в должности"
(и врагу никогда не добиться, чтоб склонилась твоя голова)
Мне почему-то кажется, что человек, которому приходит в голову выражение "мой талант", или, что уже в мои мозги не влазит, "наш талант" ("мой и мужа моего"), действительно должен чувствовать себя уютнее всего внутри МКАД.
И, что интересно, хорошая получается рифма с клеветником Пушкиным. Которого угораздило.
Нет, серьёзно.
У нас на курсе был Александр Борисович В. Ну мы его так с первого курса называли, Александр Борисович. Когда на третьем курсе нашей группе сказали, что курсовики надо сдать в деканат, Александр Борисович высказался так: "ну если нужно для науки, я готов сдать!"
Александр Борисович занимался у нас на кафедре какой-то такой полубессмысленной детской хернёй, что... впрочем, хз. Кто тут судья.
П.С. Там ещё навыки есть. Профессиональные.
У вас есть профессиональные навыки?
Вы вообще члены общества?
(Я, например, не член; я его мозг.)
"если бы мы куда-то сейчас уехали, мы оказались бы совершенно в другом социальном статусе. Это вызывало бы понижение в должности"
(и врагу никогда не добиться, чтоб склонилась твоя голова)