Logika i algorytmy

WIEDZA

PE1_W22

- Zna i potrafi właściwie używać pojęć z zakresu logiki matematycznej; posługuje się funktorami zdaniowymi.

UMIEJĘTNOŚCI

PE1_U15

- Opracowuje schematy blokowe do podanych przykładów.

- Posługuje się rachunkiem zdań i kwantyfikatorów, potrafi poprawnie używać kwantyfikatorów także w języku potocznym.

- Potrafi dokonać specyfikacji problemu, umie ułożyć i analizować algorytm zgodny ze specyfikacją.

- Potrafi podać przykłady praktycznych zachowań, które można przedstawić w formie algorytmu.

- Potrafi zapisać algorytm w dowolnym języku programowania.

"Logika i algorytmy" ma dostarczyć podstawowej wiedzy i umiejętności z zakresu logiki matematycznej (min. rachunku zdań, reguł wnioskowania, kwantyfikatorów) oraz algorytmiki. Przedmiot stanowi wprowadzenie dla studentów specjalności Pedagogika zdolności i pedagogika informatyki do programowania dostarczając niezbędnej wiedzy na temat sposobu projektowania programów komputerowych.

Rachunek zdań

+zmienne zdaniowe

+spójniki logiczne

+tabele zerojedynkowe

+tautologie

Reguły wnioskowania

+reguła odrywania

+modus tollens

+sylogizm hipotetyczny

+sylogizm alternatywy

+dowód nie wprost

+kwadrat logiczny

Kwantyfikatory

+kwantyfikator ogólny i szczegółowy

+kwantyfikatory jako uogólnienie spójników logicznych

Algorytmika

+definicja algorytmiki

+historia

+formy reprezentacji i proces powstawania algorytmu (opis słowny, lista kroków, schemat blokowy, drzewo algorytmu)

+rodzaje algorytmów (sekwencyjne – liniowe, warunkowe – z +rozgałęzieniami, rekurencyjne, iteracyjne)

+struktury danych (tablica, stos, kolejka, lista)

+złożoność i efektywność algorytmów.

+algorytmy sortujące

Nazwa - pojęcie nazwy, nazwy konkretne a nazwy abstrakcyjne, desygnat nazwy, nazwy indywidualne a nazwy generalne, treść nazwy, zakres nazwy, nazwy zbiorowe, nazwy a funktory nazwotwórcze, ostrość zakresu nazwy, rodzaje stosunków między zakresami nazw.

Definicje - definicja realna a definicja nominalna, rodzaje definicji ze względu na ich zadania, rodzaje definicji ze względu na ich budowę, warunki poprawności definicji.

Zdanie - pojęcie zdania w sensie logicznym, wartość logiczna zdania, obiektywny charakter prawdziwości i fałszywości zdań, wypowiedzi niezupełne, funkcje zdaniowe, struktura zdania, odpowiedniki zdania w naszej świadomości.

Funktory prawdziwościowe a spójniki międzyzdaniowe mowy potocznej - pojęcie funktora prawdziwościowego, negacja, koniunkcja, alternatywa nierozłączna, alternatywa rozłączna, dysjunkcja, równoważność, implikacja i stosunek wynikania, zadania związane z funktorami prawdziwościowymi.

Zadanie – zadania szkolne, zadania działania praktycznego, o zadaniach twórczych, wartościowania, składniki zadania, sposoby osiągania niewiadomej.

Metody rozwiązywania zadań - metoda rozwiązywania zadań sposobem systematycznym i uświadomionym, porównanie metody algorytmicznej i heurystycznej.

Algorytmika - definicja algorytmiki, formy reprezentacji i proces powstawania algorytmu (opis słowny, lista kroków, schemat blokowy, drzewo algorytmu), rodzaje algorytmów (sekwencyjne – liniowe, warunkowe – z rozgałęzieniami, rekurencyjne, iteracyjne), struktury danych (tablica, stos, kolejka, lista), złożoność i efektywność algorytmów.

