JEZYKOZNAWSTWO OGÓLNE WYKŁAD 2: SYSTEMY SEMIOTYCZNE. 1 Przedmiot badań semiotyki. Kognitywistyka UAM, rok II
|
|
- Bronisław Nowicki
- 7 lat temu
- Przeglądów:
Transkrypt
1 JEZYKOZNAWSTWO OGÓLNE Kognitywistyka UAM, rok II WYKŁAD 2: SYSTEMY SEMIOTYCZNE JERZY POGONOWSKI ZAKŁAD LOGIKI I KOGNITYWISTYKI UAM 1 Przedmiot badań semiotyki Semiotyka to ogólna nauka o znakach. Tradycyjnie wyróżnia się trzy jej działy: 1. Składnię. Bada budowę znaków. Ustala reguły tworzenia znaków złożonych ze znaków prostszych. 2. Semantykę. Bada związki między formami znaków a ich odniesieniami przedmiotowymi. 3. Pragmatykę. Bada związki między znakami a użytkownikami systemu znakowego. Tak więc, semiotyka bada nie tylko języki (etniczne), ale wszelkie systemy znakowe. Ważne postacie w dziejach semiotyki to m.in.: 1. John Langshaw Austin ( ). 2. Charles Sanders Peirce ( ). 3. Umberto Eco ( ). Tradycyjnie wyróżnia się (cytat za Grzegorczykowa 2007, 16): 1. znaki naturalne, niezamierzone, jednostronne (mające tylko odbiorcę, który uzyskuje informację na zasadzie wnioskowania, opartego na wiedzy o związkach przyczynowo-skutkowych) 2. znaki zwane konwencjonalnymi, inaczej sygnały, dwustronne (mające nadawcę i odbiorcę), zamierzone jako nośniki informacji. 1
2 Znaki naturalne nazywane są także: symptomami, oznakami, objawami. Jeśli między formą a przekazywaną przez znak treścią zachodzi związek podobieństwa, to mamy do czynienia ze znakiem umotywowanym (ikonicznym). Gdy nie ma takiego związku, to mamy do czynienia ze znakiem nieumotywowanym (arbitralnym). 2 Cechy definicyjne języka Zapytamy teraz: jakie są najważniejsze cechy języków (etnicznych), które wyróżniają je wśród wszystkich systemów semiotycznych? Wielokrotnie próbowano ułożyć taką listę wyznaczników, co wcale nie jest łatwe. Jedna z propozycji jest następująca: 1. Semantyczność. Ta cecha systemu semiotycznego polega na tym, że wyróżnić można w nim dwa plany: wyrażania i treści. Jednostki planu wyrażania (wyrażenia językowe) powiązane są relacjami semantycznymi (relacja oznaczania) z odpowiadającymi im jednostkami planu treści (znaczeniami). 2. Arbitralność. Nie ma koniecznego związku między formą znaku językowego a jego znaczeniem i odniesieniem przedmiotowym. 3. Dwustopniowość. W systemach dwustopniowych występują dwa rodzaje jednostek: cenemy oraz pleremy. Cenemy (inny termin: diakryty) to jednostki, które same nie posiadają znaczenia, ale służą do odróżniania znaczeń. Pleremy są jednostkami posiadającymi znaczenie. 4. Dwuklasowość. Każdy język zawiera słownik (zwykle dość obszerny) oraz gramatykę (zestaw reguł, określających jakie wyrażenia złożone należą do języka). 5. Produktywność. W każdym języku etnicznym istnieje potencjalnie nieskończenie wiele znaków złożonych (np. zdań). 6. Dyskretność. Komunikaty językowe nie mogą być dzielone (segmentowane) w nieskończoność. Istnieją minimalne segmenty językowe. 7. Metajęzykowość. Komunikaty językowe mogą dotyczyć innych komunikatów językowych. 8. Rekurencja (rekursywność). To własność pozwalająca wstawić pewną strukturę (np. składniową) wewnątrz struktury tego samego typu. 2
3 Językom przypisać można jeszcze cały szereg innych, mniej ogólnych niż powyższe, cech, np.: 1. Przemienność. Użytkownicy języka mogą pełnić rolę zarówno nadawców, jak i odbiorców. Każdy użytkownik może być nadawcą i odbiorcą w szczególności, każdy może rozmawiać sam ze sobą. 2. Uniwersalność. Odniesienie przedmiotowe języków etnicznych obejmuje to wszystko, o czym można mówić. Przypomnijmy ostatnią tezę z Traktatu logiczno-filozoficznego Wittgensteina: Wovon man nicht sprechen kann, darüber muss man schweigen. W dalszym ciągu omówimy inne jeszcze własności, które według lingwistów, przysługują wszystkim językom etnicznym. 3 Przykład: język genetyczny Niezwykle ciekawym systemem semiotycznym jest język genetyczny. Po pierwsze, jest to system, w którym trudno mówić o nadawcach i odbiorcach komunikatów, chociaż do samych komunikatów stosuje się wiele wyliczonych wyżej cech definicyjnych języka. Po wtóre, zarówno na plan wyrażania tego języka, jak i na jego plan treści składają się obiekty świata fizycznego: segmenty kwasów dezoksyrybonukleinowych oraz segmenty łańcuchów polipeptydowych. W omawianiu tego przykładu korzystamy z tekstu Pogonowski 1983 (dostępnego on line na stronie niniejszych wykładów): Jednostkami planu wyrażania języka genetycznego są np.: nukleotydy: zasady, których sekwencje tworzą cząsteczki DNA oraz mrna (adenina, guanina, tymina, cytozyna i uracyl), kodony: 64 trójki zasad, z których każda koduje określony aminokwas, cistrony: sekwencje zasad kodujące pojedyncze łańcuchy polipeptydowe, transkryptony: sekwencje zasad kodujące cząsteczki mrna, replikony: sekwencje cistronów uczestniczące jako całość w procesie replikacji, segregony: ciągi zasad uczestniczące jako całość w procesie segregacji, genotypy: całe zbiory replikonów komórki, 3
4 znaki interpunkcji: ciągi zasad kodujące rozpoczęcie i zakończenie transkrypcji, translacji, replikacji, segregacji, etc. Jednostkami planu treści języka genetycznego (tj. znaczeniami i składnikami znaczeń) są dla przykładu: aminokwasy: cząsteczki, których sekwencje tworzą łańcuchy polipeptydowe, białka i ich funkcjonalnie relewantne segmenty: np. pojedyncze łańcuchy polipeptydowe, ośrodki aktywne, etc. funkcje biochemiczne: funkcje pełnione przez jednostki planu wyrażania języka genetycznego (np. funkcja matrycowa) oraz funkcje spełniane przez kodowane przez te jednostki segmenty polipeptydów (np. funkcja katalityczna, metaboliczna, etc.). Relacje genetyczne rozumiemy ekstensjonalnie, tzn. jako zbioru układów (par, trójek, etc.) jednostek genetycznych powiązanych określonymi zależnościami. Należą do relacji genetycznych zatem: proces translacji (kod genetyczny): zależność między kodonami a wyznaczonymi przez nie aminokwasami, proces transkrypcji: zależność łącząca transkryptony z odpowiadającymi im cząsteczkami mrna, relacja komplementarności: zależność łącząca komplementarne zasady, proces replikacji: zależność łącząca komplementarne replikony, synonimia kodonów: zależność łącząca kodony kodujące ten sam aminokwas, pogrupowania jednostek genetycznych w klasy (relacje jednoargumentowe) ze względu na wspólne własności tych jednostek (np. klasy cistronów kodujących określone rodzaje polipeptydów) etc. Dostępny w sieci film ilustruje proces translacji: Czy językowi genetycznemu przysługują wymienione wcześniej cechy definicyjne języków? Wydaje się, że w przypadku kilku z nich odpowiedź jest twierdząca: 4
5 1. Semantyczność. W języku genetycznym za plan wyrażania uważać można zbiór wszystkich (relewantnych genetycznie) segmentów polinukleotydowych, a za plan treści zbiór wszystkich segmentów polipeptydowych. Zależności semantyczne między jednostkami tych planów wyznacza proces translacji (kod genetyczny). 2. Arbitralność. Cecha arbitralności występuje również w języku genetycznym: proces translacji bazuje na określonym powinowactwie chemicznym (poszczególne aminokwasy nie są w żadnym sensie ikonicznymi odpowiednikami kodonów). 3. Dyskretność. Język genetyczny jest oczywiście dyskretny wszystkie komunikaty genetyczne można traktować jako kombinacje czterech nukleotydów (adenina, guanina, tymina i cytozyna w DNA oraz adenina, guanina, cytozyna i uracyl w mrna). 4. Dwuklasowość. Język genetyczny uznać należy za dwuklasowy. Jeżeli przyjąć, że minimalnymi składnikami znaczeń genetycznych są poszczególne aminokwasy, to za system cenemów uznać należy zbiór kilku nukleotydów tworzących łańcuchy DNA i mrna. Pamiętając o tym, że pozycja zasady w kodonie ma wpływ na rodzaj kodowanego aminokwasu, można też uznać, że poszczególne nukleotydy są minimalnymi jednostkami znaczącymi (minimalnymi pleremami), a za system cenemów uznać atomy tworzące cząsteczki nukleotydów. 5. Metajęzykowość. Wydaje się, że dobrą ilustracją metajęzykowości języka genetycznego są procesy regulacji syntezy enzymów, a więc np. działanie operonu laktozowego u Escherichia coli lub operonu histydynowego u Salmonella typhimurium. Operon laktozowy u Escherichia coli składa się z promotora, operatora cistronu regulatorowego (kodującego białko zwane represorem) oraz cistronów strukturalnych (kodujących acetylazę, permeazę oraz β-galaktozydazę). Kontakt represora z operatorem hamuje transkrypcję cistronów strukturalnych. Obecność laktozy powoduje utratę powinowactwa represora do operatora następuje wtedy odblokowanie operatora i transkrypcja cistronów strukturalnych. Można zatem uważać, że regulator spełnia funkcję metajęzykową w odniesieniu do reszty tekstu genetycznego operonu. Dalsze uwagi na temat semiotycznych aspektów języka genetycznego znajdą słuchacze w cytowanym wyżej tekście Pogonowski Informacje genetyczne zawiera książka Ratner 1975 (ale z pewnością obecnie dostępne są bardziej wyrafinowane opisy). Zachęcamy też do zajrzenia do książki Zdzisława Pawlaka (Pawlak 5
6 1969), w której podano ładny przykład gramatyki formalnej opisującej fragment języka genetycznego. 4 Przykład: systemy komunikacji zwierzat W przypadku komunikowania się zwierząt należy być ostrożnym z użyciem terminu język, choć niewątpliwie mamy tu do czynienia z systemami semiotycznymi. Zwierzęta komunikują się, wykorzystując dźwięki, ruchy, gesty, echolokację, zapachy, ultradźwięki, elektryczność, zmiany temperatury i być może inne jeszcze zjawiska. 1. Taniec pszczół. Pszczoły informują się o odległości od pożytku oraz jego obfitości, wykonując określone ruchy. 2. Śpiewy ptaków. Zachęcamy słuchaczy do posłuchania śpiewów ptaków z plików dostępnych w sieci. 3. Wieloryby. Zachęcamy słuchaczy do posłuchania śpiewów (?) wielorybów z plików dostępnych w sieci. 4. Delfiny. Oprócz komunikacji (między sobą) za pomocą dźwięków, delfiny wykorzystują też echolokację. 5. Psy. Oglądamy obrazki z sieci, ukazujące doggie language. Tutaj można usłyszeć głosy zwierząt: 5 Systemy znakowe używane przez ludzi Gdyby języki były jedynymi systemami semiotycznymi, to semiotykę można byłoby zredukować do językoznawstwa. Jest jednak oczywiście inaczej: języki etniczne są podstawowymi systemami semiotycznymi, ale funkcjonowanie społeczeństwa, kultura, rozwój i przekazywanie wiedzy, itd. nie byłyby możliwe bez wykorzystania wielu innych jeszcze systemów znakowych, np.: 1. Mapy. 2. Znaki drogowe. 3. Sztuki wizualne. 4. Muzyka. 6
7 5. Mundury. 6. Pieniadze. 7. Herby, sztandary, flagi. 8. Międzynarodowy kod sygnałowy. 6 Języki sztuczne Języki sztuczne to systemy semiotyczne, które powstały jako realizacje jakiegoś planu. 6.1 Projekty lingwistyczne Opracowano szereg języków, które w zamyśle miały służyć bardziej efektywnej komunikacji. Znaczący sukces odniósł język esperanto. 1. Esperanto. 2. Ido. 3. Volapük. 4. Interlingua. 6.2 Projekty filozoficzne W dziejach cywilizacji wielokrotnie podejmowano próby tworzenia języków idealnych (przynajmniej w zamyśle), które miały spełniać funkcje komunikacyjne lepiej niż czynią to języki etniczne. 1. Rajmund Lull. Stworzył tzw. młynek Lulla, pozwalający na mechaniczne reprezentacje wnioskowań sylogistycznych. 2. Gottfried Wilhelm von Leibniz. Proponował stworzenie języka formalnego, w którym można byłoby jednoznacznie i definitywnie rozstrzygać wszelkie spory filozoficzne. 3. Giuseppe Peano. Stworzył latino sine flexione. Propagował zapisywanie tekstów matematycznych bez używania języka naturalnego. 4. Manuskrypt Voynicha. Tajemniczy manuskrypt, do dzisiaj nie odcyfrowany. 7
8 6.3 Języki logiki 1. Języki zerowego rzędu. Na przykład: znany słuchaczom język klasycznego rachunku zdań. 2. Języki pierwszego rzędu. Na przykład: znany słuchaczom język klasycznego rachunku predykatów. 3. Języki wyższych rzędów. Na przykład: język logiki drugiego rzędu (dopuszczamy kwantyfikację predykatów). 4. Języki infinitarne. Dopuszczamy przeliczalne koniunkcje i alternatywy. Posługujemy się regułami wnioskowania o nieskończonej liczbie przesłanek. 5. Języki z uogólnionymi kwantyfikatorami. Rozszerzamy zestaw stałych logicznych o uogólnione kwantyfikatory (np.: istnieje nieskończenie wiele, kwantyfikator większości, kwantyfikator Henkina, itd.). Dla rozrywki, spróbujmy odpowiedzieć czym jest: 1. Stała logiczna. Podaj definicję, która nie będzie definicją przez proste wyliczenie. 2. Kwantyfikator. Podaj definicję, która nie będzie definicją przez proste wyliczenie. 3. Operacja konsekwencji. Na czym polega otrzymywanie wniosków z przesłanek? 6.4 Język matematyki 1. Język teorii mnogości. To współcześnie najbardziej rozpowszechniony język używany w pracach matematycznych. Pojęciami pierwotnymi teorii mnogości są: zbiór oraz relacja należenia (elementu do zbioru). 2. Język teorii kategorii. W tym języku podstawowymi pojęciami są obiekty oraz morfizmy (odwzorowania między obiektami). 6.5 Języki informatyki Ludzie i maszyny nie mówią tym samym językiem. Na razie ludzie są w gorszej sytuacji i żeby pogadać z maszyną muszą wykorzystywać języki sztuczne stworzone specjalnie w tym celu. 8
9 1. Języki proceduralne (imperatywne). To języki rozkazów: program zawiera instrukcje wykonania stosownych kroków. Przykłady: Algol, Pascal. 2. Języki deklaratywne. To języki, w których opisuje się warunki, jakie ma spełniać rozwiązanie problemu. Wykorzystuje się przy tym języki logiki formalnej. Przykład: Prolog. 6.6 Inne języki sztuczne Ludzka inwencja w dziedzinie tworzenia języków jest olbrzymia. Czasami owe języki sztuczne służą do przetwarzania informacji, reprezentacji wiedzy, itd., a czasami do zabawy. 1. Diagramy Feynmana. Są to rysunki przedstawiające oddziaływania cząstek elementarnych. 2. Symbolika chemiczna. Używa się umownych symboli dla pierwiastków chemicznych, cząsteczek, a także dla zapisu przebiegu relacji chemicznych. 3. Prajęzyki. Rekonstruowane hipotetyczne prajęzyki dla znanych rodzin językowych są oczywiście językami sztucznymi nie ma już populacji, które nimi mówiły. 4. Języki tworzone dla celów literackich. Autorzy powieści fantastyczno-naukowych często wymyślają języki, którymi mówią opisywane przez nich kultury. 5. Szyfry. Dla celów przekazywania informacji w taki sposób, aby nie mogła ona zostać odczytana przez osoby postronne opracowuje się różnego rodzaju szyfry. 7 Uwaga redakcyjna raz jeszcze Niniejsze notatki pełnią jedynie rolę pomocniczą w wykładzie i w żadnym przypadku nie powinny być traktowane jako kompletne przedstawienie omawianego materiału. Do tego celu służy sam wykład, w trakcie którego podajemy przykłady, dodajemy komentarze objaśniające wprowadzone pojęcia, pokazujemy obrazki, wykorzystujemy materiały dostępne w sieci, itd. W ramach osobnych ćwiczeń z JOG studenci zobowiązani są do lektury zalecanych przez prowadzącego ćwiczenia tekstów oraz do dyskusji na ich temat. 9
10 Zalecana lektura do pierwszych dwóch wykładów sa pierwsze dwa rozdziały Wstępu do językoznawstwa Renaty Grzegorczykowej (Grzegorczykowa 2007). Odnośniki bibliograficzne Austin, J.L Mówienie i poznawanie: rozprawy i wykłady filozoficzne. Wydawnictwo Naukowe PWN, Warszawa. Eco, U W poszukiwaniu języka uniwersalnego. Wydawnictwo MARABUT, Oficyna Wydawnicza VOLUMEN, Gdańsk-Warszawa. Grzegorczykowa, R Wstęp do językoznawstwa. Wydawnictwo Naukowe PWN, Warszawa. Jadacki, J.J Elementy semiotyki logicznej i metodologii w zadaniach. Wydawnictwo Naukowe Semper, Warszawa. Pawlak, Z Gramatyka i matematyka. Państwowe Zakłady Wydawnictw Szkolnych, Warszawa. Peirce, Ch.S The Collected Papers of Charles Sanders Peirce. Ponad pięć tysięcy stron tekstów tego autora. Dostępne on line (1iii2016): Pelc, J Wstęp do semiotyki. Wiedza Powszechna, Warszawa. Pogonowski, J Semiotyczne aspekty genetyki molekularnej. Kosmos, 3, Dostępne on line na stronie niniejszych wykładów: Ratner, W.A Molekularno-geneticzeskije sistiemy uprawlenija. Nauka, Nowosybirsk. Searle, J Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge. 10
SEMIOTYCZNE ASPEKTY GENETYKI MOLEKULARNEJ 1
SEMIOTYCZNE ASPEKTY GENETYKI MOLEKULARNEJ 1 JERZY POGONOWSKI Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl Jako przesłanie, kod jest listem, pisanym przez Nikogo i wysłanym do Nikogo; dopiero teraz,
Semiotyka logiczna (1)
Semiotyka logiczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Wprowadzenie Jerzy Pogonowski (MEG) Semiotyka logiczna (1) Wprowadzenie 1 / 14 Plan wykładu: semestr
Logika Matematyczna (1)
Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 4 X 2007 Jerzy Pogonowski (MEG) Logika Matematyczna (1) 4 X 2007 1 / 18 Plan konwersatorium Dzisiaj:
października 2013: Elementarz biologii molekularnej. Wykład nr 2 BIOINFORMATYKA rok II
10 października 2013: Elementarz biologii molekularnej www.bioalgorithms.info Wykład nr 2 BIOINFORMATYKA rok II Komórka: strukturalna i funkcjonalne jednostka organizmu żywego Jądro komórkowe: chroniona
Informacje ogólne. Wstęp do współczesnej semantyki. Lingwistyka komputerowa
Informacje ogólne 1. Nazwa Wstęp do współczesnej semantyki 2. Kod WWS 3. Rodzaj obowiązkowy 4. Kierunek i specjalność studiów Lingwistyka komputerowa 5. Poziom studiów I 6. Rok studiów III 7. Semestr V
Logika Matematyczna (1)
Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Wprowadzenie Jerzy Pogonowski (MEG) Logika Matematyczna (1) Wprowadzenie 1 / 20 Plan konwersatorium
2. Wymagania wstępne w zakresie wiedzy, umiejętności oraz kompetencji społecznych (jeśli obowiązują): BRAK
OPIS MODUŁU KSZTAŁCENIA (SYLABUS) I. Informacje ogólne 1. Nazwa modułu kształcenia: JĘZYKOZNAWSTWO OGÓLNE 2. Kod modułu kształcenia: 08-KODM-JOG 3. Rodzaj modułu kształcenia: OBLIGATORYJNY 4. Kierunek
Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,
Prof. UAM, dr hab. Zbigniew Tworak Zakład Logiki i Metodologii Nauk Instytut Filozofii Wstęp do logiki Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, kto poprawnie wnioskuje i uzasadnia
Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu. 1 Logika Klasyczna obejmuje dwie teorie:
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do testu z filozofii jest zaliczenie testu z logiki i zaliczenie
6. Z pięciowęglowego cukru prostego, zasady azotowej i reszty kwasu fosforowego, jest zbudowany A. nukleotyd. B. aminokwas. C. enzym. D. wielocukier.
ID Testu: F5679R8 Imię i nazwisko ucznia Klasa Data 1. Na indywidualne cechy danego osobnika ma (maja) wpływ A. wyłacznie czynniki środowiskowe. B. czynniki środowiskowe i materiał genetyczny. C. wyłacznie
WPROWADZENIE DO GENETYKI MOLEKULARNEJ
WPROWADZENIE DO GENETYKI MOLEKULARNEJ Replikacja organizacja widełek replikacyjnych Transkrypcja i biosynteza białek Operon regulacja ekspresji genów Prowadzący wykład: prof. dr hab. Jarosław Burczyk REPLIKACJA
Wprowadzenie do logiki Język jako system znaków słownych
Wprowadzenie do logiki Język jako system znaków słownych Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl język system znaków słownych skoro system, to musi być w tym jakiś porządek;
WPROWADZENIE DO GENETYKI MOLEKULARNEJ
WPROWADZENIE DO GENETYKI MOLEKULARNEJ Replikacja organizacja widełek replikacyjnych Transkrypcja i biosynteza białek Operon regulacja ekspresji genów Prowadzący wykład: prof. dr hab. Jarosław Burczyk REPLIKACJA
Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja
Semiotyka, Argumentacja Grupa L3 3 grudnia 2009 Zarys Semiotyka Zarys Semiotyka SEMIOTYKA Semiotyka charakterystyka i działy Semiotyka charakterystyka i działy 1. Semiotyka Semiotyka charakterystyka i
Kultura logicznego myślenia
dr hab. Maciej Witek, prof. US Kultura logicznego myślenia rok akademicki 2017/2018, śemeśtr zimowy Temat 1: Semiotyka i jej dyścypliny kognitywiśtyka.uśz.edu.pl/mwitek dyzury: wtorki, godz. 14.00-15.30,
Wstęp do logiki. Semiotyka cd.
Wstęp do logiki Semiotyka cd. Semiotyka: język Ujęcia języka proponowane przez językoznawców i logików różnią się istotnie w wielu punktach. Z punktu widzenia logiki każdy język można scharakteryzować
Wprowadzenie: języki, symbole, alfabety, łańcuchy Języki formalne i automaty. Literatura
Wprowadzenie: języki, symbole, alfabety, łańcuchy Języki formalne i automaty Dr inŝ. Janusz Majewski Katedra Informatyki Literatura Aho A. V., Sethi R., Ullman J. D.: Compilers. Principles, Techniques
Logika i semiotyka. Znak jest Triadą... Wykład III: (Charles Sanders Peirce)
Logika i semiotyka Wykład III: Znak jest Triadą... (Charles Sanders Peirce) Charles Sanders Peirce *1839, 1914 twórca pragmaty(cy)zmu i semiotyki inspiracje: Kant, Th. Reid krytyczna filozofia zdrowego
Filozofia z elementami logiki Język jako system znaków słownych część 2
Filozofia z elementami logiki Język jako system znaków słownych część 2 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Rozkład jazdy 1 Pojęcie znaku 2 Funkcje wypowiedzi językowych
Logika dla socjologów Część 2: Przedmiot logiki
Logika dla socjologów Część 2: Przedmiot logiki Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Działy logiki 2 Własności semantyczne i syntaktyczne 3 Błędy logiczne
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI Program wykładów: dr inż. Barbara GŁUT Wstęp do logiki klasycznej: rachunek zdań, rachunek predykatów. Elementy semantyki. Podstawy teorii mnogości
Filozofia z elementami logiki O czym to będzie?
Filozofia z elementami logiki O czym to będzie? Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Filozofia z elementami logiki Dwa fundamentalne pytania: Czym zajmuje się logika? Czym
Rekurencyjna przeliczalność
Rekurencyjna przeliczalność Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Funkcje rekurencyjne Jerzy Pogonowski (MEG) Rekurencyjna przeliczalność Funkcje rekurencyjne
PRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Kierunek: Informatyka Rodzaj przedmiotu: obowiązkowy w ramach treści wspólnych z kierunkiem Matematyka, moduł kierunku obowiązkowy Rodzaj zajęć: wykład, ćwiczenia I KARTA PRZEDMIOTU CEL
Wykład 14 Biosynteza białek
BIOCHEMIA Kierunek: Technologia Żywności i Żywienie Człowieka semestr III Wykład 14 Biosynteza białek WYDZIAŁ NAUK O ŻYWNOŚCI I RYBACTWA CENTRUM BIOIMMOBILIZACJI I INNOWACYJNYCH MATERIAŁÓW OPAKOWANIOWYCH
Języki i paradygmaty programowania. I. Wprowadzenie
Języki i paradygmaty programowania I. Wprowadzenie O źródłach wykład został przygotowany w ogromnej części w oparciu o serwis http://wazniak.mimuw.edu.pl/ (zgodnie z licencją serwisu) inne źródła: Wikipedia:
Scenariusz lekcji przyrody/biologii (2 jednostki lekcyjne)
Joanna Wieczorek Scenariusz lekcji przyrody/biologii (2 jednostki lekcyjne) Strona 1 Temat: Budowa i funkcje kwasów nukleinowych Cel ogólny lekcji: Poznanie budowy i funkcji: DNA i RNA Cele szczegółowe:
Nowoczesne systemy ekspresji genów
Nowoczesne systemy ekspresji genów Ekspresja genów w organizmach żywych GEN - pojęcia podstawowe promotor sekwencja kodująca RNA terminator gen Gen - odcinek DNA zawierający zakodowaną informację wystarczającą
Co to jest znaczenie? Współczesne koncepcje znaczenia i najważn. i najważniejsze teorie semantyczne
Co to jest znaczenie? Współczesne koncepcje znaczenia i najważniejsze teorie semantyczne Uniwersytet Kardynała Stefana Wyszyńskiego 1 Koncepcje znaczenia 2 3 1. Koncepcje referencjalne znaczenie jako byt
Systemy ekspertowe i ich zastosowania. Katarzyna Karp Marek Grabowski
Systemy ekspertowe i ich zastosowania Katarzyna Karp Marek Grabowski Plan prezentacji Wstęp Własności systemów ekspertowych Rodzaje baz wiedzy Metody reprezentacji wiedzy Metody wnioskowania Języki do
Wybrane techniki badania białek -proteomika funkcjonalna
Wybrane techniki badania białek -proteomika funkcjonalna Proteomika: umożliwia badanie zestawu wszystkich (lub prawie wszystkich) białek komórkowych Zalety analizy proteomu np. w porównaniu z analizą trankryptomu:
Programowanie komputerów
Programowanie komputerów Wykład 1-2. Podstawowe pojęcia Plan wykładu Omówienie programu wykładów, laboratoriów oraz egzaminu Etapy rozwiązywania problemów dr Helena Dudycz Katedra Technologii Informacyjnych
Dr. habil. Anna Salek International Bio-Consulting 1 Germany
1 2 3 Drożdże są najprostszymi Eukariontami 4 Eucaryota Procaryota 5 6 Informacja genetyczna dla każdej komórki drożdży jest identyczna A zatem każda komórka koduje w DNA wszystkie swoje substancje 7 Przy
JERZY POGONOWSKI Zakład Logiki Stosowanej UAM
UWAGI O METAJEZYKU JERZY POGONOWSKI Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl Uwaga: to nie jest tekst artykułu, a jedynie na bieżąco rozbudowywane notatki. Mają one stanowić wprowadzenie do dyskusji
Zbiór zadań z matematyki dla studentów chemii
Zbiór zadań z matematyki dla studentów chemii NR 142 Justyna Sikorska Zbiór zadań z matematyki dla studentów chemii Wydanie piąte Wydawnictwo Uniwersytetu Śląskiego Katowice 2013 Redaktor serii: Matematyka
Języki programowania zasady ich tworzenia
Strona 1 z 18 Języki programowania zasady ich tworzenia Definicja 5 Językami formalnymi nazywamy każdy system, w którym stosując dobrze określone reguły należące do ustalonego zbioru, możemy uzyskać wszystkie
Z punktu widzenia kognitywisty: język naturalny
Z punktu widzenia kognitywisty: język naturalny Wykład I: Czym jest język? http://konderak.eu/pwk13.html Piotr Konderak kondorp@bacon.umcs.lublin.pl p. 205, Collegium Humanicum konsultacje: czwartki, 11:10-12:40
Wstęp do logiki. Semiotyka
Wstęp do logiki Semiotyka DEF. 1. Językiem nazywamy system umownych znaków słownych. Komentarz. Skoro każdy język jest systemem, to jest w nim ustalony jakiś porządek, czy ogólniej hierarchia. Co to jest
Scenariusz lekcji biologii z wykorzystaniem metody CILIL Lekcja dla klasy IV technikum o rozszerzonym zakresie kształcenia
Scenariusz lekcji biologii z wykorzystaniem metody CILIL Lekcja dla klasy IV technikum o rozszerzonym zakresie kształcenia Temat lekcji: Budowa i funkcje DNA Cele lekcji: poznawcze w zakresie wiadomości
Paradygmaty programowania
Paradygmaty programowania Jacek Michałowski, Piotr Latanowicz 15 kwietnia 2014 Jacek Michałowski, Piotr Latanowicz () Paradygmaty programowania 15 kwietnia 2014 1 / 12 Zadanie 1 Zadanie 1 Rachunek predykatów
Wybrane techniki badania białek -proteomika funkcjonalna
Wybrane techniki badania białek -proteomika funkcjonalna Proteomika: umożliwia badanie zestawu wszystkich (lub prawie wszystkich) białek komórkowych Zalety analizy proteomu w porównaniu z analizą trankryptomu:
SCENARIUSZ LEKCJI BIOLOGII Z WYKORZYSTANIEM FILMU Transkrypcja RNA
SCENARIUSZ LEKCJI BIOLOGII Z WYKORZYSTANIEM FILMU Transkrypcja RNA SPIS TREŚCI: I. Wprowadzenie. II. Części lekcji. 1. Część wstępna. 2. Część realizacji. 3. Część podsumowująca. III. Karty pracy. 1. Karta
Matematyka dyskretna Literatura Podstawowa: 1. K.A. Ross, C.R.B. Wright: Matematyka Dyskretna, PWN, 1996 (2006) 2. J. Jaworski, Z. Palka, J.
Matematyka dyskretna Literatura Podstawowa: 1. K.A. Ross, C.R.B. Wright: Matematyka Dyskretna, PWN, 1996 (2006) 2. J. Jaworski, Z. Palka, J. Szmański: Matematyka dyskretna dla informatyków, UAM, 2008 Uzupełniająca:
wykład dla studentów II roku biotechnologii Andrzej Wierzbicki
Genetyka ogólna wykład dla studentów II roku biotechnologii Andrzej Wierzbicki Uniwersytet Warszawski Wydział Biologii andw@ibb.waw.pl http://arete.ibb.waw.pl/private/genetyka/ 1. Gen to odcinek DNA odpowiedzialny
Podstawy Programowania Obiektowego
Podstawy Programowania Obiektowego Wprowadzenie do programowania obiektowego. Pojęcie struktury i klasy. Spotkanie 03 Dr inż. Dariusz JĘDRZEJCZYK Tematyka wykładu Idea programowania obiektowego Definicja
Wstęp do Matematyki (4)
Wstęp do Matematyki (4) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Liczby kardynalne Jerzy Pogonowski (MEG) Wstęp do Matematyki (4) Liczby kardynalne 1 / 33 Wprowadzenie
ZAŁOŻENIA FILOZOFICZNE
ZAŁOŻENIA FILOZOFICZNE Koło Wiedeńskie Karl Popper Thomas Kuhn FILOZOFIA A NAUKA ZAŁOŻENIA W TEORIACH NAUKOWYCH ZAŁOŻENIA ONTOLOGICZNE Jaki jest charakter rzeczywistości językowej? ZAŁOŻENIA EPISTEMOLOGICZNE
Geny i działania na nich
Metody bioinformatyki Geny i działania na nich prof. dr hab. Jan Mulawka Trzy królestwa w biologii Prokaryota organizmy, których komórki nie zawierają jądra, np. bakterie Eukaryota - organizmy, których
INFORMATYKA, TECHNOLOGIA INFORMACYJNA ORAZ INFORMATYKA W LOGISTYCE
Studia podyplomowe dla nauczycieli INFORMATYKA, TECHNOLOGIA INFORMACYJNA ORAZ INFORMATYKA W LOGISTYCE Przedmiot JĘZYKI PROGRAMOWANIA DEFINICJE I PODSTAWOWE POJĘCIA Autor mgr Sławomir Ciernicki 1/7 Aby
Uniwersytet Zielonogórski Wydział Elektrotechniki, Informatyki i Telekomunikacji Instytut Sterowania i Systemów Informatycznych
Uniwersytet Zielonogórski Wydział Elektrotechniki, Informatyki i Telekomunikacji Instytut Sterowania i Systemów Informatycznych ELEMENTY SZTUCZNEJ INTELIGENCJI Laboratorium nr 6 SYSTEMY ROZMYTE TYPU MAMDANIEGO
Logika dla archeologów
Logika dla archeologów Część 1: Wprowadzenie Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Cztery podstawowe funkcje języka 2 Funkcje języka podział Jakobsona
PODSTAWY SZTUCZNEJ INTELIGENCJI
Katedra Informatyki Stosowanej Politechnika Łódzka PODSTAWY SZTUCZNEJ INTELIGENCJI Laboratorium PROGRAMOWANIE SYSTEMÓW EKSPERTOWYCH Opracowanie: Dr hab. inŝ. Jacek Kucharski Dr inŝ. Piotr Urbanek Cel ćwiczenia
wykład dla studentów II roku biotechnologii Andrzej Wierzbicki
Genetyka ogólna wykład dla studentów II roku biotechnologii Andrzej Wierzbicki Uniwersytet Warszawski Wydział Biologii andw@ibb.waw.pl http://arete.ibb.waw.pl/private/genetyka/ Wykład 5 Droga od genu do
Informacje ogólne. Językoznawstwo i nauka o informacji
Informacje ogólne 1. Nazwa Logika matematyczna 2. Kod LOGMAT 3. Rodzaj obowiązkowy 4. Kierunek i specjalność studiów Językoznawstwo i nauka o informacji 5. Poziom studiów I 6. Rok studiów I 7. Semestr
Możliwości współczesnej inżynierii genetycznej w obszarze biotechnologii
Możliwości współczesnej inżynierii genetycznej w obszarze biotechnologii 1. Technologia rekombinowanego DNA jest podstawą uzyskiwania genetycznie zmodyfikowanych organizmów 2. Medycyna i ochrona zdrowia
Diagramu Związków Encji - CELE. Diagram Związków Encji - CHARAKTERYSTYKA. Diagram Związków Encji - Podstawowe bloki składowe i reguły konstrukcji
Diagramy związków encji (ERD) 1 Projektowanie bazy danych za pomocą narzędzi CASE Materiał pochodzi ze strony : http://jjakiela.prz.edu.pl/labs.htm Diagramu Związków Encji - CELE Zrozumienie struktury
Semiotyka logiczna. Jerzy Pogonowski. Dodatek 4. Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl
Semiotyka logiczna Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Dodatek 4 Jerzy Pogonowski (MEG) Semiotyka logiczna Dodatek 4 1 / 17 Wprowadzenie Plan na dziś Plan
Podstawowe Pojęcia. Semantyczne KRZ
Logika Matematyczna: Podstawowe Pojęcia Semantyczne KRZ I rok Językoznawstwa i Informacji Naukowej UAM 2006-2007 Jerzy Pogonowski Zakład Logiki Stosowanej UAM http://www.logic.amu.edu.pl Dodatek: ściąga
Modele Obliczeń. Wykład 1 - Wprowadzenie. Marcin Szczuka. Instytut Matematyki, Uniwersytet Warszawski
Modele Obliczeń Wykład 1 - Wprowadzenie Marcin Szczuka Instytut Matematyki, Uniwersytet Warszawski Wykład fakultatywny w semestrze zimowym 2014/2015 Marcin Szczuka (MIMUW) Modele Obliczeń 2014/2015 1 /
M T E O T D O ZI Z E E A LG L O G R O Y R TM
O ALGORYTMACH I METODZIE ALGORYTMICZNEJ Czym jest algorytm? Czym jest algorytm? przepis schemat zestaw reguł [ ] program ALGORYTM (objaśnienie ogólne) Algorytm Pojęcie o rodowodzie matematycznym, oznaczające
Języki programowania deklaratywnego
Katedra Inżynierii Wiedzy laborki 1 e-mail: przemyslaw.juszczuk@ue.katowice.pl Konsultacje: na stronie katedry + na stronie domowej Pokój 202c budynek A pjuszczuk.pl Języki deklaratywne - laborki Wprowadzenie
Cele kształcenia wymagania ogólne
Cele kształcenia wymagania ogólne konieczne ocena: dopuszczająca podstawowe ocena: dostateczna rozszerzone ocena: dobra dopełniające ocena: bardzo dobra ponadprogramowe ocena: celująca I Kształcenie literackie
WYKŁAD: Klasyczny przepływ informacji ( Dogmat) Klasyczny przepływ informacji. Ekspresja genów realizacja informacji zawartej w genach
WYKŁAD: Ekspresja genów realizacja informacji zawartej w genach Prof. hab. n. med. Małgorzata Milkiewicz Zakład Biologii Medycznej Klasyczny przepływ informacji ( Dogmat) Białka Retrowirusy Białka Klasyczny
SYLABUS DOTYCZY CYKLU KSZTAŁCENIA (skrajne daty)
Załącznik nr 4 do Uchwały Senatu nr 430/01/2015 SYLABUS DOTYCZY CYKLU KSZTAŁCENIA 2016-2019 (skrajne daty) 1.1. PODSTAWOWE INFORMACJE O PRZEDMIOCIE/MODULE Nazwa przedmiotu/ modułu Wstęp do logiki i teorii
Wstęp do Językoznawstwa
Wstęp do Językoznawstwa Prof. Nicole Nau UAM, IJ, Językoznawstwo Komputerowe Trzecie zajęcie 20.10.2015 Język jako system znaków Cechy znaków językowych konwencjonalne; związek miedzy treścią a formą jest
Główne problemy kognitywistyki: Reprezentacja
Główne problemy kognitywistyki: Reprezentacja Wykład dziesiąty Hipoteza języka myśli (LOT): źródła i założenia Andrzej Klawiter http://www.amu.edu.pl/~klawiter klawiter@amu.edu.pl Filozoficzne źródła:
Scenariusz lekcji biologii dla klasy 8 SP, 1 liceum poziom podstawowy. Temat: DNA nośnik informacji dziedzicznej. Przepływ informacji genetycznej.
Scenariusz lekcji biologii dla klasy 8 SP, 1 liceum poziom podstawowy Temat: DN nośnik informacji dziedzicznej. Przepływ informacji genetycznej. utor: Renata Ziomek ele lekcji: Uczeń po zajęciach potrafi
Dowody założeniowe w KRZ
Dowody założeniowe w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl w styczniu 2007 Jerzy Pogonowski (MEG) Dowody założeniowe w KRZ w styczniu 2007 1 / 10 Dowody
Komputer nie myśli. On tylko wykonuje nasze polecenia. Nauczmy się więc wydawać mu rozkazy
Programowanie w C++ 1.Czym jest programowanie Pisanie programów to wcale nie czarna magia, tylko bardzo logiczna rozmowa z komputerem. Oczywiście w jednym ze specjalnie stworzonych do tego celu języków.
Pamiętając o komplementarności zasad azotowych, dopisz sekwencję nukleotydów brakującej nici DNA. A C C G T G C C A A T C G A...
1. Zadanie (0 2 p. ) Porównaj mitozę i mejozę, wpisując do tabeli podane określenia oraz cyfry. ta sama co w komórce macierzystej, o połowę mniejsza niż w komórce macierzystej, gamety, komórki budujące
Definicje. Algorytm to:
Algorytmy Definicje Algorytm to: skończony ciąg operacji na obiektach, ze ściśle ustalonym porządkiem wykonania, dający możliwość realizacji zadania określonej klasy pewien ciąg czynności, który prowadzi
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl OSTRZEŻENIE Niniejszy plik nie zawiera wykładu z Metod dowodzenia...
PRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Kierunek: Informatyka Rodzaj przedmiotu: obowiązkowy w ramach treści kierunkowych, moduł kierunkowy oólny Rodzaj zajęć: wykład, laboratorium I KARTA PRZEDMIOTU CEL PRZEDMIOTU PRZEWODNIK
Diagramy związków encji. Laboratorium. Akademia Morska w Gdyni
Akademia Morska w Gdyni Gdynia 2004 1. Podstawowe definicje Baza danych to uporządkowany zbiór danych umożliwiający łatwe przeszukiwanie i aktualizację. System zarządzania bazą danych (DBMS) to oprogramowanie
Konceptualizacja i definiowanie SYLABUS A. Informacje ogólne
Konceptualizacja i definiowanie SYLABUS A. Informacje ogólne studiów Poziom kształcenia Profil studiów Forma studiów Rodzaj przedmiotu Rok studiów /semestr Wymagania wstępne Liczba godzin zajęć Założenia
2. Wymagania wstępne w zakresie wiedzy, umiejętności oraz kompetencji społecznych (jeśli obowiązują):
OPISU MODUŁU KSZTAŁCENIA (SYLABUS) I. Informacje ogólne 1) Nazwa modułu : MATEMATYCZNE PODSTAWY KOGNITYWISTYKI 2) Kod modułu : 08-KODL-MPK 3) Rodzaj modułu : OBOWIĄZKOWY 4) Kierunek studiów: KOGNITYWISTYKA
Składnia rachunku predykatów pierwszego rzędu
Początek Gramatyka Kwantyfikatory Poprawność Logika obliczeniowa Instytut Informatyki Początek Gramatyka Kwantyfikatory Poprawność Plan wykładu 1 Na (dobry) początek Zrozumieć słowa Oswoić znaki 2 Gramatyka
Opis efektów kształcenia dla modułu zajęć
Nazwa modułu: Formalne podstawy informatyki Rok akademicki: 2013/2014 Kod: EIB-1-220-s Punkty ECTS: 2 Wydział: Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej Kierunek: Inżynieria Biomedyczna
Translacja i proteom komórki
Translacja i proteom komórki 1. Kod genetyczny 2. Budowa rybosomów 3. Inicjacja translacji 4. Elongacja translacji 5. Terminacja translacji 6. Potranslacyjne zmiany polipeptydów 7. Translacja a retikulum
Główne problemy kognitywistyki: Reprezentacja
Główne problemy kognitywistyki: Reprezentacja Wykład 1 Wprowadzenie do problemu reprezentacji Andrzej Klawiter http://www.amu.edu.pl/~klawiter klawiter@amu.edu.pl Źródło pojęcia reprezentacji Słowo 'reprezentacja'
Podstawy Automatyki. Wykład 13 - Układy bramkowe. dr inż. Jakub Możaryn. Warszawa, Instytut Automatyki i Robotyki
Wykład 13 - Układy bramkowe Instytut Automatyki i Robotyki Warszawa, 2015 Układy z elementów logicznych Bramki logiczne Elementami logicznymi (bramkami logicznymi) są urządzenia o dwustanowym sygnale wyjściowym
Główne problemy kognitywistyki: Reprezentacja
Główne problemy kognitywistyki: Reprezentacja Wykład 1 Wprowadzenie do problemu reprezentacji Andrzej Klawiter http://www.amu.edu.pl/~klawiter klawiter@amu.edu.pl Pojęcie reprezentacji (1) Słowo 'reprezentacja'
JAKIEGO RODZAJU NAUKĄ JEST
JAKIEGO RODZAJU NAUKĄ JEST INFORMATYKA? Computer Science czy Informatyka? Computer Science czy Informatyka? RACZEJ COMPUTER SCIENCE bo: dziedzina ta zaistniała na dobre wraz z wynalezieniem komputerów
LOGIKA I TEORIA ZBIORÓW
LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja
Załącznik Nr 4. odniesienie do obszarowych efektów kształcenia w KRK. kierunkowe efekty kształceniaopis WIEDZA
Załącznik Nr 4. Odniesienie kierunkowych efektów kształcenia do obszarowych efektów kształcenia dla obszaru lub obszarów kształcenia przyporządkowanych temu kierunkowi Kognitywistyka z racji tradycji badawczych
CORAZ BLIŻEJ ISTOTY ŻYCIA WERSJA A. imię i nazwisko :. klasa :.. ilość punktów :.
CORAZ BLIŻEJ ISTOTY ŻYCIA WERSJA A imię i nazwisko :. klasa :.. ilość punktów :. Zadanie 1 Przeanalizuj schemat i wykonaj polecenia. a. Wymień cztery struktury występujące zarówno w komórce roślinnej,
Zbiór zadań z matematyki dla studentów chemii
Zbiór zadań z matematyki dla studentów chemii NR 114 Justyna Sikorska Zbiór zadań z matematyki dla studentów chemii Wydanie czwarte Wydawnictwo Uniwersytetu Śląskiego Katowice 2010 Redaktor serii: Matematyka
WSZECHNICA POLSKA. SZKOŁA WYŻSZA TWP w Warszawie WSTĘP DO JĘZYKOZNAWSTWA FILOLOGIA. 26 godzin wykładu
WSZECHNICA POLSKA. SZKOŁA WYŻSZA TWP w Warszawie WSTĘP DO JĘZYKOZNAWSTWA FILOLOGIA Semestr zimowy, rok akad. 2013/ 2014 26 godzin wykładu Tryb zaliczenia: egzamin pisemny w sesji zimowej (luty 2014) Odpowiedzialna
1. Na podanej sekwencji przeprowadź proces replikacji, oraz do obu nici proces transkrypcji i translacji, podaj zapis antykodonów.
mrna 1. Na podanej sekwencji przeprowadź proces replikacji, oraz do obu nici proces transkrypcji i translacji, podaj zapis antykodonów. GGA CGC GCT replikacja CCT GCG CGA transkrypcja aminokwasy trna antykodony
RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.
Semantyczne twierdzenie o podstawianiu Jeżeli dana formuła rachunku zdań jest tautologią i wszystkie wystąpienia pewnej zmiennej zdaniowej w tej tautologii zastąpimy pewną ustaloną formułą, to otrzymana
Numer pytania Numer pytania
KONKURS BIOLOGICZNY ZMAGANIA Z GENETYKĄ 2016/2017 ELIMINACJE SZKOLNE I SESJA GENETYKA MOLEKULARNA KOD UCZNIA. IMIĘ i NAZWISKO. DATA... GODZINA.. Test, który otrzymałeś zawiera 20 pytań zamkniętych. W każdym
Logika dla socjologów Część 4: Elementy semiotyki O pojęciach, nazwach i znakach
Logika dla socjologów Część 4: Elementy semiotyki O pojęciach, nazwach i znakach Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Krótkie wprowadzenie, czyli co
Wprowadzenie. Teoria automatów i języków formalnych. Literatura (1)
Wprowadzenie Teoria automatów i języków formalnych Dr inŝ. Janusz Majewski Katedra Informatyki Literatura (1) 1. Aho A. V., Sethi R., Ullman J. D.: Compilers. Principles, Techniques and Tools, Addison-Wesley,
Logika formalna SYLABUS A. Informacje ogólne
Logika formalna SYLABUS A. Informacje ogólne studiów Poziom kształcenia Profil studiów Forma studiów Rodzaj przedmiotu Rok studiów /semestr Wymagania wstępne Liczba godzin zajęć Założenia i cele przedmiotu
Wprowadzenie. DNA i białka. W uproszczeniu: program działania żywego organizmu zapisany jest w nici DNA i wykonuje się na maszynie białkowej.
Wprowadzenie DNA i białka W uproszczeniu: program działania żywego organizmu zapisany jest w nici DNA i wykonuje się na maszynie białkowej. Białka: łańcuchy złożone z aminokwasów (kilkadziesiąt kilkadziesiąt
0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.
Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek
TATA box. Enhancery. CGCG ekson intron ekson intron ekson CZĘŚĆ KODUJĄCA GENU TERMINATOR. Elementy regulatorowe
Promotory genu Promotor bliski leży w odległości do 40 pz od miejsca startu transkrypcji, zawiera kasetę TATA. Kaseta TATA to silnie konserwowana sekwencja TATAAAA, występująca w większości promotorów
Programowanie w logice
Programowanie w logice PROLOG cz.1 PROLOG język wysokiego poziomu Powstał w 1972 na Uniwersytecie w Marsylii (Francja) w zespole A.Colmerauer a i F.Roussel a PROgrammation en LOGique, PROgramming in LOGic,
Elementy kognitywistyki III: Modele i architektury poznawcze
Elementy kognitywistyki III: Modele i architektury poznawcze Wykład IV: Reprezentacje jako Modele symboliczne I: Rachunek predykatów, Sieci semantyczne Gwoli przypomnienia: Kroki w modelowaniu kognitywnym: