8416072551

8416072551



A

Informacje ogólne

A.1. Program wykładu

Ponieważ przedmiot Logika dla Informatyków jest obowiązkowy, jego program jest ustalony w Programie Studiów Informatycznych na Uniwersytecie Wrocławskim z 17 czerwca 1997 z późniejszymi zmianami, dostępnym m. in. w sekretariacie Instytutu Informatyki, pok. 29 i — w wersji elektronicznej — pod adresem:

http://www.i i.uni.wroc.pl/program/

A.2. Zapisy na zajęcia

W zajęciach mogą uczestniczyć zarówno studenci studiów magisterskich, jak i licencjackich. Na zajęcia należy się zapisać w internetowym systemie Zapisy, dostępnym pod adresem zapisy, i i .uni .wroc.pl. Zadeklarowanie przedmiotu w systemie Zapisy jest formą umowy pomiędzy studentem i uczelnią. Student zobowiązuje się uczęszczać na zajęcia, uczelnia zaś zobowiązuje się je prowadzić i ocenić studenta po ich zakończeniu. Dlatego do egzaminu będą mogły przystąpić jedynie osoby zapisane na wykład, a zaliczenie ćwiczeń będą mogły uzyskać jedynie osoby zapisane na ćwiczenia.

Chociaż w systemie Zapisy prowadzący są dla porządku przypisani do poszczególnych grup ćwiczeniowych, jednak w kolejnych tygodniach mają zajęcia z różnymi grupami. Dlatego przy wyborze grupy nie należy się kierować nazwiskiem prowadzącego, gdyż każdy student będzie miał przeciętnie trzy ćwiczenia z każdym z prowadzących.

Jedna z grup ćwiczeniowych jest oznaczona jako grupa zaawansowana. Do tej grupy powinni się zapisać studenci o większych zdolnościach i aspiracjach matematycznych. Rozwiązuje się w niej nieco trudniejsze (ale i ciekawsze) zadania i wymaga od studentów nieco większej samodzielności. Przytoczone na następnych stronach Zasady prowadzenia i zaliczania ćwiczeń dotyczą jedynie grup podstawowych. Sposób zaliczania ćwiczeń w grupie zaawansowanej jest ogłaszany przez prowadzącego



Wyszukiwarka

Podobne podstrony:
MACIERZ POWIĄZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTU Logika dla informatyków Z EFEKTAMI KSZTAŁCENIA
TABELA WERYFIKACJI EFEKTÓW KSZTAŁCENIA DLA PROGRAMU ZODNIESIENIEM DO PRZEDMIOTÓW Z MODUŁÓW DLA ST. 1
TABELA WERYFIKACJI EFEKTÓW KSZTAŁCENIA DLA PROGRAMU ZODNIESIENIEM DO PRZEDMIOTÓW Z MODUŁÓW DLA ST. 1
TABELA WERYFIKACJI EFEKTÓW KSZTAŁCENIA DLA PROGRAMU Z ODNIESIENIEM DO PRZEDMIOTÓW Z MODUŁÓW DLA ST.
TABELA WERYFIKACJI EFEKTÓW KSZTAŁCENIA DLA PROGRAMU Z ODNIESIENIEM DO PRZEDMIOTÓW Z MODUŁÓW DLA ST.
TABELA WERYFIKACJI EFEKTÓW KSZTAŁCENIA DLA PROGRAMU ZODNIESIENIEM DO PRZEDMIOTÓW Z MODUŁÓW DLA ST. 1
Podstawy dydaktyki ogolnej 1 Dr Wanda Czajkowska SMNs. 2R. 20W, 16Ć. E Podstawy dydaktyki ogólnej 1.
WYDZIAŁ Informatyki i Zarządzania KARTA PRZEDMIOTU Nazwa w języku polskim: Logika dla informatyków N
CCF20121009000 Dr Krzysztof Czajkowski Częstochowa, 20.09.2012 r.Program wykładów z literatury pols
PROGRAM WYKŁADU 1.    Wstęp. Proces tworzenia Systemów Informatycznych -podstawowe
Wykład 3 (5) Najlepszym roiwląunlcm terapeutycznym dla kobiet jest doustne podawanie octanu cyprotcr
CCF20101206043 Konstrukcja zbiornika Podstawowym założeniem dla zbiornika jest zminimalizowanie jeg

więcej podobnych podstron