Z Wikipedii
|
|
|
|
|
filoz |
Ten użytkownik posiada znajomość terminologii stosowanej w filozofii. |
|
inf |
Ten użytkownik posiada znajomość terminologii stosowanej w informatyce. |
|
mat |
Ten użytkownik posiada znajomość terminologii stosowanej w matematyce. |
|
|
web |
Ten użytkownik posiada wiedzę praktyczną, jeżeli chodzi o tworzenie stron WWW. |
|
|
Wieża Różności
|
|
|
|
|
Ten użytkownik bardzo lubi grać w brydża. |
|
|
php |
Ten użytkownik posiada wiedzę z zakresu języka PHP. |
|
C++ |
Ten Użytkownik posiada wiedzę z zakresu języka C++. |
|
Ur. 5 grudnia 1983 roku, student informatyki oraz filozofii na Uniwersytecie Warszawskim. Specjalizuję się w logice informatycznej, w szczególności rachunkach lambda z typami oraz systemem dowodzenia twierdzeń Coq. Jestem także współtwórcą i głównym administratorem serwisu LING.pl.