5755073964

Zawartość tematyczna

Podstawy technik informatycznych. Przetwarzanie tekstów. Arkusze kalkulacyjne. Bazy danych. Grafika menedżerska i/lub prezentacyjna. Usługi w sieciach informatycznych. Pozyskiwanie i przetwarzanie informacji.

Stan i uwarunkowania rozwoju technologii informacyjnych. Formy zapisu informacji w komputerze (multimedia), kompresja, archiwizacja. Główne elementy składowe komputera klasy PC. Tradycyjne i nowoczesne media łączności cyfrowej (sieci przewodowe i bezprzewodowe: bluetooth, Wi-Fi, GSM).

Literatura

Datę C. J., Wprowadzenie do baz danych, WNT, Warszawa 1981.

Lamport L., Latex. System opracowywania dokumentów. WNT, Warszawa 2004.

NegrinoT., PowerPoint. Tworzenie prezentacji. Projekty, Helion, Gliwice 2005 Pankowski T., Podstawy baz danych, PWN, Warszawa 1992.

Simon J., Word 2003 PL. 100 najlepszych sztuczek i trików, Helion, Gliwice 2005.

Walkenbach J., Excel 2003 Biblia, Helion, Gliwice, 2004.

B., C. PRZEDMIOTY PODSTAWOWE I KIERUNKOWE

WSTĘP DO LOGIKI I TEORII MNOGOŚCI

Realizacja programu i forma zaliczenia

Roki, semestr 1.

Liczba godz. 60, wykłady 30 , konwersatorium 30.

Forma zaliczenia: egzamin po 1. semestrze.

Liczba punktów ECTS: 7.

Opis przedmiotu

Wykładu ma na celu dostarczenie podstawowego aparatu pojęciowego z zakresu logiki matematycznej i teorii mnogości niezbędnego w trakcie dalszych studiów matematycznych.

Zawartość tematyczna

Podstawy logiki matematycznej: Rachunek zdań. Rachunek kwantyfikatorów. Nieformalne pojęcie dowodu; twierdzenia, aksjomaty, definicje.

Zbiory: Podstawowe operacje na zbiorach. Iloczyn kartezjański zbiorów. Zbiór potęgowy. Algebra zbiorów. Rodziny zbiorów. Działania uogólnione. Pojęcie relacji, relacja równoważności i zasada abstrakcji. Relacje równoważnoścoiwe a podziały zbioru.

13