1375663340

£

•o

o

a prawdopodobnie będzie już tylko rosnqć. Niestety komputery wysokich mocy sq bardzo drogie zarówno w zakupie, jak i utrzymaniu. Używajqc procesorów opartych o architekturę ARM (procesory używane w smartfonach) możemy znacznie zmniejszyć całkowity koszt. Wydajność takiego układu nie będzie wysoka, jednak może on stanowić świetne narzędzie do nauki dla studentów zainteresowanych obliczeniami równoległymi. W swoim referacie opiszę pokrótce proces budowy niskobudżetowego superkomputera.

„Analiza niestandardowa"

Piotr Uść, Politechnika Wrocławska

Przedstawione zostanie krótko czym jest analiza niestandardowa - jako sformalizowane podejście G. W. Leibniza do analizy („rachunek nieskończenie małych") poprzez konstrukcję liczb hiperrzeczywistych. Omawiane będzie także jak można jq zastosować i zwiqzek z klasycznq analizę.

Godz. 12.30

„O pewnym operatorze różniczkowym cofającym formę”

Małgorzata Grzyb, Uniwersytet Łódzki

Celem referatu jest zaprezentowanie podstawowych definicji zwięzanych z naturalnymi operatorami różniczkowymi tj. pojęcia wiqzki wektorowej, koneksji w wiqzce wektorowej oraz przekroju wiqzki, krzywizny danej koneksji, pojęcia algebry oraz algebroidu Liego. Struktury te pozwolę określić nam pewien operator różniczkowy D : r(A^fe/l) -4 r(A^fc_1j4) cofajęcy formę, określony w następujący sposób: dla każdego m 6 M mamy

DU\_m = D(w_,fi)|_m = -(-ljMfdujfl + ^(_ajAw)jV_Xifi),

gdzie X\,..., X„ jest bazq w A\_m oraz aj,.... a„ jej bazę dualnę w A*|_m. Szczególnie interesujące wydaje się twierdzenie mówięce, że kwadrat tak określonego operatora różniczkowego wyraża się poprzez krzywiznę wspomnianej koneksji.