Logika w projektowaniu i modelowaniu systemów cyfrowych i AI 3800-LPSM26-K-OG

ogólnouniwersyteckie

Nie są wymagane specjalistyczne kompetencje formalne ani wcześniejsze ukończenie kursów z logiki formalnej lub programowania. Mile widziane są podstawowe zainteresowania filozofią, logiką,

Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:

• Bioinformatyka i biologia systemów, stacjonarne, pierwszego stopnia
• Informatyka, stacjonarne, pierwszego stopnia
• Matematyka, stacjonarne, pierwszego stopnia
• Bioinformatyka i biologia systemów, stacjonarne drugiego stopnia
• Informatyka, stacjonarne, drugiego stopnia
• Matematyka, stacjonarne, drugiego stopnia