Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja Nowa wersja Both sides next revision | ||
|
pl:dydaktyka:logic:start [2018/05/15 11:47] ligeza [Plan wykładu z logiki: 2018] |
pl:dydaktyka:logic:start [2018/05/16 13:57] ligeza [Plan wykładu z logiki: 2018] |
||
|---|---|---|---|
| Linia 12: | Linia 12: | ||
| - **Reguły wnioskowania. Metody dowodzenia w rachunku zdań. Metoda rezolucji i jej zastosowania. Metoda rezolucji dualnej. Semantic Tableau. System Fitcha. Badanie spełnialności - drzewa decyzyjne i ich redukcja. Diagramy OBDD. Problem SAT i SAT-Solvery** [13.04.2018; ALi] | - **Reguły wnioskowania. Metody dowodzenia w rachunku zdań. Metoda rezolucji i jej zastosowania. Metoda rezolucji dualnej. Semantic Tableau. System Fitcha. Badanie spełnialności - drzewa decyzyjne i ich redukcja. Diagramy OBDD. Problem SAT i SAT-Solvery** [13.04.2018; ALi] | ||
| - **Metoda Semantic Tableau. System Fitcha. Badanie spełnialności - drzewa decyzyjne i ich redukcja. Diagramy OBDD. Problem SAT i SAT-Solvery: Unicorn revisited.** [20.04.2018; ALi] | - **Metoda Semantic Tableau. System Fitcha. Badanie spełnialności - drzewa decyzyjne i ich redukcja. Diagramy OBDD. Problem SAT i SAT-Solvery: Unicorn revisited.** [20.04.2018; ALi] | ||
| - | - Synteza układów logicznych.Implikanty i implicenty: minimalizacja funkcji. Tabele Karnaugha. Metoda Quine'a-McCluskey. Układy statyczne i dynamiczne. [27.04.2018] | + | - **Synteza układów logicznych.Implikanty i implicenty: minimalizacja funkcji. Tabele Karnaugha. Metoda Quine'a-McCluskey. Układy statyczne i dynamiczne.** [27.04.2018] |
| - **Rachunek predykatów pierwszego rzędu. Składnia i semantyka. Zmienne i termy; kwantyfikatory. Interpretacja i wartościowanie. Interpretacja Herbranda. Twierdzenie Herbranda. Pełność krp z ideą dowodu. Twierdzenia Skolema-Lowenheima. Nierozstrzygalność. Przykłady.** [11.05.2018; ALi] | - **Rachunek predykatów pierwszego rzędu. Składnia i semantyka. Zmienne i termy; kwantyfikatory. Interpretacja i wartościowanie. Interpretacja Herbranda. Twierdzenie Herbranda. Pełność krp z ideą dowodu. Twierdzenia Skolema-Lowenheima. Nierozstrzygalność. Przykłady.** [11.05.2018; ALi] | ||
| - //Juwenalia - godziny rektorskie// [18.05.2018] | - //Juwenalia - godziny rektorskie// [18.05.2018] | ||
| Linia 20: | Linia 20: | ||
| __**Egzaminy 2018:**__ | __**Egzaminy 2018:**__ | ||
| - | * Terminy egzaminów - logika I rok: ??? s. H-24 | + | * Terminy egzaminów - logika I rok: sala H-24/B-1. |
| + | * 28.06 (czwartek) 15:00-19:00 (2 grupy po 2h), | ||
| + | * 03.07 (wtorek) 11:00-15:00 (1 lub 2 grupy po 2 h). | ||
