PickAClass · Podstawy i Kształcenie Ustawiczne · Myślenie Krytyczne i Logika

Wprowadzenie do Logiki i Rozumowania

Poznaj podstawowe zasady rozumowania logicznego, w tym kluczowe różnice między argumentami dedukcyjnymi i indukcyjnymi. Zbuduj podstawy do analizowania i konstruowania solidnych argumentów.

2 courses

Logika podstawowa dla informatyki

Zbuduj solidne podstawy w logice zdaniowej i predykatów, aby myśleć jak informatyk i rozwiązywać złożone problemy.

★ 4.6 (34)

Podstawy sprawdzania modelu symbolicznego

Praktyczne wprowadzenie do weryfikacji poprawności systemu za pomocą automatycznego rozumowania i logiki czasowej.

★ 4.7 (26)