Informatyka UJ forum

Robson · Wysłany: Śro 23:15, 29 Mar 2006 Temat postu:

W notatkach z analizy:

Spectro

Dzisiejszy wykład z Teorii Programowania zbliża się ku końcowi. Zaionc patrzy na zegarek, po czym uspokajającym tonem mówi:

"Hmm... Jeszcze 5 minut. Zrobimy teraz problem nierozstrzygalny, a nawet bardzo nierozstrzygalny." :D

exeman

Spectro: fajna ta Teoria Programowania? Trudna? Bardzo abstrakcyjna czy dyskretna, Jak to tam?

Spectro

Trudność TP polega na tym, że jest całkowicie abstrakcyjna, a rozwiązywanie zadań z nią związanych wymaga pewnej wprawy. To takie programowanie w różnych modelach matematycznych oraz rozstrzyganie, czy dany problem może być rozwiązany iteracyjnie, rekurencyjnie, czy ma własność stopu, czy jest w ogóle rozstrzygalny, itp. Zaionc nie leci po zagadnieniach w jakimś szalonym tempie, wszystkie kwestie spokojnie i zrozumiale tłumaczy.

Jako przedmiot jest (przynajmniej dla mnie) bardzo interesujący, ale muszę trochę poćwiczyć rozwiązywanie zadań, bo po świętach mam kolokwium... :roll:

Skrobocik

Jak to dziś na wykładzie Mrozek powiedział "...to jest szerszym zawężeniem..." :wink:

angel_

Madras

No cóż, czasem się nie udaje dokładnie zapamiętać treści wypowiedzi, a o podyktowanie chyba prosić nie wypada ;].

Coś z dzisiejszej analizy, dr Krawczyk:
"Bawimy się teraz trochę w inżynierów, czyli całkujemy, różniczkujemy, ale się nie zastanawiamy, czy to jest całkowalne albo różniczkowalne."

ostoj

cwiczenia z asd1, mgr Zenczykowski
(...) to istotne, bo musimy wiedziec jaka wartosc przypisac plus nieskonczonosci :)

jagm

nie wiem, czy dobrze pamiętam, ale sens wypowiedzi powinienem oddać:

hansu> pascal jest pseudojęzykiem
dr slusarek> to nie pascal jest pseudojęzykiem, tylko kompilatory pascala są pseudokompilatorami

Skrobocik

hansu

A dzisiaj na Tp prof. Zaionc przeszedl samego siebie :D:D:D

prof: "Doszly mnie sluchy ze piatek za tydzien ma byc wolny od zajec... Ale nie wiem na ile ta informacja jest potwierdzona"
ktos: "Jest potwierdzona. Dziekan na prosbe prezydenta zrobil piatek dniem wolnym"
prof: "Ale prezydenta tego..... najwyzszego?"

Po czym wykonalismy klasycznego rotfla :P

Robson

No tak...dzisiaj miał teksty nieziemskie :P

hansu

Dzisiejsze cwiczenia z algebry:

Dr Wilczak: "Mozemy to zrobic w ten sposob ze przestrzen |R^2 zanurzamy w przestrzeni |R^3"
ins (przez zeby): "Ja bym utopil..."

Robson

ostoj

wlasciciel mojego mieszkania jakis czas temu
'moj kolega twierdzi ze firefox jest do dupy bo sciaga wszystko na pulpit' :D:D:D

Madras

[link widoczny dla zalogowanych] , zerknijcie na napis na samej górze strony ; ).

Ethlinn

dobre... ^^

Spectro

Heh, cedric jest w formie :) :

Po jego próbie wytłumaczenia zadania D na tablicy:

Fidel

mala poprawka:
kecim powiedzial do cedrica: Tylko niech pan nie mowi rozwiazania.

;)

Spectro

Poprawione :) . Właśnie tej jedynej kwestii nie byłem pewien :p .

cheater_

nawet w mojej grupie biedny kecim się na cedrika skarżył :P

Fen

coś mi się wydaje, że w piątek cedric był bohaterem dnia dla panów z TCSu :D a przynajmniej dla "biednego" kecima :lol:

Pandunia · Gość

[deleted]

Spectro

kafex

ROTFL :D