Blog de la Biblioteca de Matemàtiques i Informàtica


Deixa un comentari

Nous acords transformatius — Blog CRAI Universitat de Barcelona

Reblogat de Notícies UB del 26/07/2021 Nous acords transformatius per impulsar la publicació en accés obert Recerca Els acords transformatius són contractes entre els consorcis de biblioteques i les editorials per transformar sense cost els pagaments de les subscripcions actuals en publicacions en accés obert, tot mantenint l’accés de lectura. En els darrers mesos, aquests […]

Nous acords transformatius — Blog CRAI Universitat de Barcelona

Novetats del fons: juny

Deixa un comentari

BR electrònica

This gallery contains 17 photos


Deixa un comentari

Lliurament de diplomes i premis als titulats de la promoció 2019-20

Paranimf de l’Edifici Històric | © Universitat de Barcelona

Dilluns 21 de juny, a les 17:30, se celebrarà al Paranimf l’acte de lliurament de diplomes als titulats del grau en Enginyeria Informàtica, el grau en Matemàtiques, el doble grau en Matemàtiques-Enginyeria Informàtica, el doble grau en Matemàtiques-ADE, el doble grau en Matemàtiques-Física, el màster en Matemàtica Avançada, el màster en Fonaments de la Ciència de Dades  i el doble màster en Matemàtiques i Fonament de Ciència de Dades del curs 2019-2020.

L’acte, presidit pel Dr. Joan Guàrdia, rector de la UB, comptarà amb les intervencions del Dr. Oriol Pujol, degà entrant de la Facultat i del Dr. Carles Casacuberta, degà sortint. També hi intervindran, en representació dels alumnes, Anna Jové, Enric Florit, Ignasi Guillén i Aina Ferrà.

Finalment es farà lliurament del premi August Palanques al millor expedient de Matemàtiques, el premi Joaquim Font al millor expedient d’Enginyeria Informàtica i el premi a la comunicació i a la qualitat lingüística dels treballs finals dels graus.

Podreu seguir en directe la retransmissió de l’acte a través d’UBtv.


Deixa un comentari

La Facultat de Matemàtiques i Informàtica organitza la hackató «App4InfoRefugees»

La Facultat de Matemàtiques i Informàtica i la Fundació Solidaritat UB, amb el suport de l’Ajuntament de Barcelona, organitzen la hackató #app4InfoRefugees, que se celebrarà entre el 25 i el 28 de juny, en el marc del Dia Mundial del Refugiat, promogut per l’ONU.

L’objectiu de la hackató és desenvolupar una aplicació mòbil que permeti als refugiats accedir fàcilment a tota la informació relativa al dret d’asil un cop arribin a l’Estat espanyol. Així mateix es vol facilitar que educadors i treballadors socials, personal d’ONG i altres col·lectius dedicats a l’acollida, puguin identificar, amb el màxim d’informació possible, quines causes permeten sol·licitar asil i quines entitats poden assessorar als sol·licitants al moment de tramitar-lo.

Desenvolupament

La hackató se celebrarà semipresencialment. Començarà divendres 25 i acabarà dilluns 28 de juny.

  • 25 de juny. L’activitat començarà a les 10:00 amb una presentació a la Facultat de Matemàtiques i Informàtica, que també es podrà seguir en línia. S’hi presentaran els experts —tècnics i de contingut— i els canals de comunicació establerts mentre duri la hackató.
  • 26-27 de juny. Els diversos equips desenvolupen la seva proposta.
  • 28 de juny. A les 17:00 es presenten les propostes i a les 18:00 es lliuren els premis

Inscripció

Les inscripcions es poden formalitzar fins al 22 de juny, omplint el formulari.

Els equips seran de fins a quatre membres. En cas de no formar part de cap equip i voler-hi participar, l’organització us n’assignarà un.

Premi

El premi per a l’equip guanyador és un xec d’Amazon de 500€.

Contacte

Si teniu qualsevol dubte poseu-vos en contacte amb:

  • Eloi Puertas – epuertas@ub.edu
  • Albert Catalán – ac.tatjer@gmail.com

Més informació


Deixa un comentari

Llibres que amaguen sorpreses

Sovint quan remenem llibres descobrim testimonis curiosos d’un passat indeterminat; anotacions o il·lustracions de lectors que ens han precedit. Des del punt de vista de la preservació no podem aprovar aquests tipus de manifestacions, però també és cert que no totes tenen la mateixa naturalesa, intenció o «valor».

