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
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.
Teniu els horaris de la resta de biblioteques al web del CRAI.
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.
La hackató se celebrarà semipresencialment. Començarà divendres 25 i acabarà dilluns 28 de juny.
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.
El premi per a l’equip guanyador és un xec d’Amazon de 500€.
Si teniu qualsevol dubte poseu-vos en contacte amb:
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.
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.
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.
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.
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
![Història de la matemàtica Grècia IIIa (el segle d'or Aristeu, Eudem, Euclides i Aristarc)[...]](https://blocmat.files.wordpress.com/2021/06/historia-de-la-matematica-grecia-iiia-el-segle-dor-aristeu-eudem-euclides-i-aristarc...-1.png)
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.
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.»
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.»
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.
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.
