stringtranslate.com

Discusión del usuario:Bartosz

Hola, bienvenido a la 'pedia'. Espero que te guste el lugar y decidas quedarte . Si necesitas consejos sobre cómo poner títulos a las páginas, visita Wikipedia:Convenciones de nomenclatura o sobre cómo formatearlas, visita nuestro manual de estilo . Si tienes alguna otra pregunta sobre el proyecto, consulta Wikipedia:Ayuda o agrega una pregunta al foro de la comunidad . ¡Saludos! -- maveric149

Paradoja de los gemelos

Hola. ¿Crees que podrías ver la pregunta que publiqué al final de la página de discusión de Twin Paradox? ¡Me interesaría mucho tu respuesta! Gracias. Ver: [[1]]

Wodan 21:51, 28 de agosto de 2004 (UTC)

Lógica polisémica, teoría de categorías

Estimado Bartosz ,

Gracias por su carta. He utilizado el término “ordenar” en el sentido en que se utiliza en el campo de la “lógica de ordenación múltiple”. También fue una sorpresa para mí que no exista todavía ningún artículo en Wikipedia sobre lógica de ordenación múltiple. La lógica de ordenación múltiple es también un tema nuevo para mí. Intento aprenderlo buscando palabras clave como “lógica de ordenación múltiple”, “many-sorted”, y hasta ahora he encontrado materiales como Lógica de ordenación múltiple, el primer capítulo de Apuntes de clase sobre procedimientos de decisión, escrito por Calogero G. Zarba.

¡Que tengas mucha suerte en aprender la teoría de categorías! Yo comencé con

Aprender teoría de categorías puede ser aún más divertido si se combina con programación categórica, como el lenguaje de programación Charity. Pero Haskell (lenguaje de programación) también tiene muchos materiales y oportunidades relacionados con la teoría de categorías.

Los mejores deseos

Physis 20:47 28 noviembre 2006 (UTC) [ responder ]

Nuevo artículo: lógica de ordenación múltiple

Gracias por tu carta, y también por la sugerencia en el tema de física (el tema no es mío, solo lo salvé de la eliminación copiándolo en mi página de usuario. De niño quería ser físico, es una ciencia maravillosa).

Para facilitar sus esfuerzos en el aprendizaje de la lógica polivalente , acabo de crear un artículo de este tipo, pero es muy embrionario y solo contiene una referencia nueva que aún no le he mencionado (porque acabo de encontrar ese libro).

Mucho éxito y mis mejores deseos para ti,

Physis 23:22 28 noviembre 2006 (UTC) [ responder ]

Traducción del español al polaco

Hola. Me gustaría pedir tu ayuda con la traducción. Podría ser un pequeño descanso recreativo de los temas informáticos. :-) Si quieres, echa un vistazo a un breve artículo sobre un premio internacional de música que debería estar disponible en varios idiomas importantes como el polaco, ya que ha habido participantes polacos. Ya está publicado en inglés , francés y alemán. No tendrías que molestarte con la tableta y las referencias, ya que prepararía ambas para polaco. Solo necesito los términos polacos apropiados (nacionalidades, etc.) para ello. Solo házmelo saber. Muchas gracias de antemano. Saludos cordiales ArcCan ( discusión ) 18:23, 2 de octubre de 2010 (UTC) [ responder ]

Notificación de generación automática de descripción de archivos

Se ha tomado nota de la carga de File:Code Co-op.png o de su contribución a su descripción, y se agradece (aunque sea con retraso) su contribución. Para ayudar a hacer un mejor uso de los medios, se ha intentado mediante un proceso automatizado identificar y agregar cierta información a la página de descripción de los medios.

Esta notificación se ha colocado en tu página de discusión porque un bot te ha identificado como el que subió el archivo o como colaborador de sus metadatos. Te agradeceríamos que revisaras detenidamente la información que ha añadido el bot. Para dejar de recibir estas notificaciones, sigue las instrucciones aquí . ¡Gracias! Mensaje enviado por Theo's Little Bot ( darse de baja ) 15:01, 15 de mayo de 2014 (UTC) [ responder ]

¡Las elecciones de ArbCom ya están abiertas!

Hola,
parece que cumples los requisitos para votar en las elecciones actuales del Comité de Arbitraje . El Comité de Arbitraje es el panel de editores responsable de llevar a cabo el proceso de arbitraje de Wikipedia . Tiene la autoridad de promulgar soluciones vinculantes para las disputas entre editores, principalmente relacionadas con problemas graves de comportamiento que la comunidad no ha podido resolver. Esto incluye la capacidad de imponer prohibiciones de sitios , prohibiciones de temas , restricciones de edición y otras medidas necesarias para mantener nuestro entorno de edición. La política de arbitraje describe las funciones y responsabilidades del Comité con mayor detalle. Si deseas participar, puedes revisar las declaraciones de los candidatos y enviar tus elecciones en la página de votación . Para el Comité de Elecciones, MediaWiki message delivery ( discusión ) 08:53, 23 de noviembre de 2015 (UTC) [ responder ]

Elecciones de ArbCom 2016¡La votación ya está abierta!