Una mica per casualitat, però coincidint amb l’exposició itinerant #noemratllis: no soc teu, soc de tothom, que allotgem fins al 9 de juliol, hem trobat tres exemples ben diferents d’això que us dèiem. Com a mínim dos dels casos provenen de fons personals, de manera que les anotacions que hi van fer els anteriors propietaris es podrien considerar legítimes: al cap i a la fi, els llibres eren seus.

El lector que treballava exhaustivament els continguts que llegia

Godeaux, Lucien. Leçons de géométrie projective. Paris : Masson, 1952.

Hi ha lectors que espremen les lectures, que hi donen voltes i que, fins i tot, completen les explicacions amb anotacions i il·lustracions. És el cas d’aquest Leçons de géométrie projective, que conté anotacions acurades, aclariments i figures que perfilen el text. Un exemple de lectura ben aprofitada.

El lector que tenia el cap en una altra banda

Moya, Ambrosio. Elementos de matemáticas. Madrid : [s.n.], 1871 (Imprenta de Segundo Martínez).

Aquest lector —Emili Corominas Cornell, probablement germà d’Eusebi Corominas, regidor de l’Ajuntament de Barcelona, alcalde accidental i diputat per Girona a les Corts espanyoles durant la Restauració borbònica— sembla que tenia més interès per la situació convulsa que li va tocar viure que no pas per l’aritmètica i l’àlgebra.

En cap cas aclareix a quina carlinada fa referència però tenint en compte l’any de publicació del llibre —1871—, assumim que devia ser la tercera. A tall de curiositat, el llibre havia format part prèviament del fons de l’Ateneu Enciclopèdic Popular.

El lector que discrepava, amb rotunditat i vehemència, de l’autor, de l’obra i de tot plegat

Fàbrega Enfedaque, Albert. Euclides i la tortuga : una aproximació experimental a la geometria per ordinador. Barcelona : Universitat Politècnica de Catalunya. Institut de Ciències de l’Educació, 1987.

D’aquest lector no en sabem res: ni qui era ni a què es dedicava. El que ens ha quedat clar, però, són dues coses: la seva experiència amb aquell llibre va ser més que decebedora, fins i tot traumàtica. La segona: va considerar necessari advertir a futurs i incauts lectors. Molt més enllà de la vehemència i a tocar de la hipèrbole.


Deixa un comentari

Library Access: una manera fàcil d’accedir als recursos d’informació digitals subscrits per la UB — Blog CRAI Universitat de Barcelona

Què és Library Acces? Library Access és una extensió de l’empresa Lean Library que s’instal·la al navegador (Chrome, Firefox, Opera, Safari, Internet Explorer i Edge) i que facilita l’accés al contingut de recursos electrònics subscrits pel CRAI de la Universitat de Barcelona. La idea és que quan un membre de la UB navega mitjançant el […]

Library Access: una manera fàcil d’accedir als recursos d’informació digitals subscrits per la UB — Blog CRAI Universitat de Barcelona


Deixa un comentari

Història de la matemàtica: Grècia IIIa (el segle d’or: Aristeu, Eudem, Euclides i Aristarc)