Metody dydaktyczne:

Wykład, praca z książką, praca z multimediami.

Kryteria oceniania:

- Sprawdzian wiadomości - test zaliczeniowy.

- Ocena zadań domowych.

"Logika i algorytmy" ma dostarczyć podstawowej wiedzy i umiejętności z zakresu logiki matematycznej (min. rachunku zdań, reguł wnioskowania, kwantyfikatorów) oraz algorytmiki. Przedmiot stanowi wprowadzenie dla studentów specjalności Pedagogika zdolności i pedagogika informatyki do programowania dostarczając niezbędnej wiedzy na temat sposobu projektowania programów komputerowych.

Rachunek zdań

+zmienne zdaniowe

+spójniki logiczne

+tabele zerojedynkowe

+tautologie

Reguły wnioskowania

+reguła odrywania

+modus tollens

+sylogizm hipotetyczny

+sylogizm alternatywy

+dowód nie wprost

+kwadrat logiczny

Kwantyfikatory

+kwantyfikator ogólny i szczegółowy

+kwantyfikatory jako uogólnienie spójników logicznych

Algorytmika

+definicja algorytmiki

+historia

+formy reprezentacji i proces powstawania algorytmu (opis słowny, lista kroków, schemat blokowy, drzewo algorytmu)

+rodzaje algorytmów (sekwencyjne – liniowe, warunkowe – z +rozgałęzieniami, rekurencyjne, iteracyjne)

+struktury danych (tablica, stos, kolejka, lista)

+złożoność i efektywność algorytmów.

+algorytmy sortujące

Nazwa - pojęcie nazwy, nazwy konkretne a nazwy abstrakcyjne, desygnat nazwy, nazwy indywidualne a nazwy generalne, treść nazwy, zakres nazwy, nazwy zbiorowe, nazwy a funktory nazwotwórcze, ostrość zakresu nazwy, rodzaje stosunków między zakresami nazw.

Definicje - definicja realna a definicja nominalna, rodzaje definicji ze względu na ich zadania, rodzaje definicji ze względu na ich budowę, warunki poprawności definicji.

Zdanie - pojęcie zdania w sensie logicznym, wartość logiczna zdania, obiektywny charakter prawdziwości i fałszywości zdań, wypowiedzi niezupełne, funkcje zdaniowe, struktura zdania, odpowiedniki zdania w naszej świadomości.

Funktory prawdziwościowe a spójniki międzyzdaniowe mowy potocznej - pojęcie funktora prawdziwościowego, negacja, koniunkcja, alternatywa nierozłączna, alternatywa rozłączna, dysjunkcja, równoważność, implikacja i stosunek wynikania, zadania związane z funktorami prawdziwościowymi.

Zadanie – zadania szkolne, zadania działania praktycznego, o zadaniach twórczych, wartościowania, składniki zadania, sposoby osiągania niewiadomej.

Metody rozwiązywania zadań - metoda rozwiązywania zadań sposobem systematycznym i uświadomionym, porównanie metody algorytmicznej i heurystycznej.

Algorytmika - definicja algorytmiki, formy reprezentacji i proces powstawania algorytmu (opis słowny, lista kroków, schemat blokowy, drzewo algorytmu), rodzaje algorytmów (sekwencyjne – liniowe, warunkowe – z rozgałęzieniami, rekurencyjne, iteracyjne), struktury danych (tablica, stos, kolejka, lista), złożoność i efektywność algorytmów.

Metody dydaktyczne:

Wykład, praca z książką, praca z multimediami.

Kryteria oceniania:

- Sprawdzian wiadomości - test zaliczeniowy.

- Ocena zadań domowych.

"Logika i algorytmy" ma dostarczyć podstawowej wiedzy i umiejętności z zakresu logiki matematycznej (min. rachunku zdań, reguł wnioskowania, kwantyfikatorów) oraz algorytmiki. Przedmiot stanowi wprowadzenie dla studentów specjalności Pedagogika zdolności i pedagogika informatyki do programowania dostarczając niezbędnej wiedzy na temat sposobu projektowania programów komputerowych.

