Привет, добро пожаловать в 'pedia! Надеюсь, вам понравится это место и вы решите остаться . Если вам нужны указания о том, как мы посещаем титульные страницы Wikipedia: Соглашения об именовании или как их форматировать, посетите наше руководство по стилю . Если у вас есть другие вопросы о проекте, посетите Wikipedia: Помощь или добавьте вопрос в Village pump . Спасибо! -- maveric149
Привет. Как думаешь, ты мог бы взглянуть на мой вопрос, который я указал внизу страницы обсуждения Twin Paradox? Мне был бы очень интересен твой ответ! Спасибо. См.: [[1]]
Водан 21:51, 28 августа 2004 г. (UTC)
Дорогой Бартош ,
Спасибо за Ваше письмо. Я использовал термин «сортировка» в том смысле, в котором он используется в области «многосортной логики». Для меня также было неожиданностью, что в Википедии пока нет статьи о многосортной логике. Многосортная логика также является для меня новой областью. Я пытаюсь изучить ее с помощью поиска по ключевым словам «многосортная логика», «многосортный», до сих пор я нашел такие материалы, как «Многосортная логика», первая глава в Lecture Notes on Decision Procedures, написанная Калоджеро Г. Зарбой.
Желаю вам удачи в изучении теории категорий! Я начал с
Изучение теории категорий может быть еще более забавным, если объединить его с категориальным программированием, см., например, язык программирования Charity. Но и Haskell (язык программирования) имеет много материалов и возможностей, связанных с теорией категорий.
С наилучшими пожеланиями
Physis 20:47, 28 ноября 2006 (UTC)
Спасибо Вам за Ваше письмо, а также за предложение по теме физики (тема не моя, просто я спас ее от удаления, скопировав на свою страницу пользователя. В детстве я хотел стать физиком, это замечательная наука).
Чтобы облегчить Вам задачу по изучению многосортной логики , я только что создал такую статью, но она пока еще очень сырая и содержит только одну новую ссылку, о которой я Вам еще не упоминал (потому что я только что нашел эту книгу).
Больших успехов и наилучших Вам пожеланий,
Physis 23:22, 28 ноября 2006 (UTC)
Привет. Я хотел бы попросить вас о помощи в переводе. Это может быть небольшой перерыв от компьютерных тем. :-) Если хотите, пожалуйста, взгляните на короткую статью о международной музыкальной премии, которая должна быть доступна на нескольких важных языках, таких как польский, поскольку уже были польские участники. Она уже опубликована на английском , французском и немецком языках. Вам не придется возиться с планшетом и ссылками, поскольку я подготовлю и то, и другое на польском языке. Мне просто нужны соответствующие польские термины (национальности и т. д.) для этого. Просто дайте мне знать. Заранее большое спасибо. С наилучшими пожеланиями ArcCan ( talk ) 18:23, 2 октября 2010 (UTC)
Ваша загрузка File:Code Co-op.png или вклад в его описание отмечены, и спасибо (даже если с опозданием) за ваш вклад. Чтобы помочь лучше использовать медиа, была предпринята попытка автоматизированного процесса идентифицировать и добавить определенную информацию на страницу описания медиа.
Это уведомление размещено на вашей странице обсуждения, поскольку бот идентифицировал вас как загрузчика файла или как участника его метаданных. Мы будем признательны, если вы внимательно изучите информацию, добавленную ботом. Чтобы отказаться от этих уведомлений, следуйте инструкциям здесь . Спасибо! Сообщение отправлено Theo's Little Bot ( отказаться ) 15:01, 15 мая 2014 (UTC)
Привет,
похоже, вы имеете право голосовать на текущих выборах Арбитражного комитета . Арбитражный комитет — это группа редакторов, ответственных за проведение арбитражного процесса Википедии . Он имеет полномочия принимать обязательные решения по спорам между редакторами, в первую очередь связанным с серьезными поведенческими проблемами, которые сообщество не смогло разрешить. Это включает в себя возможность налагать запреты на сайты , запреты на темы , ограничения на редактирование и другие меры, необходимые для поддержания нашей среды редактирования. Политика арбитража описывает роли и обязанности Комитета более подробно. Если вы хотите принять участие, вы можете ознакомиться с заявлениями кандидатов и представить свой выбор на странице голосования . Для Избирательного комитета, доставка сообщений MediaWiki ( обсуждение ) 08:53, 23 ноября 2015 (UTC)
Здравствуйте, Бартош. Голосование на выборах в Арбитражный комитет 2016 года открыто с понедельника, 00:00, 21 ноября по воскресенье, 23:59, 4 декабря для всех незаблокированных пользователей, которые зарегистрировали учетную запись до среды, 00:00, 28 октября 2016 года, и сделали не менее 150 правок в mainspace до воскресенья, 00:00, 1 ноября 2016 года.
Арбитражный комитет — это группа редакторов, ответственных за проведение арбитражного процесса Википедии . Он имеет полномочия налагать обязательные решения на споры между редакторами, в первую очередь, на серьезные споры о поведении, которые сообщество не смогло разрешить. Это включает в себя полномочия налагать запреты на сайты , запреты на темы , ограничения на редактирование и другие меры, необходимые для поддержания нашей среды редактирования. Политика арбитража описывает роли и обязанности Комитета более подробно.
Если вы хотите принять участие в выборах 2016 года, пожалуйста, ознакомьтесь с заявлениями кандидатов и отправьте свой выбор на странице голосования . Mdann52 ( обсуждение ) 22:08, 21 ноября 2016 (UTC)
Здравствуйте, Бартош. Голосование на выборах в Арбитражный комитет 2016 года открыто с понедельника, 00:00, 21 ноября по воскресенье, 23:59, 4 декабря для всех незаблокированных пользователей, которые зарегистрировали учетную запись до среды, 00:00, 28 октября 2016 года, и сделали не менее 150 правок в mainspace до воскресенья, 00:00, 1 ноября 2016 года.
Арбитражный комитет — это группа редакторов, ответственных за проведение арбитражного процесса Википедии . Он имеет полномочия налагать обязательные решения на споры между редакторами, в первую очередь, на серьезные споры о поведении, которые сообщество не смогло разрешить. Это включает в себя полномочия налагать запреты на сайты , запреты на темы , ограничения на редактирование и другие меры, необходимые для поддержания нашей среды редактирования. Политика арбитража описывает роли и обязанности Комитета более подробно.
Если вы хотите принять участие в выборах 2016 года, ознакомьтесь с заявлениями кандидатов и отправьте свой выбор на странице голосования . Доставка сообщения MediaWiki ( обсуждение ) 22:08, 21 ноября 2016 (UTC)
Здравствуйте, Бартош. Голосование на выборах Арбитражного комитета 2017 года открыто до 23.59 в воскресенье, 10 декабря. Все пользователи, зарегистрировавшие учетную запись до субботы, 28 октября 2017 года, сделавшие не менее 150 правок в mainspace до среды, 1 ноября 2017 года и в настоящее время не заблокированные, имеют право голосовать. Пользователи с альтернативными учетными записями могут голосовать только один раз.
Арбитражный комитет — это группа редакторов, ответственных за проведение арбитражного процесса Википедии . Он имеет полномочия налагать обязательные решения на споры между редакторами, в первую очередь, на серьезные споры о поведении, которые сообщество не смогло разрешить. Это включает в себя полномочия налагать запреты на сайты , запреты на темы , ограничения на редактирование и другие меры, необходимые для поддержания нашей среды редактирования. Политика арбитража описывает роли и обязанности Комитета более подробно.
Если вы хотите принять участие в выборах 2017 года, пожалуйста, ознакомьтесь с кандидатами и отправьте свой выбор на странице голосования . Доставка сообщения MediaWiki ( обсуждение ) 18:42, 3 декабря 2017 (UTC)
Здравствуйте, Бартош. Голосование на выборах Арбитражного комитета 2018 года открыто до 23.59 в воскресенье, 3 декабря. Все пользователи, зарегистрировавшие учетную запись до воскресенья, 28 октября 2018 года, сделавшие не менее 150 правок в mainspace до четверга, 1 ноября 2018 года и в настоящее время не заблокированные, имеют право голосовать. Пользователи с альтернативными учетными записями могут голосовать только один раз.
Арбитражный комитет — это группа редакторов, ответственных за проведение арбитражного процесса Википедии . Он имеет полномочия налагать обязательные решения на споры между редакторами, в первую очередь, на серьезные споры о поведении, которые сообщество не смогло разрешить. Это включает в себя полномочия налагать запреты на сайты , запреты на темы , ограничения на редактирование и другие меры, необходимые для поддержания нашей среды редактирования. Политика арбитража описывает роли и обязанности Комитета более подробно.
Если вы хотите принять участие в выборах 2018 года, пожалуйста, ознакомьтесь с кандидатами и отправьте свой выбор на странице голосования . Доставка сообщения MediaWiki ( обсуждение ) 18:42, 19 ноября 2018 (UTC)