Història de la matemàtica Grècia IIIa (el segle d'or Aristeu, Eudem, Euclides i Aristarc)[...]Ens acaba d’arribar el nou volum de l’obra en la qual Josep Pla i Carrera està treballant els darrers anys: Història de la matemàtica: Resultats, textos i contextos. El cinquè lliurament s’ocupa dels «segle d’or» de la matemàtica grega, fent èmfasi en Eudem, Aristeu, Euclides i Aristarc.

Aquest volum està dedicat a Josep Vaquer, traspassat el març de 2020, tal com ja vam informar al seu moment.

Una obra ingent destinada a omplir un buit

La Història de la matemàtica que proposa el Dr. Pla omple un buit pel que fa a la traducció de textos científics grecs en català. Selecciona i recull acuradament aquelles obres més significatives que han esdevingut clàssics del coneixement matemàtic i les contextualitza respecte al moment històric en què es van confegir i respecte al moment científic que les va veure néixer.

«Els qui em coneixen saben que, des de sempre, he estat un aferrissat defensor de la nostra llengua: el català. La raó és simple. Si no l’usem, de manera natural i tan àmplia com sigui possible a casa —als Països Catalans—, ningú no ho farà per nosaltres i, cada cop més, la llengua s’empobrirà de manera indiscutible i, a poc a poc, irreversible.

És per aquesta raó que m’ha semblat raonable —com a herència de la meva vida docent i de recerca— deixar una Història de la matemàtica en català, tan detallada com sigui capaç de fer-ho, en la qual es posin en relleu els resultats més notables que s’han assolit i els contextos en els quals això ha esdevingut, complementada amb textos font, traduïts al català, seguint la tradició anglosaxona dels source books.

És una tasca ambiciosa que m’ocuparà un grapat d’anys, però a la qual no vull renunciar i no ho vull fer perquè estic convençut del valor cultural —ja esmentat— que comporta una història de la matemàtica ben confegida. Però també pel valor que té com a eina i criteri docent. Ras i curt: tot docent d’una disciplina, científica o no —i, en particular, tot el qui ensenya matemàtica—, n’ha de conèixer el valor didàctic des de la història.»

Josep Pla durant la presentació de l'obra el 28/03/2017
Josep Pla durant la presentació dels dos primers volums, el 28 de març de 2017

Un projecte sota el paraigua de l’IEC

Aquesta obra magna és el resultat del projecte que va proposar l’autor en la sol·licitud per al nomenament de professor emèrit a la UB, avalat per l’aleshores Departament de Probabilitat, Lògica i Estadística, i que es va iniciar l’1 de gener de 2013. Emmarcada en la Secció de Ciència i Tecnologia de l’Institut d’Estudis Catalans (IEC) i sota la direcció de la Dra. Pilar Bayer, tenia per objectiu la redacció d’una història de la matemàtica grega en quatre volums —més un de preliminar— en català, tot i que hores d’ara, ja podem afirmar que serà més extensa. Cada volum consta de dues parts diferenciades: un corpus històric i la traducció de textos clàssics del període estudiat.

Dels cinc volums publicats fins al moment, el primer —Història de la matemàtica. Egipte i Mesopotàmia : resultats, textos i contextos— és un compendi previ que abasta les primeres civilitzacions del creixent fèrtil: Mesopotàmia i Egipte. El segon volum, Història de la matemàtica. Grècia I (de Tales i Pitàgores a Plató i Aristòtil) : resultats, textos i contextos, parteix de l’època de Tales i Pitàgores (segle VI aC) fins arribar a Plató i Aristòtil (segle IV aC). El tercer volum —Història de la matemàtica. Grècia IIa (els Elements d’Euclides, llibres I, II, III, IV, V i VI) : resultats, textos i contextos— i el quart —Història de la matemàtica. Grècia IIb (els Elements d’Euclides, llibres VII, VIII, IX, X, XI, XII i XIII) : resultats, textos i contextos— estan dedicats íntegrament als Elements d’Euclides, dels quals s’ofereix una edició anotada i comentada. Finalment, el que avui ens ocupa, abasta el segle III aC, el segle d’or de la matemàtica grega, «el moment en el qual s’assoleix la síntesi —han fet el cim— de les aportacions epistemològiques i metodològiques dels tres segles precedents.»

Una obra guardonada amb el premi Crítica Serra d’or

Els dos primers volums de l’obra van rebre el Premi Crítica Serra d’or en la categoria de recerca l’any 2017, un reconeixement sense dotació econòmica que ha assolit un gran prestigi i renom en l’àmbit cultural català. Instituït el 1967, es concedeix en les categories de literatura i assaig, recerca, teatre, i literatura infantil i juvenil.

Apunts relacionats


Deixa un comentari

SIMBa: An introduction to theorem provers

SIBMa

El proper dimecres, 2 de juny, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Eloi Torrents
Universitat: Universitat Autònoma de Barcelona

Data: Wednesday, June 2nd, 2021.
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website).
Idioma: English.

Títol: An introduction to theorem provers
Resum: In this talk, we will introduce proof assistants, pieces of softwarethat formally verify mathematical proofs.Lean has a very extensivedatabase with mathematical results at the undergraduate level for-mally verified, and it is even used to verify new research. This hasseveral applications, including teaching, automatically verifying publi-cations, and even automated theorem proving. At the end of this talk,we will carry out a demo of Lean to show the basics and how you canget started.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.