Rachunek zdań

+zmienne zdaniowe

+spójniki logiczne

+tabele zerojedynkowe

+tautologie

Reguły wnioskowania

+reguła odrywania

+modus tollens

+sylogizm hipotetyczny

+sylogizm alternatywy

+dowód nie wprost

+kwadrat logiczny

Kwantyfikatory

+kwantyfikator ogólny i szczegółowy

+kwantyfikatory jako uogólnienie spójników logicznych

Algorytmika

+definicja algorytmiki

+historia

+formy reprezentacji i proces powstawania algorytmu (opis słowny, lista kroków, schemat blokowy, drzewo algorytmu)

+rodzaje algorytmów (sekwencyjne – liniowe, warunkowe – z +rozgałęzieniami, rekurencyjne, iteracyjne)

+struktury danych (tablica, stos, kolejka, lista)

+złożoność i efektywność algorytmów.

+algorytmy sortujące

Nazwa - pojęcie nazwy, nazwy konkretne a nazwy abstrakcyjne, desygnat nazwy, nazwy indywidualne a nazwy generalne, treść nazwy, zakres nazwy, nazwy zbiorowe, nazwy a funktory nazwotwórcze, ostrość zakresu nazwy, rodzaje stosunków między zakresami nazw.

Definicje - definicja realna a definicja nominalna, rodzaje definicji ze względu na ich zadania, rodzaje definicji ze względu na ich budowę, warunki poprawności definicji.

Zdanie - pojęcie zdania w sensie logicznym, wartość logiczna zdania, obiektywny charakter prawdziwości i fałszywości zdań, wypowiedzi niezupełne, funkcje zdaniowe, struktura zdania, odpowiedniki zdania w naszej świadomości.

Funktory prawdziwościowe a spójniki międzyzdaniowe mowy potocznej - pojęcie funktora prawdziwościowego, negacja, koniunkcja, alternatywa nierozłączna, alternatywa rozłączna, dysjunkcja, równoważność, implikacja i stosunek wynikania, zadania związane z funktorami prawdziwościowymi.

Zadanie – zadania szkolne, zadania działania praktycznego, o zadaniach twórczych, wartościowania, składniki zadania, sposoby osiągania niewiadomej.

Metody rozwiązywania zadań - metoda rozwiązywania zadań sposobem systematycznym i uświadomionym, porównanie metody algorytmicznej i heurystycznej.

Algorytmika - definicja algorytmiki, formy reprezentacji i proces powstawania algorytmu (opis słowny, lista kroków, schemat blokowy, drzewo algorytmu), rodzaje algorytmów (sekwencyjne – liniowe, warunkowe – z rozgałęzieniami, rekurencyjne, iteracyjne), struktury danych (tablica, stos, kolejka, lista), złożoność i efektywność algorytmów.

Metody dydaktyczne:

Wykład, praca z książką, praca z multimediami.

Kryteria oceniania:

- Sprawdzian wiadomości - test zaliczeniowy.

- Ocena zadań domowych.

"Logika i algorytmy" ma dostarczyć podstawowej wiedzy i umiejętności z zakresu logiki matematycznej (min. rachunku zdań, reguł wnioskowania, kwantyfikatorów) oraz algorytmiki. Przedmiot stanowi wprowadzenie dla studentów specjalności Pedagogika zdolności i pedagogika informatyki do programowania dostarczając niezbędnej wiedzy na temat sposobu projektowania programów komputerowych.

Rachunek zdań

+zmienne zdaniowe

+spójniki logiczne

+tabele zerojedynkowe

+tautologie

Reguły wnioskowania

+reguła odrywania

+modus tollens

+sylogizm hipotetyczny

+sylogizm alternatywy

+dowód nie wprost

+kwadrat logiczny

Kwantyfikatory

