|
|
|
|
|
|
|
|
|
|
| filoz |
Ten wikipedysta zna terminologię stosowaną w filozofii. |
|
| inf |
Ten wikipedysta zna terminologię stosowaną w informatyce. |
|
| mat |
Ten wikipedysta zna terminologię stosowaną w matematyce. |
|
|
|
| web |
Ten wikipedysta potrafi tworzyć strony 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.