Pozostałe usługi Wrocław

Opis oferty

Oferuję rozwiązywanie zadań z logiki dla informatyków i logiki matematycznej.
Szybko i sprawnie odpowiadam na wiadomości.

Przykładowe zagadnienia:
* Rachunek zdań: negacja, koniunkcja, alternatywa, implikacja, równoważność, tautologia
* Dowodzenie twierdzeń: dowodzenie metodą zero-jedynkową, skróconą, Fitch system
* Systemy dowodzenia twierdzeń
* Dedukcja naturalna
* Metoda rezolucji
* Algebra Boole'a: funkcje boolowskie, bramki logiczne
* Indukcja matematyczna
* Grafy
* Funkcje rekurencyjne i rekursja
* Teoria liczb
* Programowanie w logice: Prolog

Pomagam również z informatyki, matematyki, programowania, oraz kilku innych dziedzin, o czym można się przekonać przeglądając moje pozostałe ogłoszenia.