+kwantyfikator ogólny i szczegółowy

+kwantyfikatory jako uogólnienie spójników logicznych

Algorytmika

+definicja algorytmiki

+historia

+formy reprezentacji i proces powstawania algorytmu (opis słowny, lista kroków, schemat blokowy, drzewo algorytmu)

+rodzaje algorytmów (sekwencyjne – liniowe, warunkowe – z +rozgałęzieniami, rekurencyjne, iteracyjne)

+struktury danych (tablica, stos, kolejka, lista)

+złożoność i efektywność algorytmów.

+algorytmy sortujące

Nazwa - pojęcie nazwy, nazwy konkretne a nazwy abstrakcyjne, desygnat nazwy, nazwy indywidualne a nazwy generalne, treść nazwy, zakres nazwy, nazwy zbiorowe, nazwy a funktory nazwotwórcze, ostrość zakresu nazwy, rodzaje stosunków między zakresami nazw.

Definicje - definicja realna a definicja nominalna, rodzaje definicji ze względu na ich zadania, rodzaje definicji ze względu na ich budowę, warunki poprawności definicji.

Zdanie - pojęcie zdania w sensie logicznym, wartość logiczna zdania, obiektywny charakter prawdziwości i fałszywości zdań, wypowiedzi niezupełne, funkcje zdaniowe, struktura zdania, odpowiedniki zdania w naszej świadomości.

Funktory prawdziwościowe a spójniki międzyzdaniowe mowy potocznej - pojęcie funktora prawdziwościowego, negacja, koniunkcja, alternatywa nierozłączna, alternatywa rozłączna, dysjunkcja, równoważność, implikacja i stosunek wynikania, zadania związane z funktorami prawdziwościowymi.

Zadanie – zadania szkolne, zadania działania praktycznego, o zadaniach twórczych, wartościowania, składniki zadania, sposoby osiągania niewiadomej.

Metody rozwiązywania zadań - metoda rozwiązywania zadań sposobem systematycznym i uświadomionym, porównanie metody algorytmicznej i heurystycznej.

Algorytmika - definicja algorytmiki, formy reprezentacji i proces powstawania algorytmu (opis słowny, lista kroków, schemat blokowy, drzewo algorytmu), rodzaje algorytmów (sekwencyjne – liniowe, warunkowe – z rozgałęzieniami, rekurencyjne, iteracyjne), struktury danych (tablica, stos, kolejka, lista), złożoność i efektywność algorytmów.

Metody dydaktyczne:

Wykład, praca z książką, praca z multimediami.

Kryteria oceniania:

- Sprawdzian wiadomości - test zaliczeniowy.

- Ocena zadań domowych.

FORMA AKTYWNOŚCI - ŚREDNIA LICZBA GODZIN NA ZREALIZOWANIE AKTYWNOŚCI

Godziny kontaktowe np. wykład, ćwiczenia: 15

Przygotowanie się do zajęć, lektury: 15

Przygotowanie się do egzaminu: 15

Przygotowanie referatu, eseju, prezentacji: 15

Sumaryczna liczba punktów ECTS: 2.00

Przedmiot stanowi wprowadzenie dla studentów specjalności Pedagogika zdolności i pedagogika informatyki do programowania dostarczając niezbędnej wiedzy na temat sposobu projektowania algorytmów oraz pisania programów komputerowych w języku C++

Zakres materiału:

Algorytmy (budowa, cechy, przykłady, zastosowania). Schematy blokowe. Magiczne Bloczki. Pseudokod.

Algorytmy proste. Słowa kluczowe, stałe, zmienne. Rodzaje zmiennych (zmienne liczbowe, tekstowe, logiczne, tablicowe). CodeBlocks.

Instrukcje warunkowe, pętla for, pętla while, zmienne tablicowe.

Należy się pilnie uczyć, bo wiadomości z tego przedmiotu są wykorzystywane na każdym kolejnym przedmiocie związanym z programowaniem (Scratch, Python itp.).