Пользователи, просматривающие этот блог: Нет
Символ Халмоша
28 Июл 2008, 0:23
Вы наверняка обращали внимание на то, что во многих журналах в конце статей ставится специальный символ. Обычно это заполненный квадратик (■), но, в зависимости от журнала, это могут быть и киски, и дискетки, и веточки с листиками. Этот символ нужен для того, чтобы быстро понять кончилась ли статья, или нужно искать продолжение на других страницах.
В википедии этот символ называют символом Халмоша в честь математика Пола Ричарда Халмоша. Предполагается, что он заменяет фразу «что и требовалось доказать» и должен стоять после доказательства теорем.
Я вспомнил, что в университете нам действительно показывали этот символ. Но тогда он показался мне неудобным. Быстро рисовать закрашенный квадратик в конспекте не получается, так что времени он не экономит. Сам по себе квадратик неочевиден, и нужно каждый раз вспоминать, что же такое им обозначено. А незакрашенный квадратик вообще теряется в тексте. Сокращение вроде ЧТД или ЧиТД казалось мне более понятным.
Пол Халмош написал прекрасную статью «Как писать математические тексты», в которой есть много полезных советов, в том числе и по оформлению теорем. В ней он пишет: «Лучшее обозначение — отсутствие обозначений». Тем не менее, именно он придумал обозначать конец доказательства пустым квадратиком, причём пишет, что взял этот символ как раз из журналов.
Официальное название символа «пустой квадратик» — «конец доказательства» (end of proof), а закрашенный квадратик часто называют tombstone (надгробье). Кроме того, что один, что другой символ в разных источниках называют халмошем. Думаю, это должен быть символ «конец доказательства», потому что именно его придумал Халмош.
А вот ещё короткое обсуждение на тему «как нам называть символ конца статьи» (варианты: end-of-article, endslug).
Что я хочу сказать в итоге. В журналах этот символ уместен и нужен, а вот в формулах злоупотреблять им не стоит.
______
Источник: slovomania.ru
Мухнем на Луну 3D
28 Июл 2008, 0:20
Высокие темпы шпротных предков
28 Июл 2008, 0:16
Слава богу, радуется Алексей, что хоть Москва развивается высокими темпами!
( Читать далее... )
Отчаянные китайцы!
28 Июл 2008, 0:05
Длина каната — 1100 метров.
Высота — 260 метров.
Без страховки!!!
Двое прошли, разминувшись посередине.
______
Источник: dirty.ru
Open source: Yo Frankie! — открытая игра
28 Июл 2008, 0:02
Описание
Yo Frankie!: A Furry Vendetta (раньше известная как Apricot) является продолжением к открытому 3D-мультфильму Big Buck Bunny. Главный герой — злой бельчонок Фрэнк.
Игра выходит на DVD в начале августа, а через 20 дней она и исходники будут доступны для скачивания.
( Читать далее... )
Expose. Теперь и в Windows
27 Июл 2008, 23:56
Впечатляющая работа функции переключения между программами в Mac OS нравится многим, и не мудрено что для Windows появился аналог, который почти полностью копирует функциональность оригинальной Mac программы.
Надо признаться, что классический Ctrl+Tab скучен и многие наверняка порадуются установив DExposE2.
Программа устанавливает несколько горячих клавишь, пользуясь которыми можно выполнить несколько стандартных для многозадачной системы действий более симпатичным и наглядным образом.
Скришот с официального сайта
( Читать далее... )
Лица, которые мы не замечаем
27 Июл 2008, 21:36
По ссылке довольно большая подборка "лиц", которые окружают нас в повседневной жизни, но остаются незамеченными для наших глаз.
______
Источник: dirty.ru
Пост № 236505
27 Июл 2008, 21:22
Осторожно, убийца времени! Флэш–спирограф. Необходима 9–я версия плагина.
______
Источник: dirty.ru
Note #1
05 Июл 2008, 19:18
Сменил оформление, сменил название (вернее убрал старое и пока новое не придумал, будет такое). Хочу продолжить жизнь блога, так что заходите
Сдал сессию, на удивление легко, быстро и только с одной пересдачей (физика)! Зимняя была намного сложнее.. Сдал уже давно в принцепи, 28-го. Теперь думаю о работе. С друзьями ездили 31-го в ТЦ "Мега" устраиваться. Понаписали много анкет, штук 12. Еще не выехав из меге нам позвонили из одного магазина, сказали что принимают нас на стажировку. Были рады! Устроились! Конечно, было немного обидно, что втроем (ездили мы втроем) в одну смену работать нельзя и так получилось, что меня определили в одну смену, 2-их друзей в другую, но меня это сильно не огорчало.
Но проработав первый день я понял, что на второй уже выйду.. Вернее понял я это ночью, когда не мог уснуть долгое время из-за боли в ногах.. Ах, да, работал я продавцом-консультантом в магазине одежды. И весь свой рабочий день я должен был стоять, прерываясь только на перерывы на обед + еще дорога домой. Вообщем такая работа не для меня, по крайней мере не сейчас. Ведь не впахивать же так летом, которого я так долго ждал, если так работать, то и отдохнуть тольком не удасться))
Вот, теперь думаю найти что-нибудь в Жуке.. А пока фигней маяться буду
Дэвид Блэйн!
25 Июн 2008, 18:21
PSP BloG
23 Мар 2008, 15:22
PSP blog
Sony PSP - это игровая система от Sony которая произвела настоящую революцию в мире мобильных игр. Sony PSP позволяет уместить все мобильные развлечения в карман. На этом блоге Вы сможете найти ответы на многие вопросы касающиеся использования Sony PSP. Скачать программы, прошивки, игры,эмуляторы, обои для PSP. Просмотреть новости из мира PSP, обзоры PSP игр. PSP форум позволит вам решить любые вопросы и проблемы которые у вас могут возникнуть в процессе освоения этой революционной приставки! Блог только начал свое существование и будет постоянно развиваться.
Оставь свой след
03 Мар 2008, 17:17
Сегодня оставил свой след, в буквальном смысле Наступил случайно на асвальт, который только укатали.. Хорошо что быстро отвалился.
Еще сегодня повестку принесли, теперь надо в военком тащится, так неохота
П.С. Ходил на выборы и ничего не дали - сволочи! Мало того, так еще в очереди стоял минут 10-15
П.П.С. Снимаем стресс (внешка) Прикольная фишка
Китайцы
27 Фев 2008, 19:29
Стань китайцем - прочти надпись
П.С. Натяни глаза, как будто ты китаец и сможешь прочитать что тут написано
Картинки =)
25 Фев 2008, 14:28
Выборы.
22 Фев 2008, 15:10
Скоро выборы, собираюсь идти, хотя и так ясно что президент - МедвеД. Хотел вначале за него голосовать. Но сейчас уже за Жириновского собираюсь! Хоть веселее будет
Я вот что хотел узнать, говорят, что когда первый раз голосуешь, то тебе что-то дарят, типа конфет. Правда ли это? А то может вообще не идти
П.С. Сегодня сдал последний зачет и теперь официально закрыл сессию, с печатью в зачетке. УРА! УРА! УРА!
Я уже писал, что закрыл, но тогда нам про информатику ничего не сказали.
Права
21 Фев 2008, 16:58
Сегодня наконец-то записался.
Площадку сдал, но город, к сожалению, нет. Но мне, впринцепи, не обидно даже, потому что как мне говорят, что сейчас с 1-го раза нереально сдать. Хотя все невозможное возможно
Сдавал на шевроле ланосе. Так не привычно после "6" садится за иномарку. Большие отличия. На ланосе - минимум нажатий, сама едет, только рули сиди.
А не сдал, потому что не пропустил помеху справа, хотя помоему я успел проехать и совершенно не помешал, впрочем с этими дьдяками лучше не спорить
П.С. Кстати, сегодня 1-ый в очереди был, приехал к 7.10
ГИБДД
16 Фев 2008, 15:13
Блин, уже 3 раз пытаюсь сдать на права!
В первый раз все нормально вроде бы было. Приехал туда, все оформил, все печати поставил где надо, оплатил госпошлину и сдал теоретический экзамен. Сказали: "Приходи в следущий раз сдавать вождение, к 9.00". Приезжаю во второй раз, а мне говорят что группу уже набрали, сказали надо в следущий раз по раньше приезжать. Приехал в третий раз к 8.30 и опять: "Группу уже набрали". Сегодня ездил уже четвертый раз. На это раз приехал к 7.50 (так неохота вставать было ) а там уже человек 20 сидит. Простоял час и вот мне уже заходить, радуюсь стою, а мент выходит и говорит что на вождение набрали, приходите в следущий раз.
Достали уже! Целый час простоял.
В следущий раз поеду, наверно, к 7.00, чтоб уж наверняка. Зато может первым буду.
С днем Святого Валентина!
14 Фев 2008, 15:29
Ыыы
03 Фев 2008, 18:33
УРА УРА УРА
Я закрыл сессию! Наконец-то каникулы, вот только они до 7
.
А у меня сегодня ДР! =)
25 Янв 2008, 15:04
ВСЕХ с днем студента! А Татьян еще и с Татьянином днем!
Мне теперь 18
Креативная мебель
23 Янв 2008, 13:06
К продолжению этого поста
L.A. Confidential
22 Янв 2008, 14:05
L.A. Confidential
Секреты Лос-Анджелеса
«It's a crime saga that will shock you. It's a mystery that will keep you guessing. It's a thriller that will keep you riveted.»
Посмотрел этот фильм - понравился! Решил посмотреть его после American Gangster, который тоже очень понравился.
Вообще потянуло меня на фильмы, где про мафию 60-70-ых.
Поскажите еще какие-нибудь фильмы на эту тему.
Угадай звезду.
15 Янв 2008, 15:12
Заходите - поугадываем!
http://unsorted.ru/viewtopic.php?t=64183
А что ты обо мне думаешь?
15 Янв 2008, 14:15
http://www.naushko.ru/whisper.php?id=66917
П.С. Оставляйте свои ссылки, отвечу
Взбамбучиться
14 Янв 2008, 21:15
Привет! Это Джимми Хуму-Хуму-Нука-Де Капуа и его маленький брата!
Пей фанту - будь бамбуча! пузырки шепчут...
Картинки кликалиберны.