Trzy ciekawe strony

Dzisiejszy wpis będzie bardzo lakoniczny: zaprezentuję trzy ciekawe strony.

1. Complexity Zoo -- strona, na której można znaleźć duuuuuuużo różnych klas w teorii obliczalności, wraz z krótkim opisem i referencjami. Szczególnie polecam NIQSZK. I dla purystów językowych albo też ludzi posługujących się chętnie językiem mówionym: nie, nie istnieje żadna oficjalna wykładnia czytania takich nazw. Powszechna metoda to literowanie (en-aj-kiu-es-zid-kej). Gorsza sprawa z nazwami z róznymi superskryptami etc., jak QAC_f⁰. Chyba tutaj nawet w komunikacji ustnej najprostsze będzie literowanie poleceń LaTeX-owych.
2. The On-Line Encyclopaedia of Integer Sequences -- wpisuje się kilka liczb całkowitych, a oni wyświetlają różne ciekawe z punktu widzenia matematycznego ciągi, do których owe liczby należą. Jakby ktoś nie wiedział 1, 11, 111 i 1111 to pierwsze elementy repunits.
3. Wreszcie, prawdziwy cymes. Strona z katalogiem on-line biblioteki instytutu filozofii UW. Wbrew pozorom to nie jest oczywiste -- na stronie internetowej link jest od dobrych kilku tygodni zepsuty. Nie musicie dziękować.
   [Poprawka późniejsza: link jest już naprawiony. Ale i tak zbyt mało popularny;-).]
   

Poza tym, powstało trochę nowych stron, o których nie warto wspominać. Na przykład nędzna próba Microsoftu dorównania scholar.google.com. Póki co academic.live.com słabo wyszukuje, a wyniki wyświetla, nie wiadomo dlaczego, po niemiecku.