Lista zadań 2. ZADANIE O ODMIERZANIU WODY (łamigłówka)
|
|
- Andrzej Wiśniewski
- 8 lat temu
- Przeglądów:
Transkrypt
1 Lista zadań 2 ZADANIE O ODMIERZANIU WODY (łamigłówka) Marcysia, gosposia niezbyt obyta, grochówkę uwarzyć chciała. W babcinym, starym jak świat, kajecie, przepis wnet wygrzebała. śe akuratna być postanowiła, głowić się srodze poczęła, Bo podług przepisu, wody ze źródła cztery litry jej trzeba. Jakim sposobem odmierzy nieszczęsne CZTERY LITRY WODY, gdy DZBANEK TRZY LITRY MIEŚCI, a GARNEK PIĘCIOLITROWY? Kto jej pomoŝe, a najmniej się strudzi owym wody przelewaniem, od dzielnej Marcysi pełną miseczkę grochówki dymiącej dostanie. (tekst: Źródło: J. Kotyczka, Programowanie logiczne w rozwiązywaniu zadań na poziomie szkolnym, Praca Magisterska, Instytut Matematyki i Informatyki, Uniwersytet Opolski, Opole 2003.) Reprezentacja ikoniczna Przedstawienie graficzne treści zadania rysunek wykonany przy pomocy edytora grafiki Paint. WyobraŜenie treści zadania moŝemy przedstawić graficznie następująco: Jakie czynności moŝe wykonać Marcysia? 1. Napełnić dzbanek wodą ze źródła. 2. Napełnić garnek wodą ze źródła. 3. Przelać wodę z garnka do dzbanka. 4. Przelać wodę ze dzbanka do garnka. 5. Wylać całą zawartość dzbanka. 6. Wylać całą zawartość garnka. Problem. Nasze wyobraŝenia o sposobie odmierzenia Ŝądanej ilości wody nie są adekwatne do rzeczywistości poznawczej, na którą wskazuje treść zadania reprezentacja ikoniczna. Nie moŝna bowiem uzyskać jednego litra wody (czyli takŝe Ŝądanej ilości wody) bezpośrednio poprzez jedno przelanie. Ta nieadekwatność jest tutaj problemem informatycznym, który musimy pokonać.
2 Sformułujmy więc wnioski, wynikające z dotychczasowego doświadczenia w rozwiązywaniu zadania w wyniku przeprowadzenia symulacji. Reprezentacja symboliczna. Wnioski: Naczynie moŝe być napełnione. Naczynie moŝe być opróŝnione. Wodę moŝna przelewać z jednego naczynia do drugiego, do opróŝnienia się pierwszego z nich lub wypełnienia drugiego. Istotnym dla nas stanem jest związek pomiędzy zawartościami obu naczyń. W trakcie nalewania, przelewania, wylewania wody zachodzą ściśle określone przejścia jednych stanów w drugie. Nietrudno więc sformułować treść zadania (prawa rządzące Światem Odmierzania Wody ) za pomocą wyraŝeń napisanych w postaci klauzul hornowskich, przyjmując notację klauzulową lub anlagiczna do języka Turbo Prolog. Przyjmijmy następującą umowę notacyjną: Zmienne oznaczamy napisami zaczynającymi się z duŝej litery:x,y,z,a,...,zet, Imie,... itp., Predykaty są napisami zaczynającymi się z małej litery; predykaty dla których nie wyróŝniamy argumentów są zwykłymi napisami, a pozostałe łączymy z nawiasem, po którym wypisujemy argumenty oddzielając je przecinkami: student(imie, Nazwisko, Adres, Uniwersytet Opolski ) Wartości zmiennych są napisami pisanymi z małej litery (np. ac1; typ symbol), znakami pisanymi w apostrofach (np. a ; typ char), łańcuchami znaków pisanymi w cudzysłowie (np. Anna, A1 ; typ string), npisami liczb (np. 2, 23, -23.5; typy iteger i real) A :- B oznacza, Ŝe formuła A zachodzi, jeśli formuła B zachodzi X = a; b; c;... oznacza, Ŝe X = a lub X = b lub X = c, itd. A, B,... oznacza to samo, co A i B i.... A; B;... oznacza to samo, co A lub B lub.... not A nieprawda, Ŝe A. KaŜde wyraŝenie kończone jest kropką.
3 Goal A. - pytanie o to, czy i kiedy wyraŝenie A jest spełnione da wprowadzonych danych i praw. Ze względu na liczbowe określenie ilości wody w naczyniach, reprezentację prowadzimy dla fragmentu dziedziny wiedzy o rachunku liczb naturalnych. Zmienne liczbowe: U, V, X, Y. Dziedzina zmiennych: D = {0, 1, 2, 3, 4, 5, 6, 7, 8, }. WyraŜenia postaci stan(u,v), stan(x,y) interpretujemy jako dwie sytuacje, w których pierwsza oznacza stan wcześniejszy, taki Ŝe pięciolitrowy garnek zawiera U litrów wody, a trzylitrowy dzbanek V litrów, druga sytuacja oznacza, Ŝe stan ilości wody przekształca się w stan: x wody w garnku, y wody w dzbanku. Zakładamy, Ŝe dysponujemy operacjami i relacjami na liczbach naturalnych. Świat odmierzania wody moŝna wtedy opisać następującymi formułami tzw. klauzulami hornowskimi: Pytanie Goal stan (4, Y). /* stan docelowy*/ Prawa Świata odmierzania wody (NW1) stan(0, 0). /*stan początkowy*/ (NW2) stan(u, V) :- U 5, V 3. /*warunek określający pojemność naczyń*/ (NW3) stan(x, Y) :- stan(u, V), X=5, X=V. /*akcja napełniania garnka*/ (NW4) stan(x, X) :- stan(u, V), X=U, Y=3. /*akcja napełniania dzbanka*/ (NW5) stan(x,y) :- stan(u, V), X=0, Y=V. /*akcja opróŝniania garnka*/
4 (NW6) stan(x, Y) :- stan(u, V), X=V, Y=0. /*akcja opróŝniania dzbanka*/ (NW7) stan(x, Y) :- stan(u, V), U + V 3, X=0, Y = U + V. /*przelewanie z garnka do dzbanka do chwili opróŝnienia się garnka */ (NW8) stan(x, Y) :- S (U, V), U + V 5, X = U + V, Y=0. /*przelewanie z dzbanka do garnka do chwili opróŝnienia się dzbanka */ (NW9) stan(x, Y) :- stan(u, V), X=5, Y = U + V - 5. /*przelewanie z dzbanka do garnka do chwili napełnienia się garnka*/ (NW10) stan(x, Y) :- stan(u, V), X = U + V 3, Y=3. /*przelewanie z garnka do dzbanka do chwili napełnienia się dzbanka*/ Które z praw NW1-NW10 i w jakiej kolejności naleŝy zastosować do kaŝdego stanu stan(u,v) poprzedzającego w poniŝszym ciągu formuł następny stan stan(x,y)? 1. stan(0,0) stan początkowy. 2. stan(0,3) NW 3. stan(3,0) NW 4. stan(3,3) NW 5. stan(5,1) NW 6. stan(0,1) NW 7. stan(1,0) NW 8. stan(1,3) NW stan(4,0) NW Stan stan(4,0) określa rozwiązanie zadania o odmierzaniu wody.
5 RÓWNOWAśENIE KOLEKCJI PRZEDMIOTÓW NA WADZE Wyjaśnij mechanizm waŝenia na wadze dwuramiennej. WaŜone są następujące przedmioty: tego samego rodzaju filiŝanki f, butelki b, talerze t, oraz dzbanki d, gdzie f, b, t, d oznaczają wagi poszczególnych typów naczyń (wszystkie przedmioty tego samego rodzaju tyle samo waŝą). Przy czym zachodzą następujące równości wag tych przedmiotów: 1) 2t + f = 2d, 2) 5f = 2b + d, 3) 3d + 2b = 5t. Określ system równowaŝenia na wadze dwu kolekcji naczyń jako dwusortową strukturę relacyjną z uniwersami : U1={w: w= n1*f + n2*b+ n3t+ n4*d; n1, 2, n3, n4 = 0,1,2,3,... }, U2 ={0,1,2,3,...}. Jakie będą relacje i operacje oraz wyróŝniony zbiór obiektów w tej strukturze? Sformułuj reguły waŝenia, przeprowadzające stan równowagi S(x,y), w nowy stan równowagi S(x,y ). Opisz w formalnym języku tej struktury relacyjnej wyprowadzenie (korzystające z reguł waŝenia i stosownych operacji czy instrukcji) waŝenia 3 talerzy przy uŝyciu filiŝanek, dzbanków i butelek. Do formalizacji uŝyj tych samych symboli co do opisu struktury relacyjnej, a opis ciągu operacji zapisz jako ciąg odpowiednich formuł. Skorzystaj z bieŝących materiałów podanych na stronie (podrozdział wykładu 1): PROBLEMY Określ wielosortowe struktury relacyjne dla poniŝszych dwu zagadek : CHIŃSKIE FIGURKI Sześć małych figurek ustawionych jest jak na rysunku: KaŜda z figurek moŝe posuwać się naprzód lub przeskakiwać jedną figurkę, ale nie moŝe posuwać się ani skakać wstecz. Podaj najmniejszą liczbę ruchów (skoków lub kroków), po których figurki znajdą się w następującej pozycji:
6 INNE WERSJE ZADANIA: analogicznie, jak w śabich skokach. Źródło: Johannes Lehmann, Kurzweil durch Mathe, Aulis Verlag Deubner & CO KG, Köln WAśENIE MONET Mamy osiem monet. Jedna z nich jest lŝejsza od pozostałych (nie wiemy, która). Jak wykryć lŝejszą monetę, jeśli moŝemy tylko dwukrotnie dokonać waŝenia przy uŝyciu wagi szalkowej? INNE WERSJE ZADANIA: Jak wykryć jedyną lŝejszą monetę spośród osiemnastu za pomocą co najwyŝej trzech waŝeń itp. źródło: Ch. A. Schwengeler, Mathematische Kurzweil, Orell Füssli, Zürich 2001
Plan przygotowania projektu. Tematy projektów
Plan przygotowania projektu 1. Przygotowanie krótkiego opisu projektu. 2. Opis sposobu zastosowania projektu. 3. Implementacja w języku Prolog: 3.1 definicja maszyny abstrakcyjnej dedykowanej pod realizacje
Bardziej szczegółowoPODSTAWY 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
Bardziej szczegółowoRozszerzona specyfikacja zadania informatycznego
Rozszerzona specyfikacja zadania informatycznego I. Metryczka prowadzenia lekcji na której będzie wykonywane zadanie: 1. Imię i nazwisko prowadzącego lekcję:...dr Edward Bryniarski... 2. Typ szkoły: liceum
Bardziej szczegółowoSpecyfikacja zadania informatycznego nr 1
INFORMATYCZNE ROZWIĄZYWANIE PROBLEMÓW Specyfikacja zadania informatycznego nr 1 Cele projektu Opis potrzeby wykonania zadania Środek informatyczny Reprezentacja obiektu System ekspertowy Procedury Heurystyki
Bardziej szczegółowoPoniŜej znajdują się pytania z egzaminów zawodowych teoretycznych. Jest to materiał poglądowy.
PoniŜej znajdują się pytania z egzaminów zawodowych teoretycznych. Jest to materiał poglądowy. 1. Instrukcję case t of... w przedstawionym fragmencie programu moŝna zastąpić: var t : integer; write( Podaj
Bardziej szczegółowoArkusz kalkulacyjny. Technologia Informacyjna Lekcja 38-39
Arkusz kalkulacyjny - budowa - Technologia Informacyjna Lekcja 38-39 39 Kilka słów s w wstępu Do czego słuŝy arkusz kalkulacyjny? Jak jest zbudowany? Czym jest komórka, arkusz, skoroszyt? Czym jest formuła?
Bardziej szczegółowoZAJĘCIA 25. Wartość bezwzględna. Interpretacja geometryczna wartości bezwzględnej.
ZAJĘCIA 25. Wartość bezwzględna. Interpretacja geometryczna wartości bezwzględnej. 1. Wartość bezwzględną liczby jest określona wzorem: x, dla _ x 0 x =, x, dla _ x < 0 Wartość bezwzględna liczby nazywana
Bardziej szczegółowoLaboratorium nr 8. Temat: Podstawy języka zapytań SQL (część 2)
Laboratorium nr 8 Temat: Podstawy języka zapytań SQL (część 2) PLAN LABORATORIUM: 1. Sortowanie. 2. Warunek WHERE 3. Eliminacja powtórzeń - DISTINCT. 4. WyraŜenia: BETWEEN...AND, IN, LIKE, IS NULL. 5.
Bardziej szczegółowoSpis treści. spis treści wygenerowany automatycznie
Spis treści Rozdział 2.Wymagania edytorskie 2 2.1. Wymagania ogólne 2 2.2. Tytuły rozdziałów i podrozdziałów 2 2.3. Rysunki, tabele i wzory 3 2.3.1. Rysunki 3 2.3.2. Tabele 4 2.3.3. Wzory 4 2.4. Odsyłacze
Bardziej szczegółowoProjekt wykonania zadania informatycznego specyfikacja zadania
Projekt wykonania zadania informatycznego specyfikacja zadania I. Metryczka prowadzenia lekcji na której będzie wykonywane zadanie: 1. Imię i nazwisko prowadzącego lekcję:... 2. Typ szkoły:... 3. Klasa:...
Bardziej szczegółowoSystemy liczenia. 333= 3*100+3*10+3*1
Systemy liczenia. System dziesiętny jest systemem pozycyjnym, co oznacza, Ŝe wartość liczby zaleŝy od pozycji na której się ona znajduje np. w liczbie 333 kaŝda cyfra oznacza inną wartość bowiem: 333=
Bardziej szczegółowoPrzykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych
Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Zapoznaj z poniŝszym tekstem reprezentującym wiedzę logiczną o wartościach logicznych będących interpretacjami formuł złoŝonych
Bardziej szczegółowoSemantyka rachunku predykatów
Relacje Interpretacja Wartość Spełnialność Logika obliczeniowa Instytut Informatyki Relacje Interpretacja Wartość Plan Plan Relacje O co chodzi? Znaczenie w logice Relacje 3 Interpretacja i wartościowanie
Bardziej szczegółowoWykł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:
Bardziej szczegółowoProgramowanie deklaratywne
Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne
Bardziej szczegółowoLogiczna analiza tekstu
Logiczna analiza tekstu Większość współczesnych środków informatycznych obsługujących Internet wykorzystuje lepiej lub gorzej określone operacje i reguły logicznej analizy tekstu. W tym kontekście, znajomość
Bardziej szczegółowoWyŜsza Szkoła Zarządzania Ochroną Pracy MS EXCEL CZ.2
- 1 - MS EXCEL CZ.2 FUNKCJE Program Excel zawiera ok. 200 funkcji, będących predefiniowanymi formułami, słuŝącymi do wykonywania określonych obliczeń. KaŜda funkcja składa się z nazwy funkcji, która określa
Bardziej szczegółowo11. Blok ten jest blokiem: a. decyzyjnym b. końcowym c. operacyjnym
1. Instrukcja warunkowa a. słuŝy do wprowadzania danych oraz wprowadzania wyników b. to instrukcja decyzyjna c. to sposób przedstawienia algorytmu 2. Instrukcja, która opisuje wykonanie róŝnych czynności
Bardziej szczegółowoĆwiczenie nr 1: Systemy liczbowe
Ćwiczenie nr 1: Systemy liczbowe Barbara Łukawska, Adam Krechowicz, Tomasz Michno Podstawowym systemem liczbowym uŝywanym na co dzień jest system dziesiętny. Podstawą tego systemu jest 10 cyfr 0, 1, 2,
Bardziej szczegółowoWYRAŻENIA ALGEBRAICZNE
WYRAŻENIA ALGEBRAICZNE Wyrażeniem algebraicznym nazywamy wyrażenie zbudowane z liczb, liter, nawiasów oraz znaków działań, na przykład: Symbole literowe występujące w wyrażeniu algebraicznym nazywamy zmiennymi.
Bardziej szczegółowoGramatyki atrybutywne
Gramatyki atrybutywne, część 1 (gramatyki S-atrybutywne Teoria kompilacji Dr inŝ. Janusz Majewski Katedra Informatyki Gramatyki atrybutywne Do przeprowadzenia poprawnego tłumaczenia, oprócz informacji
Bardziej szczegółowoSamodzielnie wykonaj następujące operacje: 13 / 2 = 30 / 5 = 73 / 15 = 15 / 23 = 13 % 2 = 30 % 5 = 73 % 15 = 15 % 23 =
Systemy liczbowe Dla każdej liczby naturalnej x Î N oraz liczby naturalnej p >= 2 istnieją jednoznacznie wyznaczone: liczba n Î N oraz ciąg cyfr c 0, c 1,..., c n-1 (gdzie ck Î {0, 1,..., p - 1}) taki,
Bardziej szczegółowoWykład II PASCAL - podstawy składni i zmienne, - instrukcje wyboru, - iteracja, - liczby losowe
Podstawy programowania Wykład II PASCAL - podstawy składni i zmienne, - instrukcje wyboru, - iteracja, - liczby losowe 1 I. Składnia Składnia programu Program nazwa; Uses biblioteki; Var deklaracje zmiennych;
Bardziej szczegółowoPo uruchomieniu programu nasza litera zostanie wyświetlona na ekranie
Część X C++ Typ znakowy służy do reprezentacji pojedynczych znaków ASCII, czyli liter, cyfr, znaków przestankowych i innych specjalnych znaków widocznych na naszej klawiaturze (oraz wielu innych, których
Bardziej szczegółowoWykład II PASCAL - podstawy składni i zmienne, - instrukcje wyboru, - iteracja cz. 1
Podstawy programowania Wykład II PASCAL - podstawy składni i zmienne, - instrukcje wyboru, - iteracja cz. 1 1 I. Składnia Składnia programu Program nazwa; Uses biblioteki; Var deklaracje zmiennych; Begin
Bardziej szczegółowoWstęp do programowania
Wstęp do programowania wykład 2 Piotr Cybula Wydział Matematyki i Informatyki UŁ 2012/2013 http://www.math.uni.lodz.pl/~cybula Język programowania Każdy język ma swoją składnię: słowa kluczowe instrukcje
Bardziej szczegółowoWprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów
Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan na pytanie o odniesienie przedmiotowe zdań odpowiedź
Bardziej szczegółowoInstytut Mechaniki i Inżynierii Obliczeniowej Wydział Mechaniczny Technologiczny Politechnika Śląska
Instytut Mechaniki i Inżynierii Obliczeniowej www.imio.polsl.pl fb.com/imiopolsl @imiopolsl Wydział Mechaniczny Technologiczny Politechnika Śląska Języki programowania z programowaniem obiektowym Laboratorium
Bardziej szczegółowoZad. 4 Sterowanie grą w szachy: definicja szachów, język interakcji - poleceń, pytań i odpowiedzi, uwzględniający komunikaty proste i złożone.
Plan przygotowania projektu 1. Przygotowanie krótkiego opisu projektu. 2. Opis sposobu zastosowania projektu. 3. Implementacja w języku Prolog: 3.1 definicja regułowego systemu ekspertowego dedykowanego
Bardziej szczegółowoUrządzenia Techniki. Klasa I TI. System dwójkowy (binarny) -> BIN. Przykład zamiany liczby dziesiętnej na binarną (DEC -> BIN):
1. SYSTEMY LICZBOWE UŻYWANE W TECHNICE KOMPUTEROWEJ System liczenia - sposób tworzenia liczb ze znaków cyfrowych oraz zbiór reguł umożliwiających wykonywanie operacji arytmetycznych na liczbach. Do zapisu
Bardziej szczegółowoUkłady równań liniowych. Ax = b (1)
Układy równań liniowych Dany jest układ m równań z n niewiadomymi. Liczba równań m nie musi być równa liczbie niewiadomych n, tj. mn. a a... a b n n a a... a b n n... a a... a b m m mn n m
Bardziej szczegółowoSystemy iteracyjne. Podstawy programowania. wykład 2
Systemy iteracyjne Podstawy programowania wykład 2 Pojęcie iteracji Systemy rzeczywistości, tj. wyróŝnione struktury relacyjne (często z relacją porządku), w których realizowane jest powtarzalne wykonywanie
Bardziej szczegółowoAndrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ 1 Inferencyjna równoważność formuł Definicja 9.1. Formuła A jest
Bardziej szczegółowoLogika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 2 - Logika modalna Część 2 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 27 Plan wykładu
Bardziej szczegółowoInformacja dla ucznia
Informacja dla ucznia Test, który będziesz rozwiązywać składa się z 0 zadań o róŝnym stopniu trudności. W zadaniach wystarczy odnaleźć jedną prawidłową odpowiedź spośród kilku podanych (oznaczonych literami
Bardziej szczegółowoPodstawy Automatyki. Wykład 12 - synteza i minimalizacja funkcji logicznych. dr inż. Jakub Możaryn. Warszawa, Instytut Automatyki i Robotyki
Wykład 12 - synteza i minimalizacja funkcji logicznych Instytut Automatyki i Robotyki Warszawa, 2017 Synteza funkcji logicznych Terminy - na bazie funkcji trójargumenowej y = (x 1, x 2, x 3 ) (1) Elementarny
Bardziej szczegółowoLOGIKA Klasyczny Rachunek Zdań
LOGIKA Klasyczny Rachunek Zdań Robert Trypuz trypuz@kul.pl 5 listopada 2013 Robert Trypuz (trypuz@kul.pl) Klasyczny Rachunek Zdań 5 listopada 2013 1 / 24 PLAN WYKŁADU 1 Alfabet i formuła KRZ 2 Zrozumieć
Bardziej szczegółowoMETODY I JĘZYKI PROGRAMOWANIA PROGRAMOWANIE STRUKTURALNE. Wykład 02
METODY I JĘZYKI PROGRAMOWANIA PROGRAMOWANIE STRUKTURALNE Wykład 02 NAJPROSTSZY PROGRAM /* (Prawie) najprostszy przykład programu w C */ /*==================*/ /* Między tymi znaczkami można pisać, co się
Bardziej szczegółowoSystemy 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
Bardziej szczegółowoLaboratorium Programowanie Obrabiarek CNC. Nr H7
1 Politechnika Poznańska Instytut Technologii Mechanicznej Laboratorium Programowanie Obrabiarek CNC Nr H7 Programowanie z wykorzystaniem parametrów i funkcji matematycznych Opracował: Dr inŝ. Wojciech
Bardziej szczegółowoRachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a
Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a tak jest alboŝe tak a tak nie jest. Wartość logiczna zdania jest czymś obiektywnym, to
Bardziej szczegółowoZmienne powłoki. Wywołanie wartości następuje poprzez umieszczenie przed nazwą zmiennej znaku dolara ($ZMIENNA), np. ZMIENNA=wartosc.
Zmienne powłoki Zmienne powłoki (shell variables) to tymczasowe zmienne, które mogą przechowywać wartości liczbowe lub ciągi znaków. Związane są z powłoką, Przypisania wartości do zmiennej następuje poprzez
Bardziej szczegółowoRekurencje. Jeśli algorytm zawiera wywołanie samego siebie, jego czas działania moŝe być określony rekurencją. Przykład: sortowanie przez scalanie:
Rekurencje Jeśli algorytm zawiera wywołanie samego siebie, jego czas działania moŝe być określony rekurencją. Przykład: sortowanie przez scalanie: T(n) = Θ(1) (dla n = 1) T(n) = 2 T(n/2) + Θ(n) (dla n
Bardziej szczegółowo0.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
Bardziej szczegółowoInterpreter - EasyCompile
Akademia Podlaska w Siedlcach Siedlce, dn. 20.V.2006r. Wydział Nauk Ścisłych Instytut Informatyki Interpreter - EasyCompile Projekt z SISW Wykonali: Paweł Sawczuk Edwin Tomczuk Krzysztof Pietraszek I Inf.
Bardziej szczegółowoINFORMATYKA POZIOM ROZSZERZONY
EGZAMIN MATURALNY W ROKU SZKOLNYM 2015/2016 FORMUŁA DO 2014 ( STARA MATURA ) INFORMATYKA POZIOM ROZSZERZONY ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ MIN-R1, R2 MAJ 2016 Uwaga: Akceptowane są wszystkie odpowiedzi
Bardziej szczegółowoINFORMATYKA POZIOM ROZSZERZONY
EGZAMIN MATURALNY W ROKU SZKOLNYM 2015/2016 FORMUŁA DO 2014 ( STARA MATURA ) INFORMATYKA POZIOM ROZSZERZONY ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ MIN-R1, R2 MAJ 2016 Uwaga: Akceptowane są wszystkie odpowiedzi
Bardziej szczegółowoProgramowanie deklaratywne
Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne
Bardziej szczegółowoTest z informatyki. do Liceum Akademickiego do profilu matematyczno-informatycznofizycznego. 31 maja 2014 r., godz. 9.
Test z informatyki do Liceum Akademickiego do profilu matematyczno-informatycznofizycznego 31 maja 2014 r., godz. 9.15, czas: 45 minut Kod kandydata: Liczba punktów: Część I Zakreśl krzyżykiem prawidłowe
Bardziej szczegółowoSemantyka rachunku predykatów pierwszego rzędu. Dziedzina interpretacji. Stałe, zmienne, funkcje. Logika obliczeniowa.
Logika obliczeniowa Instytut Informatyki 1 Interpretacja i wartościowanie Dziedzina interpretacji Interpretacja Wartościowanie 2 Wartość formuły Wartość termu Wartość logiczna formuły Własności 3 Logiczna
Bardziej szczegółowoProgramowanie w Logice Struktury danych (Lista 2)
Programowanie w Logice Struktury danych (Lista 2) Przemysław Kobylański Wstęp Struktury danych wyraża się w Prologu w postaci termów, tj. symbolicznych wyrażeń. Dotychczas poznaliśmy proste termy takie
Bardziej szczegółowoWykład IV PASCAL - łańcuch znaków, - procedury i funkcje, - sortowanie bąbelkowe
Podstawy programowania Wykład IV PASCAL - łańcuch znaków, - procedury i funkcje, - sortowanie bąbelkowe 1 Podstawy programowania Część I Łańcuchy znaków 2 I. Zmienne łańcuchowe Klasyfikacja zmiennych statycznych
Bardziej szczegółowoRys. 1. Dane umieszczone w oddzielnych zestawieniach
:: Trik 1. Wyszukiwanie danych w kilku tabelach jednocześnie :: Trik 2. Wygodna nawigacja po obszernych zakresach danych :: Trik 3. Szybka analiza bazy danych :: Trik 4. Wynik formuły i jej składnia w
Bardziej szczegółowoWYRAŻENIA ALGEBRAICZNE GRUPA A. l. Wyrazy sumy algebraicznej 6x - 4a2 + 9ax to: 2. Po uporządkowaniu jednomianu 4a (- 6b) a otrzymamy:
WYRAŻENIA ALGEBRAICZNE GRUPA A l. Wyrazy sumy algebraicznej 6x - 4a2 + 9ax to: A. 6x, 4a2, 9ax B. -6x, -4a2, -9ax C. 6x, -4a2, 9ax. -6x, 4a2, -9ax 2. Po uporządkowaniu jednomianu 4a (- 6b) a otrzymamy:
Bardziej szczegółowoJę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
Bardziej szczegółowoElżbieta Kula - wprowadzenie do Turbo Pascala i algorytmiki
Elżbieta Kula - wprowadzenie do Turbo Pascala i algorytmiki Turbo Pascal jest językiem wysokiego poziomu, czyli nie jest rozumiany bezpośrednio dla komputera, ale jednocześnie jest wygodny dla programisty,
Bardziej szczegółowoElementy logiki matematycznej
Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w
Bardziej szczegółowoLOGIKA 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
Bardziej szczegółowo1.UKŁADY RÓWNAŃ LINIOWYCH
UKŁADY RÓWNAŃ 1.UKŁADY RÓWNAŃ LINIOWYCH Układ: a1x + b1y = c1 a x + by = c nazywamy układem równań liniowych. Rozwiązaniem układu jest kaŝda para liczb spełniająca kaŝde z równań. Przy rozwiązywaniu układów
Bardziej szczegółowovf(c) =, vf(ft 1... t n )=vf(t 1 )... vf(t n ).
6. Wykład 6: Rachunek predykatów. Język pierwszego rzędu składa się z: symboli relacyjnych P i, i I, gdzie (P i ) oznaczać będzie ilość argumentów symbolu P i, symboli funkcyjnych f j, j J, gdzie (f j
Bardziej szczegółowoKrzysztof Jakubczyk. Zadanie 2
Zadanie 2 Krzysztof Jakubczyk Moje rozwiązanie nie znajduje strategii pozycyjnej w znaczeniu zdefiniowanym na wykładzie (niezaleŝnie od pozycji startowej), gdyŝ takowa nie istnieje. Przykład: 1 1 0 Środkowa
Bardziej szczegółowoTechnologie informacyjne - wykład 12 -
Zakład Fizyki Budowli i Komputerowych Metod Projektowania Instytut Budownictwa Wydział Budownictwa Lądowego i Wodnego Politechnika Wrocławska Technologie informacyjne - wykład 12 - Prowadzący: Dmochowski
Bardziej szczegółowoProgramowanie. programowania. Klasa 3 Lekcja 9 PASCAL & C++
Programowanie Wstęp p do programowania Klasa 3 Lekcja 9 PASCAL & C++ Język programowania Do przedstawiania algorytmów w postaci programów służą języki programowania. Tylko algorytm zapisany w postaci programu
Bardziej szczegółowoInstrukcja do ćwiczeń nr 4 typy i rodzaje zmiennych w języku C dla AVR, oraz ich deklarowanie, oraz podstawowe operatory
Instrukcja do ćwiczeń nr 4 typy i rodzaje zmiennych w języku C dla AVR, oraz ich deklarowanie, oraz podstawowe operatory Poniżej pozwoliłem sobie za cytować za wikipedią definicję zmiennej w informatyce.
Bardziej szczegółowoWykład 13. Podstawowe pojęcia rachunku prawdopodobieństwa
Wykład 13. Podstawowe pojęcia rachunku prawdopodobieństwa dr Mariusz Grzadziel Katedra Matematyki, Uniwersytet Przyrodniczy we Wrocławiu semestr zimowy, rok akademicki 2015 2016 Doświadczenie losowe Doświadczenie
Bardziej szczegółowoPracownia Informatyczna Instytut Technologii Mechanicznej Wydział Inżynierii Mechanicznej i Mechatroniki. Podstawy Informatyki i algorytmizacji
Pracownia Informatyczna Instytut Technologii Mechanicznej Wydział Inżynierii Mechanicznej i Mechatroniki Podstawy Informatyki i algorytmizacji wykład 1 dr inż. Maria Lachowicz Wprowadzenie Dlaczego arkusz
Bardziej szczegółowoPlan nauczania informatyki Opracował: mgr Daniel Starego
Obowiązuje od roku szkolnego 000/00 Plan nauczania informatyki Opracował: mgr Daniel Starego Szkoła podstawowa klasy IV VI Dział, tematyka L. godz. I rok II rok. TECHNIKA KOMPUTEROWA W ŻYCIU CZŁOWIEKA
Bardziej szczegółowoWYMAGANIE EDUKACYJNE Z MATEMATYKI W KLASIE II GIMNAZJUM. dopuszczającą dostateczną dobrą bardzo dobrą celującą
1. Statystyka odczytać informacje z tabeli odczytać informacje z diagramu 2. Mnożenie i dzielenie potęg o tych samych podstawach 3. Mnożenie i dzielenie potęg o tych samych wykładnikach 4. Potęga o wykładniku
Bardziej szczegółowoWIADOMOŚCI WSTĘPNE WPROWADZENIE DO JĘZYKA TURBO PASCAL. Klawisze skrótów. {to jest właśnie komentarz, moŝna tu umieścić dowolny opis}
1 WIADOMOŚCI WSTĘPNE Programowanie komputerów najogólniej mówiąc polega na zapisaniu pewniej listy poleceń do wykonania przez komputer w pewnym umownym języku Taką listę poleceń nazywamy programem Program
Bardziej szczegółowoProgramowanie strukturalne. Opis ogólny programu w Turbo Pascalu
Programowanie strukturalne Opis ogólny programu w Turbo Pascalu STRUKTURA PROGRAMU W TURBO PASCALU Program nazwa; } nagłówek programu uses nazwy modułów; } blok deklaracji modułów const } blok deklaracji
Bardziej szczegółowoMatematyczne Podstawy Informatyki
Matematyczne Podstawy Informatyki dr inż. Andrzej Grosser Instytut Informatyki Teoretycznej i Stosowanej Politechnika Częstochowska Rok akademicki 2013/2014 Gramatyki bezkontekstowe I Gramatyką bezkontekstową
Bardziej szczegółowoCELEM NAPISANIA PRACY MAGISTERSKIEJ JEST WYKAZANIE, ŻE STUDENT: 1. POTRAFI POSŁUGIWAĆ SIĘ NABYTĄ WIEDZĄ 2.ROZSZERZYŁ SWOJĄ WIEDZĘ O OPISYWANYM W
CELEM NAPISANIA PRACY MAGISTERSKIEJ JEST WYKAZANIE, ŻE STUDENT: 1. POTRAFI POSŁUGIWAĆ SIĘ NABYTĄ WIEDZĄ 2.ROZSZERZYŁ SWOJĄ WIEDZĘ O OPISYWANYM W PRACY ZAGADNIENIU 3.DOSTRZEGA PRAWIDŁOWOŚCI WYSTĘPUJĄCE
Bardziej szczegółowoWykład 5 Charakterystyka języka SQL. Elementy obliczeń relacyjnych.
Wrocławska WyŜsza Szkoła Informatyki Stosowanej Wykład 5 Charakterystyka języka SQL. Elementy obliczeń relacyjnych. Dr inŝ. Krzysztof Pieczarka Email: krzysztof.pieczarka@up.wroc.pl Tradycyjne bazy danych
Bardziej szczegółowoEGZAMIN MATURALNY 2013 INFORMATYKA
Centralna Komisja Egzaminacyjna EGZAMIN MATURALNY 2013 INFORMATYKA POZIOM PODSTAWOWY Kryteria oceniania odpowiedzi MAJ 2013 2 Egzamin maturalny z informatyki CZĘŚĆ I Zadanie 1. a) (0 2) Obszar standardów
Bardziej szczegółowoInnowacyjne cele edukacyjne
Na zajęciach koła matematycznego często z dziećmi pracuję w oparciu o zmodyfikowane i dostosowane do mojej grupy konspekty ze strony Matematyki Innego Wymiaru. Oto kilka takich przeprowadzonych przeze
Bardziej szczegółowoEGZAMIN MATURALNY 2011 INFORMATYKA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2011 INFORMATYKA POZIOM PODSTAWOWY MAJ 2011 2 Zadanie 1. a) (0 1) Egzamin maturalny z informatyki poziom podstawowy CZĘŚĆ I Obszar standardów
Bardziej szczegółowoEGZAMIN MATURALNY 2013 INFORMATYKA
Centralna Komisja Egzaminacyjna EGZAMIN MATURALNY 2013 INFORMATYKA POZIOM PODSTAWOWY Kryteria oceniania odpowiedzi MAJ 2013 2 CZĘŚĆ I Zadanie 1. a) (0 2) Obszar standardów Opis wymagań Analiza liczby wykonywanych
Bardziej szczegółowoPodstawy Informatyki. Metalurgia, I rok. Wykład 3 Liczby w komputerze
Podstawy Informatyki Metalurgia, I rok Wykład 3 Liczby w komputerze Jednostki informacji Bit (ang. bit) (Shannon, 1948) Najmniejsza ilość informacji potrzebna do określenia, który z dwóch równie prawdopodobnych
Bardziej szczegółowoLaboratorium nr 5. Temat: Funkcje agregujące, klauzule GROUP BY, HAVING
Laboratorium nr 5 Temat: Funkcje agregujące, klauzule GROUP BY, HAVING Celem ćwiczenia jest zaprezentowanie zagadnień dotyczących stosowania w zapytaniach języka SQL predefiniowanych funkcji agregujących.
Bardziej szczegółowo1. Nagłówek funkcji: int funkcja(void); wskazuje na to, że ta funkcja. 2. Schemat blokowy przedstawia algorytm obliczania
1. Nagłówek funkcji: int funkcja(void); wskazuje na to, że ta funkcja nie ma parametru i zwraca wartość na zewnątrz. nie ma parametru i nie zwraca wartości na zewnątrz. ma parametr o nazwie void i zwraca
Bardziej szczegółowoWYKORZYSTANIE NARZĘDZIA Solver DO ROZWIĄZYWANIA ZAGADNIENIA Problem przydziału
WYKORZYSTANIE NARZĘDZIA Solver DO ROZWIĄZYWANIA ZAGADNIENIA Problem przydziału Problem przydziału Przykład Firma KARMA zamierza w okresie letnim przeprowadzić konserwację swoich urządzeń; mieszalników,
Bardziej szczegółowoProgram 22. #include <iostream> using namespace std; struct Osoba { string Imie; string Nazwisko; char Plec; int RokUr; };
Program 22 Zadeklarować strukturę Osoba przechowującą dane osoby: imię, nazwisko (ciągi znaków), płeć (pojedynczy znak) oraz rok urodzenia (liczba całkowita). Napisać następujące funkcje: funkcje pobierającą
Bardziej szczegółowoDefinicje. 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
Bardziej szczegółowoEGZAMIN MATURALNY 2012 INFORMATYKA
Centralna Komisja Egzaminacyjna EGZAMIN MATURALNY 2012 INFORMATYKA POZIOM PODSTAWOWY Kryteria oceniania odpowiedzi MAJ 2012 2 Zadanie 1. a) (0 2) Egzamin maturalny z informatyki CZĘŚĆ I Obszar standardów
Bardziej szczegółowoJę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
Bardziej szczegółowoEGZAMIN MATURALNY 2011 INFORMATYKA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2011 INFORMATYKA POZIOM ROZSZERZONY MAJ 2011 2 Zadanie 1. a) (0 1) Egzamin maturalny z informatyki poziom rozszerzony CZĘŚĆ I Obszar standardów
Bardziej szczegółowoCELEM NAPISANIA PRACY MAGISTERSKIEJ JEST WYKAZANIE, ŻE STUDENT: 1. POTRAFI POSŁUGIWAĆ SIĘ NABYTĄ WIEDZĄ 2. UMIE STOSOWAĆ METODY PRACY NAUKOWEJ 6
CELEM NAPISANIA PRACY MAGISTERSKIEJ JEST WYKAZANIE, ŻE STUDENT: 1. POTRAFI POSŁUGIWAĆ SIĘ NABYTĄ WIEDZĄ 2.ROZSZERZYŁ SWOJĄ WIEDZĘ O OPISYWANYM W PRACY ZAGADNIENIU 3.DOSTRZEGA PRAWIDŁOWOŚCI WYSTĘPUJĄCE
Bardziej szczegółowoProgram 6. Program wykorzystujący strukturę osoba o polach: imię, nazwisko, wiek. W programie wykorzystane są dwie funkcje:
Program 6 Program wykorzystujący strukturę osoba o polach: imię, nazwisko, wiek. W programie wykorzystane są dwie funkcje: Funkcja pobierz_osobe wczytuje dane osoby podanej jako argument. Funkcja wypisz_osobe
Bardziej szczegółowoTemat: Liczby definicje, oznaczenia, własności. A n n a R a j f u r a, M a t e m a t y k a s e m e s t r 1, W S Z i M w S o c h a c z e w i e 1
Temat: Liczby definicje, oznaczenia, własności A n n a R a j f u r a, M a t e m a t y k a s e m e s t r, W S Z i M w S o c h a c z e w i e Kody kolorów: pojęcie zwraca uwagę A n n a R a j f u r a, M a
Bardziej szczegółowoPodstawy programowania
Podstawy programowania I rok Automatyka i Robotyka Eka PWr Ćwiczenia Zestaw 4 Zakres materiału Analiza poprawności konstrukcji, wyliczanie wyrażeń z wskaźnikami i tablicami, ręczna symulacja, opracowywanie
Bardziej szczegółowoModelowanie związków encji. Oracle Designer: Diagramy związków encji. Encja (1)
Modelowanie związków encji Oracle Designer: Modelowanie związków encji Technika określania potrzeb informacyjnych organizacji. Modelowanie związków encji ma na celu: dostarczenie dokładnego modelu potrzeb
Bardziej szczegółowoWykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań System aksjomatyczny logiki Budując logikę
Bardziej szczegółowoPascal - wprowadzenie
Pascal - wprowadzenie Ogólne informacje o specyfice języka i budowaniu programów Filip Jarmuszczak kl. III c Historia Pascal dawniej jeden z najpopularniejszych języków programowania, uniwersalny, wysokiego
Bardziej szczegółowo4,5. Dyskretne zmienne losowe (17.03; 31.03)
4,5. Dyskretne zmienne losowe (17.03; 31.03) Definicja 1 Zmienna losowa nazywamy dyskretna (skokowa), jeśli zbiór jej wartości x 1, x 2,..., można ustawić w ciag. Zmienna losowa X, która przyjmuje wszystkie
Bardziej szczegółowoLUTY klasa 2 MATEMATYKA
20. tydzień nauki Jak dzielimy? Temat: Jak dzielimy? Dzielenie czynnościowe: jako podział na równe części i rozmieszczanie elementów 7.6 po tyle samo. Dzielenie w zakresie 30. Wprowadzenie znaku dzielenia.
Bardziej szczegółowoMAJ klasa 2 MATEMATYKA. Temat: Jak dodajemy? Jak odejmujemy?
30. tydzień nauki Jak dodajemy? Jak odejmujemy? Temat: Jak dodajemy? Jak odejmujemy? Zapisywanie liczby dwucyfrowej jako sumy liczb. Praca samodzielna zapisywanie liczby 100 jako sumy różnych składników
Bardziej szczegółowoProgramowanie 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,
Bardziej szczegółowoJarosław Wróblewski Analiza Matematyczna 1A, zima 2012/13
35. O zdaniu 1 T (n) udowodniono, że prawdziwe jest T (1), oraz że dla dowolnego n 6 zachodzi implikacja T (n) T (n+2). Czy można stąd wnioskować, że a) prawdziwe jest T (10), b) prawdziwe jest T (11),
Bardziej szczegółowoWyszukiwanie. Wyszukiwanie binarne
Wyszukiwanie Wejście: posortowana, n-elementowa tablica liczbowa T oraz liczba p. Wyjście: liczba naturalna, określająca pozycję elementu p w tablicy T, bądź 1, jeŝeli element w tablicy nie występuje.
Bardziej szczegółowoDyskretne zmienne losowe
Dyskretne zmienne losowe dr Mariusz Grządziel 16 marca 2009 Definicja 1. Zmienna losowa nazywamy dyskretna (skokowa), jeśli zbiór jej wartości x 1, x 2,..., można ustawić w ciag. Zmienna losowa X, która
Bardziej szczegółowo