Rozumowanie wspomagane komputerowo: studia przypadków ACL2

This is the translation. The original web-page (oryginalna strona): https://www.cs.uTeksas.edu/~moore/publications/acl2-books/acs/index.html Matt Kaufmann, Panagiotis Manolios, i J Strother Moore (red.), Kluwer Academic Publishers, Czerwiec 2000. (ISBN 0-7923-7849-0) Opis Współtwórcy Spis treści i fragmenty (pdf. 6 MB) (ps 1,3 MB) Errata Materiały pomocnicze do Read More …

Problem kombinatoryczny: Ile jest różnych labiryntów n-poziomowych?

This is the translation. The original web-page (oryginalna strona): http://www.math.stonybrook.edu/~tony/mazes/classify.html Przez labiryntydo matematyki Wśród klasycznych i średniowiecznych typów labiryntów są przykłady różnych prostych, naprzemiennych labiryntów tranzytowych o tej samej liczbie poziomów. Na przykład wszystkie te trzy 12-poziomowe ścieżki labiryntu występują. Read More …

Życie i śmierć gwiazd

This is the translation. The original web-page (oryginalna strona): https://faculty.wcas.northwestern.edu/~infocom/The%20Website/pressure.html David Taylor Materia pod presją Aby zrozumieć gwiazdy, musisz zrozumieć presję. Od narodzin do śmierci, wewnętrzne ciśnienie gwiazdy wytworzone przez jej własny ciężar jest najbardziej dominującym czynnikiem w życiu gwiazdy.Załóżmy, że bierzesz Read More …