?

Log in

язык, на котором не говорят [entries|archive|friends|userinfo]
beroal

[ website | personal website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]
[ tags | journal tags ]

in English [Jul. 1st, 2020|12:00 am]
beroal
[Tags|]

Welcome!

Posts in English in this blog: HTML; Atom.

My favorite links from Diigo: RSS, HTML.

OpenSearch plugin for searching on:

Short proofs in Coq.

test link
Link2 comments|Leave a comment

по-русски [Jun. 1st, 2020|12:00 am]
beroal
[Tags|]

Добро пожаловать!

Для обратной связи пишите сюда комментарии. Если я не добавляю вас в друзья, это не значит, что я вас не читаю.

Поисковые системы на платформе Google Custom Search Engine:
против мошенничества

only Haskell (the programming language)

OpenSearch plugin (то есть для Firefox) для поиска по:

Математические доказательства на языке Coq. Всякая мелочь, среди крупных модулей можно выделить CategoryTheory, IntBipart (целые числа как кольцо Гротендика), TakeDrop («take» и «drop» из Haskell.Data.List).

Лента выбранных мною из чужих блогов записей:


У меня есть личный веб-сайт.
Link6 comments|Leave a comment

помогите начать свой бизнес [Jun. 22nd, 2017|06:38 pm]
beroal
[Tags|, ]

По мотивам следующей фотографии.
помогите с работой мне нечего есть

В некотором американском курсе по менеджменту было сказано: «Почему люди начинают свой бизнес? (Перечисляются причины.) Некоторые начинают свой бизнес из-за нужды, потому что им не доступна работа по найму». Ситуация, как на фотографии. Однако, для нас фраза американца может звучать смешно, смешно предлагать нашему нищему начать бизнес. У нас другие условия для бизнеса. Когда у нас появятся нищие с плакатами «Помогите начать свой бизнес, потому что мне нечего кушать», тогда можно будет считать, что мы построили Америку.
LinkLeave a comment

изучение ядерной физики до математического анализа [Jun. 21st, 2017|06:26 pm]
beroal
[Tags|, ]

Вопросы экзамена по физике в одном американском учебном заведении. Уровень математических знаний студентов — не знают понятия «производная», поверхностно знают понятие «вектор». Вопросы на снимках экрана под катом.

Читати даліCollapse )
Link3 comments|Leave a comment

естественный вывод глазами философов [Jun. 21st, 2017|05:52 pm]
beroal
[Tags|, ]

Я писал, что философы в учебном курсе логики учат логику Аристотеля (силлогистику). Здесь я покажу, что философы учат, когда они учат современную логику. В учебнике Hurley (388) излагается естественный вывод (natural deduction) для логики высказываний. Предлагают пользоваться следующими правилами вывода:

Читати даліCollapse )
Link6 comments|Leave a comment

интернет и унификация языков [May. 4th, 2017|10:19 pm]
beroal
[Tags|]

Несколько раз с мной случалось следущее. Я выдумываю термин для себя, потом нахожу в интернете общепринятый (в узких кругах, разумеется) термин с тем же смыслом. Мне не важно, чтобы термин был «моим», я выдумал его из-за незнания.

Таким образом, интернет помогает унифицировать профессиональную терминологию. Это и понятно. Чтобы унифицировать терминологию, не используя интернет, нужно собраться на конгресс. В интернете не нужно даже назначать время встречи. Каждый может читать и писать в удобное для него время.

Мне кажется, это можно применить не только к профессиональным терминам, но и к обычным словами, а также к синтаксическим конструкциям естественных языков.
Link2 comments|Leave a comment

будущее капитализма [May. 3rd, 2017|06:14 pm]
beroal
[Tags|]

Если видишь статью под названием «Будущее капитализма» — будь уверен, что в ней описан социализм. ☺ Это не значит, что будущее капитализма действительно социализм. Это значит, что социалисты пытаются поддержать веру в социализм. Они не могут указать на успешные примеры социализма в настоящем, поэтому рассказывают о социализме в будущем.
Link3 comments|Leave a comment

(no subject) [Apr. 30th, 2017|01:29 pm]
beroal
[Tags|, , ]

Mathematics is perceived as a difficult subject by most people and feelings of insufficiency are very common, among both laymen and professionals. This is not strange. Mathematics is difficult and demanding, just like classical music or athletics may be very difficult and demanding, which may create a lot of negative feelings for students pushed to perform. There is no way to eliminate all the difficulties met in these areas, except by trivialization. Following Einstein, one should always try to make Science and education based on Science as simple as possible, but not simpler.

In music and athletics the way out in our days is clear: the student who does not want to spend years on practicing inventions by Bach on the piano, or to become a master of high-jump, does not have to do so, but can choose some alternative activity. In mathematics this option is not available for anyone in elementary education, and not even an arts student at an American college may get away without a calculus course, not to speak of the engineering student who will have to pass several mathematics courses.

Mathematics education is thus compulsory for large groups of students, and since mathematics is difficult, for students on all levels, problems are bound to arise. These problems, apparent for everybody, form much of the motivation behind the task of the Mathematics Delegation.

“Dreams of calculus: Perspectives on mathematics education” by Johan Hoffman, Claes Johnson, and Anders Logg.
Link2 comments|Leave a comment

complex concepts before simple ones [Apr. 19th, 2017|02:24 pm]
beroal
[Tags|, , ]

This is a copy of my post on the forum of the course “Teaching Science at University.”

There is an example in computer science demonstrating how wrong preconceptions get in the way. Students learn an imperative programming language as their first programming language. Typically, they learn declarative programming later. From scientific point of view, imperative programming is an additional concept on top of declarative programming.

to be continuedCollapse )
LinkLeave a comment

Coursera/Teaching Science at University [Apr. 19th, 2017|01:42 pm]
beroal
[Tags|, ]

Currently I am taking an online course “Teaching Science at University” by Kai Niebert from University of Zurich. Well, not taking really because I am not an instructor. Probably, I will copy my posts from the course forum into my blog.

to be continuedCollapse )
LinkLeave a comment

navigation
[ viewing | most recent entries ]
[ go | earlier ]