Hola, Bartosz. La votación para las elecciones del Comité de Arbitraje de 2016 está abierta desde el lunes 21 de noviembre a las 00:00 hasta el domingo 4 de diciembre a las 23:59 para todos los usuarios desbloqueados que hayan registrado una cuenta antes del miércoles 28 de octubre de 2016 a las 00:00 y hayan realizado al menos 150 ediciones en el espacio principal antes del domingo 1 de noviembre de 2016 a las 00:00.

El Comité de Arbitraje es el panel de editores responsable de llevar a cabo el proceso de arbitraje de Wikipedia . Tiene la autoridad de imponer soluciones vinculantes a las disputas entre editores, principalmente en el caso de disputas de conducta graves que la comunidad no ha podido resolver. Esto incluye la autoridad para imponer prohibiciones de sitios , prohibiciones de temas , restricciones de edición y otras medidas necesarias para mantener nuestro entorno de edición. La política de arbitraje describe las funciones y responsabilidades del Comité con mayor detalle.

Si desea participar en las elecciones de 2016, revise las declaraciones de los candidatos y envíe sus opciones en la página de votación . Mdann52 ( discusión ) 22:08 21 nov 2016 (UTC) [ responder ]

Elecciones de ArbCom 2016¡La votación ya está abierta!

Hola, Bartosz. La votación para las elecciones del Comité de Arbitraje de 2016 está abierta desde el lunes 21 de noviembre a las 00:00 hasta el domingo 4 de diciembre a las 23:59 para todos los usuarios desbloqueados que hayan registrado una cuenta antes del miércoles 28 de octubre de 2016 a las 00:00 y hayan realizado al menos 150 ediciones en el espacio principal antes del domingo 1 de noviembre de 2016 a las 00:00.

El Comité de Arbitraje es el panel de editores responsable de llevar a cabo el proceso de arbitraje de Wikipedia . Tiene la autoridad de imponer soluciones vinculantes a las disputas entre editores, principalmente en el caso de disputas de conducta graves que la comunidad no ha podido resolver. Esto incluye la autoridad para imponer prohibiciones de sitios , prohibiciones de temas , restricciones de edición y otras medidas necesarias para mantener nuestro entorno de edición. La política de arbitraje describe las funciones y responsabilidades del Comité con mayor detalle.

Si desea participar en las elecciones de 2016, revise las declaraciones de los candidatos y envíe sus opciones en la página de votación . Entrega de mensajes de MediaWiki ( discusión ) 22:08 21 nov 2016 (UTC) [ responder ]

Mensaje para los votantes de ArbCom en las elecciones de 2017

Hola, Bartosz. La votación para las elecciones del Comité de Arbitraje de 2017 está abierta hasta las 23:59 del domingo 10 de diciembre. Todos los usuarios que registraron una cuenta antes del sábado 28 de octubre de 2017, realizaron al menos 150 ediciones en el espacio principal antes del miércoles 1 de noviembre de 2017 y no están bloqueados actualmente pueden votar. Los usuarios con cuentas alternativas solo pueden votar una vez.

El Comité de Arbitraje es el panel de editores responsable de llevar a cabo el proceso de arbitraje de Wikipedia . Tiene la autoridad de imponer soluciones vinculantes a las disputas entre editores, principalmente en el caso de disputas de conducta graves que la comunidad no ha podido resolver. Esto incluye la autoridad para imponer prohibiciones de sitios , prohibiciones de temas , restricciones de edición y otras medidas necesarias para mantener nuestro entorno de edición. La política de arbitraje describe las funciones y responsabilidades del Comité con mayor detalle.

Si desea participar en las elecciones de 2017, revise los candidatos y envíe sus opciones en la página de votación . Entrega de mensajes de MediaWiki ( discusión ) 18:42 3 dic 2017 (UTC) [ responder ]

Mensaje para los votantes de la ArbCom en las elecciones de 2018

Hola, Bartosz. La votación para las elecciones del Comité de Arbitraje de 2018 está abierta hasta las 23:59 del domingo 3 de diciembre. Todos los usuarios que registraron una cuenta antes del domingo 28 de octubre de 2018, realizaron al menos 150 ediciones en el espacio principal antes del jueves 1 de noviembre de 2018 y no están bloqueados actualmente pueden votar. Los usuarios con cuentas alternativas solo pueden votar una vez.

El Comité de Arbitraje es el panel de editores responsable de llevar a cabo el proceso de arbitraje de Wikipedia . Tiene la autoridad de imponer soluciones vinculantes a las disputas entre editores, principalmente en el caso de disputas de conducta graves que la comunidad no ha podido resolver. Esto incluye la autoridad para imponer prohibiciones de sitios , prohibiciones de temas , restricciones de edición y otras medidas necesarias para mantener nuestro entorno de edición. La política de arbitraje describe las funciones y responsabilidades del Comité con mayor detalle.

Si desea participar en las elecciones de 2018, revise los candidatos y envíe sus opciones en la página de votación . Entrega de mensajes de MediaWiki ( discusión ) 18:42 19 nov 2018 (UTC) [ responder ]