Matematyka.pl

Ja nienawidzę teorii liczb. Może to dlatego, że nie mam żadnej intuicji w tej dziedzinie. Jak widzę małe twierdzenie Fermata albo coś z podzielnością liczb to mam pustkę w głowie, jest to bardzo irytujące.

Postanowione, na początek kupię: Jacek Gancarzewicz "Zarys współczesnej geometrii różniczkowej".
Będę też polował na "klasykę gatunku" Spivaka.

K4 - nie wiem, dopełnienie jest rekurencyjnie przeliczalne (sprawdzamy po kolei wszystkie słowa dopóki nie natrafimy na różne). Znam algorytm sprawdzający (dla danych G i A), czy \(\displaystyle{ L(G) \subseteq L(A)}\), ale nie wiem czy istnieje algorytm sprawdzający czy \(\displaystyle{ L(A) \subseteq L(G)}\).

K1 - rekurencyjny. Istnieje algorytm rozstrzygający, czy automat należy do zbioru, czy nie. Wystarczy sprawdzić, czy istnieje ścieżka ze stanu startowego do dowolnego ze stanów akceptujących (na przykład przeszukiwanie grafu w głąb). K2 - rekurencyjny. Istnieje algorytm sprawdzający, czy język gener...

Szukam dobrej książki z geometrii różniczkowej (fajnie by było jakby gdzieś dało się ją kupić). Jaką książkę polecicie, znalazłem takie tytuły: Jacek Gancarzewicz "Zarys współczesnej geometrii różniczkowej" Jacek Gancarzewicz, Barbara Opozda "Wstęp do geometrii różniczkowej" Mich...

dzięki , może na święta uda mi się za to zabrać.

p=>q jest równoważne ~pvq jest równoważne (prawa De Morgana) ~(pn~q), n-implikacja
stawiając negację przed q otrzymamy p=>~q jest równoważne ~(pnq)
stawiając negację przed implikacja otrzymamy ~(p=>~q) jest równoważne pnq

To może inaczej trochę zrobie, niż miałem zamiar (i są pewne nieścisłości). Leamt (będzie oznaczony jako L(n)): Formuła o głębokości n zbudowana z \Leftrightarrow , nawaisów i zmiennych zdaniowych jest prawdziwa przy wartościowaniu σ, jeśli 0 występuje w formule parzystą ilość razy. Definicja głębok...

Mógłbyś zdefiniować głębokość formuły?? Ja nie pamiętam co zaliczamy do formuły o głębokości 0 (same zmienne zdaniowe, czy \(\displaystyle{ \top, \bot}\) i zmienne zdaniowe).

Zmienna \(\displaystyle{ p_{i}}\) musi występować parzystą ilość razy w formule. Dowód indukcyjny po głębokości formuły (napiszę wieczorem ).

mol_ksiazkowy pisze:2. \(\displaystyle{ \exists a,b,c C \ [(a|b) (b|c) a|c]}\)

Po uproszczeniu:
2. \(\displaystyle{ \exists a,b,c C \ [(a|b) (b|c) a|c]}\)

Słońce i ziemia obiegają środek masy, a środek masy układu jest bardzo blisko środka masy słońca, więc ziemia obiega słońce.

Przykład na tej stronie, tylko z ziemią i księżycem:


Nie jestem astronomem, więc nie daję żadnej gwarancji, że to co napisałem nie jest bzdurą.

Ciekawe zadanie. Tutaj nie będziesz miał równań różniczkowych. Był taki wzorek na zamiane zmiennych i z niego powinieneś skorzystać (był w zbiorze zadań: Zaporożec G. I. Metody rozwiązywania zadań z analizy matematycznej). Φ należy potraktować jako dowolną funkcję, grad \theta =(\frac{\partial\theta...

To zgupiałem

Mapedd pisze: intel pentium procesor 735+ (...)
celeron m processor 380

Z tego co pamiętam m znaczy mobile, z jak wklepalem w google intel 735 to same laptopy wyskoczyly.

dopiero zauważyłem że to laptopy (wcześniej był tylko rzut okiem)
To zmienia wybór procesora: tylko intel pentium
czyli 1 lub 3