Podstawy Informatyki Gramatyki formalne
|
|
- Laura Brzezińska
- 8 lat temu
- Przeglądów:
Transkrypt
1 Podstawy Informatyki
2 Plan wykładu 1 Języki i gramatyki Analiza syntaktyczna Semantyka 2 Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki 3
3 Czym jest język Plan wykładu Języki i gramatyki Analiza syntaktyczna Semantyka Język to środek umożliwiający porozumiewanie się. Cechy języka naturalnego: duża swoboda konstruowania zdań, duża ilość wyjątków. Wniosek: W programowaniu maszyn cyfrowych potrzebny jest język formalny - ścisły i jednoznaczny opis konstrukcji.
4 Czym jest język Plan wykładu Języki i gramatyki Analiza syntaktyczna Semantyka Język to środek umożliwiający porozumiewanie się. Cechy języka naturalnego: duża swoboda konstruowania zdań, duża ilość wyjątków. Wniosek: W programowaniu maszyn cyfrowych potrzebny jest język formalny - ścisły i jednoznaczny opis konstrukcji.
5 Czym jest gramatyka Języki i gramatyki Analiza syntaktyczna Semantyka Gramatyki naturalne pozwalają określić zbiory reguł budowy zdań. zajmują się pojęciami abstrakcyjnymi, uogólnieniami, opisują reguły tworzenia języka formalnego.
6 Analiza syntaktyczna Języki i gramatyki Analiza syntaktyczna Semantyka Celem analizy syntaktycznej jest badanie poprawności składni pojedynczych zdań programu i całego programu. Wyróżnia się tu poziom: lokalny, np. sprawdzenie czy napis jest instrukcją, globalny, np. sprawdzenie czy obiekty w instrukcjach są odpowiednio zadeklarowane. Dla sprawdzenia poprawności używa się gramatyk formalnych.
7 Semantyka - teoria znaczenia Języki i gramatyki Analiza syntaktyczna Semantyka Język jest nieskończonym zbiorem zdań generowanych za pomocą skończonej liczby słów i reguł [Noam Chomsky - twórca linwistyki formalnej] Przykład bezsensownego, ale poprawnego gramatycznie zdania: Colorless green ideas sleep furiously Bezbarwne zielone idee wściekle śpią Wniosek: Składnia nie tworzy podstawowej struktury języka, słowa funkcjonują w odpowiednim kontekście semantycznym.
8 Semantyka - teoria znaczenia Języki i gramatyki Analiza syntaktyczna Semantyka Język jest nieskończonym zbiorem zdań generowanych za pomocą skończonej liczby słów i reguł [Noam Chomsky - twórca linwistyki formalnej] Przykład bezsensownego, ale poprawnego gramatycznie zdania: Colorless green ideas sleep furiously Bezbarwne zielone idee wściekle śpią Wniosek: Składnia nie tworzy podstawowej struktury języka, słowa funkcjonują w odpowiednim kontekście semantycznym.
9 Semantyka - teoria znaczenia Języki i gramatyki Analiza syntaktyczna Semantyka Język jest nieskończonym zbiorem zdań generowanych za pomocą skończonej liczby słów i reguł [Noam Chomsky - twórca linwistyki formalnej] Przykład bezsensownego, ale poprawnego gramatycznie zdania: Colorless green ideas sleep furiously Bezbarwne zielone idee wściekle śpią Wniosek: Składnia nie tworzy podstawowej struktury języka, słowa funkcjonują w odpowiednim kontekście semantycznym.
10 Podstawowe pojęcia Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Alfabet dowolny skończony zbiór symboli Słowo skończony ciąg symboli alfabetu Język zbiór wszystkich możliwych słów Gramatyka zbiór reguł pozwalających odróżnić słowa poprawne (należące do języka) od niepoprawnych Przykład: Alfabet - {a, b, c} Gramatyka Reguła 1: słowo b jest poprawne Reguła 2: jeżeli β jest poprawne to aβc jest też poprawne Słowo np. b, abc, aabcc (poprawne) lub a, ab, bacc (niepoprawne)
11 Podstawowe pojęcia Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Alfabet dowolny skończony zbiór symboli Słowo skończony ciąg symboli alfabetu Język zbiór wszystkich możliwych słów Gramatyka zbiór reguł pozwalających odróżnić słowa poprawne (należące do języka) od niepoprawnych Przykład: Alfabet - {a, b, c} Gramatyka Reguła 1: słowo b jest poprawne Reguła 2: jeżeli β jest poprawne to aβc jest też poprawne Słowo np. b, abc, aabcc (poprawne) lub a, ab, bacc (niepoprawne)
12 Gramatyki wg Chomsky ego Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki G = V, Σ, P, σ V - zbiór symboli terminalnych, podstawowych Σ - zbiór symboli pomocniczych (nieterminalnych, metasymboli) P - lista produkcji, zbiór reguł zbudowanych z symboli V oraz Σ σ - głowa języka (symbol startowy, aksjomat) Język generowany przez gramatykę G, czyli L(G) to zbiór wszystkich możliwych słów, które można utworzyć z alfabetu terminalnego, powstałych na bazie listy produkcji i wyprowadzonych z głowy języka. L(G) = {x : x Z σ P = x}
13 Gramatyki wg Chomsky ego Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki G = V, Σ, P, σ V - zbiór symboli terminalnych, podstawowych Σ - zbiór symboli pomocniczych (nieterminalnych, metasymboli) P - lista produkcji, zbiór reguł zbudowanych z symboli V oraz Σ σ - głowa języka (symbol startowy, aksjomat) Język generowany przez gramatykę G, czyli L(G) to zbiór wszystkich możliwych słów, które można utworzyć z alfabetu terminalnego, powstałych na bazie listy produkcji i wyprowadzonych z głowy języka. L(G) = {x : x Z σ P = x}
14 Notacja Backusa-Naura BNF Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki BNF (ang. Backus-Naur Form ) używana jest powszechnie do zapisu gramatyk języków programowania oraz fragmentów gramatyk języków naturalnych. Symbole pomocnicze zapisywane są jako <element Σ> Symbol ::= oznacza jest zdefiniowane jako Symbol reprezentuje alternatywne wersje produkcji dla tego samego symbolu Przykład reguły w notacji BNF: < s > ::= b a < s > c
15 Notacja Backusa-Naura BNF Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki BNF (ang. Backus-Naur Form ) używana jest powszechnie do zapisu gramatyk języków programowania oraz fragmentów gramatyk języków naturalnych. Symbole pomocnicze zapisywane są jako <element Σ> Symbol ::= oznacza jest zdefiniowane jako Symbol reprezentuje alternatywne wersje produkcji dla tego samego symbolu Przykład reguły w notacji BNF: < s > ::= b a < s > c
16 Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Gramatyka generująca naturalne liczby parzyste G = V, Σ, P, σ V = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
17 Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Gramatyka generująca naturalne liczby parzyste G = V, Σ, P, σ V = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} Σ = {< cbz > P = { < cbz >::=
18 Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Gramatyka generująca naturalne liczby parzyste G = V, Σ, P, σ V = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} Σ = {< cbz >,< c > P = { < cbz >::= < c >::= 0 < cbz >
19 Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Gramatyka generująca naturalne liczby parzyste G = V, Σ, P, σ V = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} Σ = {< cbz >,< c >, < nld > P = { < cbz >::= < c >::= 0 < cbz > < nld >::=< cbz > < nld >< c >
20 Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Gramatyka generująca naturalne liczby parzyste G = V, Σ, P, σ V = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} Σ = {< cbz >,< c >, < nld >, < cp > P = { < cbz >::= < c >::= 0 < cbz > < nld >::=< cbz > < nld >< c > < cp >::=
21 Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Gramatyka generująca naturalne liczby parzyste G = V, Σ, P, σ V = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} Σ = {< cbz >,< c >, < nld >, < cp >, < nlp >} P = { < cbz >::= < c >::= 0 < cbz > < nld >::=< cbz > < nld >< c > < cp >::= < nlp >::=< cp > < nld >< cp >}
22 Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Gramatyka generująca naturalne liczby parzyste G = V, Σ, P, σ V = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} Σ = {< cbz >,< c >, < nld >, < cp >, < nlp >} P = { < cbz >::= < c >::= 0 < cbz > < nld >::=< cbz > < nld >< c > < cp >::= < nlp >::=< cp > < nld >< cp >} σ =< nlp >
23 Stwierdzenie poprawności słowa Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Jak stwierdzić czy liczba 1240 jest poprawną naturalną liczbą parzystą?
24 Stwierdzenie poprawności słowa Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Jak stwierdzić czy liczba 1240 jest poprawną naturalną liczbą parzystą? Wywód poprawności: < nlp > < nld >< cp >
25 Stwierdzenie poprawności słowa Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Jak stwierdzić czy liczba 1240 jest poprawną naturalną liczbą parzystą? Wywód poprawności: < nlp > < nld >< cp > < nld > 0
26 Stwierdzenie poprawności słowa Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Jak stwierdzić czy liczba 1240 jest poprawną naturalną liczbą parzystą? Wywód poprawności: < nlp > < nld >< cp > < nld > 0 < nld >< c > 0
27 Stwierdzenie poprawności słowa Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Jak stwierdzić czy liczba 1240 jest poprawną naturalną liczbą parzystą? Wywód poprawności: < nlp > < nld >< cp > < nld > 0 < nld >< c > 0 < nld >< cbz > 0
28 Stwierdzenie poprawności słowa Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Jak stwierdzić czy liczba 1240 jest poprawną naturalną liczbą parzystą? Wywód poprawności: < nlp > < nld >< cp > < nld > 0 < nld >< c > 0 < nld >< cbz > 0 < nld > 40
29 Stwierdzenie poprawności słowa Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Jak stwierdzić czy liczba 1240 jest poprawną naturalną liczbą parzystą? Wywód poprawności: < nlp > < nld >< cp > < nld > 0 < nld >< c > 0 < nld >< cbz > 0 < nld > 40 < nld >< c > 40
30 Stwierdzenie poprawności słowa Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Jak stwierdzić czy liczba 1240 jest poprawną naturalną liczbą parzystą? Wywód poprawności: < nlp > < nld >< cp > < nld > 0 < nld >< c > 0 < nld >< cbz > 0 < nld > 40 < nld >< c > 40 < nld >< cbz > 40
31 Stwierdzenie poprawności słowa Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Jak stwierdzić czy liczba 1240 jest poprawną naturalną liczbą parzystą? Wywód poprawności: < nlp > < nld >< cp > < nld > 0 < nld >< c > 0 < nld >< cbz > 0 < nld > 40 < nld >< c > 40 < nld >< cbz > 40 < nld > 240
32 Stwierdzenie poprawności słowa Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Jak stwierdzić czy liczba 1240 jest poprawną naturalną liczbą parzystą? Wywód poprawności: < nlp > < nld >< cp > < nld > 0 < nld >< c > 0 < nld >< cbz > 0 < nld > 40 < nld >< c > 40 < nld >< cbz > 40 < nld > 240 < cbz > 240
33 Stwierdzenie poprawności słowa Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Jak stwierdzić czy liczba 1240 jest poprawną naturalną liczbą parzystą? Wywód poprawności: < nlp > < nld >< cp > < nld > 0 < nld >< c > 0 < nld >< cbz > 0 < nld > 40 < nld >< c > 40 < nld >< cbz > 40 < nld > 240 < cbz >
34 Stwierdzenie poprawności słowa Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki Jak stwierdzić czy liczba 1240 jest poprawną naturalną liczbą parzystą? Wywód poprawności: < nlp > < nld >< cp > < nld > 0 < nld >< c > 0 < nld >< cbz > 0 < nld > 40 < nld >< c > 40 < nld >< cbz > 40 < nld > 240 < cbz > Zatem 1240 L(G)
35 Drzewo wywodu Plan wykładu Podstawowe pojęcia Gramatyki wg Chomsky ego Notacja Backusa-Naura BNF Przykład gramatyki
36 Plan wykładu ONP Odwrotna Notacja Polska, czyli beznawiasowa algebra Łukasiewicza, to sposób zapisu wyrażeń algebraicznych. Nie wymaga nawiasów Nie wymaga pojęcia priorytetów operatorów Symbole argumentów poprzedzają symbol operacji Przykłady: ab + c (a + b) c abc + a (b + c)
37 Plan wykładu ONP Odwrotna Notacja Polska, czyli beznawiasowa algebra Łukasiewicza, to sposób zapisu wyrażeń algebraicznych. Nie wymaga nawiasów Nie wymaga pojęcia priorytetów operatorów Symbole argumentów poprzedzają symbol operacji Przykłady: ab + c (a + b) c abc + a (b + c)
38 G = V, Σ, P, σ V = {a, b, c, +, }
39 G = V, Σ, P, σ V = {a, b, c, +, } Σ = {< op > P = { < op >::= +
40 G = V, Σ, P, σ V = {a, b, c, +, } Σ = {< op >,< zm > P = { < op >::= + < zm >::= a b c
41 G = V, Σ, P, σ V = {a, b, c, +, } Σ = {< op >,< zm >, < wyr >} P = { < op >::= + < zm >::= a b c < wyr >::=< zm > < wyr >< wyr >< op >}
42 G = V, Σ, P, σ V = {a, b, c, +, } Σ = {< op >,< zm >, < wyr >} P = { < op >::= + < zm >::= a b c < wyr >::=< zm > < wyr >< wyr >< op >} σ =< wyr >
43 Przykład 1: * Stos:
44 Przykład 1: * Stos: 3
45 Przykład 1: * 4 Stos: 3
46 Przykład 1: * 4 Stos: 3 +
47 Przykład 1: * Stos: 7
48 Przykład 1: * 5 Stos: 7
49 Przykład 1: * 5 Stos: 7
50 Przykład 1: * Stos: 2
51 Przykład 1: * 2 Stos: 2
52 Przykład 1: * 2 Stos: 2 *
53 Przykład 1: * Stos: 4 ((3 + 4) 5) 2
54 Przykład 2: * Stos:
55 Przykład 2: * Stos: 3
56 Przykład 2: * 4 Stos: 3
57 Przykład 2: * 5 4 Stos: 3
58 Przykład 2: * Stos: 3
59 Przykład 2: * Stos: 3 +
60 Przykład 2: * 7 4 Stos: 3
61 Przykład 2: * 7 4 Stos: 3
62 Przykład 2: * -3 Stos: 3
63 Przykład 2: * * -3 Stos: 3
64 Przykład 2: * Stos: -9 3 (4 (5 + 2))
65 Translacja Proces przechodzenia z tekstu w jednym języku (źródłowym) na semantycznie mu równoważny tekst w innym języku (wynikowym), przy czym oba języki muszą opisywać tę samą dziedzinę lub dziedzina języka wynikowego musi w sobie zawierać dziedzinę języka źródłowego. W notacji nawiasowej potrzebna jest informacja o priorytetach wykonywania działań. operator priorytet ˆ 1 / 2 + 3
66 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Wyjście: Stos:
67 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Wyjście: Stos: (
68 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Wyjście: ( Stos: (
69 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Wyjście: a ( Stos: (
70 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Wyjście: a + ( Stos: (
71 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Wyjście: ab + ( Stos: (
72 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Stos: ( Wyjście: ab +
73 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Stos: ( Wyjście: ab +
74 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Stos: ( Wyjście: ab + c
75 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Stos: ( Wyjście: ab + c
76 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Stos: ( Wyjście: ab + cd
77 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Stos: Wyjście: ab + cd
78 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Stos: ˆ Wyjście: ab + cd
79 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Stos: ˆ Wyjście: ab + cd e
80 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Stos: / Wyjście: ab + cd eˆ
81 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) ( Stos: / Wyjście: ab + cd eˆ
82 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) ( Stos: / Wyjście: ab + cd eˆx
83 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) + ( Stos: / Wyjście: ab + cd eˆx
84 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) + ( Stos: / Wyjście: ab + cd eˆx y
85 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Stos: / Wyjście: ab + cd eˆx y +
86 Algorytm translacji wyrażeń z notacji nawiasowej na ONP Przykład: ((a+b) c d)ˆe/(x+y) Stos: Wyjście: ab + cd eˆx y + /
Podstawy programowania
Podstawy programowania Elementy algorytmiki C w środowisku.e (C#) dr inŝ. Grzegorz Zych Copernicanum, pok. 104 lub 206a 1 Minimum programowe reści kształcenia: Pojęcie algorytmu. Podstawowe konstrukcje
Bardziej szczegółowo1. Podstawy budowania wyra e regularnych (Regex)
Dla wi kszo ci prostych gramatyk mo na w atwy sposób napisa wyra enie regularne które b dzie s u y o do sprawdzania poprawno ci zda z t gramatyk. Celem niniejszego laboratorium b dzie zapoznanie si z wyra
Bardziej szczegółowoElementy cyfrowe i układy logiczne
Elementy cyfrowe i układy logiczne Wykład Legenda Zezwolenie Dekoder, koder Demultiplekser, multiplekser 2 Operacja zezwolenia Przykład: zamodelować podsystem elektroniczny samochodu do sterowania urządzeniami:
Bardziej szczegółowo1. Maszyna Turinga, gramatyki formalne i ONP
1. Maszyna uringa, gramatyki formalne i OP 1.1.Maszyna uringa Automat skończony składa się ze skończonego zbioru stanów i zbioru przejść ze stanu do stanu, zachodzących przy różnych symbolach wejściowych
Bardziej szczegółowoWSTĘP DO PROGRAMOWANIA
Stefan Sokołowski WSTĘP DO PROGRAOWANIA Inst Informatyki UG, Gdańsk, 2011/2012 Wykład1ALGORYTAPROGRA,str1 WSTĘP DO PROGRAOWANIA reguły gry Zasadnicze informacje: http://infugedupl/ stefan/dydaktyka/wstepdoprog
Bardziej szczegółowoEGZAMIN MATURALNY Z INFORMATYKI
ARKUSZ ZAWIERA INFORMACJE PRAWNIE CHRONIONE DO MOMENTU ROZPOCZ CIA EGZAMINU! Miejsce na naklejk MIN-R1_1P-082 EGZAMIN MATURALNY Z INFORMATYKI MAJ ROK 2008 POZIOM ROZSZERZONY CZ I Czas pracy 90 minut Instrukcja
Bardziej szczegółowoJęzyki i gramatyki formalne
Języki i gramatyki formalne Języki naturalne i formalne Cechy języka naturalnego - duża swoboda konstruowania zdań (brak ścisłych reguł gramatycznych), duża ilość wyjątków. Języki formalne - ścisły i jednoznaczny
Bardziej szczegółowoJednotaśmowa, deterministyczna maszyna Turinga :
Maszyna Turinga podstawowy abstrakcyjny model obliczeń Pojęcia: Alfabet: skończony zbiór symboli słowo nad alfabetem: skończony ciąg symboli słowo puste (ciąg symboli długości 0) ozn. e Język: dowolny
Bardziej szczegółowoZASADY REPRODUKCJI SYMBOLI GRAFICZNYCH PRZEDMOWA
Poprzez połączenie symbolu graficznego Unii Europejskiej oraz części tekstowej oznaczającej jeden z jej programów operacyjnych powstaje symbol graficzny, który zgodnie z obowiązującymi dyrektywami ma być
Bardziej szczegółowoZastosowanie metod statystycznych do problemu ujednoznaczniania struktury zdania w języku polskim
Motywacja Zastosowanie metod statystycznych do problemu ujednoznaczniania struktury zdania w języku polskim Seminarium IPI PAN, 03.01.2011 Outline Motywacja 1 Motywacja Poziomy anotacji Równoważność dystrybucyjna
Bardziej szczegółowoTemat: Funkcje. Własności ogólne. 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: Funkcje. Własności ogólne 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 Kody kolorów: pojęcie zwraca uwagę * materiał nieobowiązkowy A n n a R a
Bardziej szczegółowoTworzenie modelu obiektowego
Metody strukturalne tworzenia oprogramowania, opierają się na wyróżnianiu w tworzonym oprogramowaniu dwóch rodzajów składowych: pasywnych odzwierciedlających fakt przechowywania w systemie pewnych danych
Bardziej szczegółowoWYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA
Program wykładu na studiach dziennych: 1. Wprowadzenie do algorytmiki 2. Struktura algorytmu 3. Struktury danych 4. Język programowania 5. Metody algorytmiczne 6. Poprawność algorytmów 7. Złożoność algorytmów
Bardziej szczegółowoCzy komputery potrafią mówić? Innowacyjne aplikacje wykorzystujące przetwarzanie dźwięku i mowy. Plan prezentacji.
Czy komputery potrafią mówić? Innowacyjne aplikacje wykorzystujące przetwarzanie dźwięku i mowy Wydział Informatyki PB, Katedra Mediów Cyfrowych i Grafiki Komputerowej dr inż. Paweł Tadejko, p.tadejko@pb.edu.pl
Bardziej szczegółowoINFORMATYKA dla gimnazjum Opis założonych osiągnięć ucznia klasy trzeciej
INFORMATYKA dla gimnazjum Opis założonych osiągnięć ucznia klasy trzeciej W ROKU SZKOLNYM 2015/2016 1. Podstawa prawna do opracowania Przedmiotowego Systemu Oceniania. a) Rozporządzenie Ministra Edukacji
Bardziej szczegółowoPERSON Kraków 2002.11.27
PERSON Kraków 2002.11.27 SPIS TREŚCI 1 INSTALACJA...2 2 PRACA Z PROGRAMEM...3 3. ZAKOŃCZENIE PRACY...4 1 1 Instalacja Aplikacja Person pracuje w połączeniu z czytnikiem personalizacyjnym Mifare firmy ASEC
Bardziej szczegółowoPrzedmiotowe zasady oceniania. zgodne z Wewnątrzszkolnymi Zasadami Oceniania. obowiązującymi w XLIV Liceum Ogólnokształcącym.
Przedmiotowe zasady oceniania zgodne z Wewnątrzszkolnymi Zasadami Oceniania obowiązującymi w XLIV Liceum Ogólnokształcącym. Przedmiot: biologia Nauczyciel przedmiotu: Anna Jasztal, Anna Woch 1. Formy sprawdzania
Bardziej szczegółowoREJESTRACJA NA LEKTORATY Z JĘZYKÓW OBCYCH
REJESTRACJA NA LEKTORATY Z JĘZYKÓW OBCYCH Rejestracja na lektoraty jest dwuetapowa i odbywa się w dwóch różnych serwisach internetowych UW, które muszą dokonać migracji danych. Należy poczekać po pierwszym
Bardziej szczegółowoPodstawy matematyki a mechanika kwantowa
Podstawy matematyki a mechanika kwantowa Paweł Klimasara Uniwersytet Śląski 9 maja 2015 Paweł Klimasara (Uniwersytet Śląski) Podstawy matematyki a mechanika kwantowa 9 maja 2015 1 / 12 PLAN PREZENTACJI
Bardziej szczegółowoElektronika i techniki mikroprocesorowe
Elektronika i techniki mikroprocesorowe Technika cyfrowa Podstawowy techniki cyfrowej Katedra Energoelektroniki, Napędu Elektrycznego i Robotyki Wydział Elektryczny, ul. Krzywoustego 2 trochę historii
Bardziej szczegółowoznaczeniu określa się zwykle graficzne kształtowanie tekstu za pomocą dostęp-
Właściwe relacje między literami Tytularia i elementy rozpoczynające Typografia znaczenia: pierwsze technika druku wypukłego, drugie dawna, historyczna nazwa drukarni, zwanej też oficyną. Trzecie w węższym
Bardziej szczegółowoRozdział 6. Pakowanie plecaka. 6.1 Postawienie problemu
Rozdział 6 Pakowanie plecaka 6.1 Postawienie problemu Jak zauważyliśmy, szyfry oparte na rachunku macierzowym nie są przerażająco trudne do złamania. Zdecydowanie trudniejszy jest kryptosystem oparty na
Bardziej szczegółowoElementy logiki i teorii mnogości. Kazimierz Trzęsicki
Elementy logiki i teorii mnogości Kazimierz Trzęsicki 2006 4 Wyd. II poprawione i zmienione. Wersja elektroniczna. Spis treści 1 Logika zdań 11 1.1 Pojęcie logiki........................... 11 1.2 Język
Bardziej szczegółowo'()(*+,-./01(23/*4*567/8/23/*98:)2(!."/+)012+3$%-4#"4"$5012#-4#"4-6017%*,4.!"#$!"#%&"!!!"#$%&"#'()%*+,-+
'()(*+,-./01(23/*4*567/8/23/*98:)2(!."/+)012+3$%-4#"4"$5012#-4#"4-6017%*,4.!"#$!"#%&"!!!"#$%&"#'()%*+,-+ Ucze interpretuje i tworzy teksty o charakterze matematycznym, u ywa j zyka matematycznego do opisu
Bardziej szczegółowoKonspekt lekcji otwartej
Konspekt lekcji otwartej Przedmiot: Temat lekcji: informatyka Modelowanie i symulacja komputerowa prawidłowości w świecie liczb losowych Klasa: 2 g Data zajęć: 21.12.2004. Nauczyciel: Roman Wyrwas Czas
Bardziej szczegółowoKurs z matematyki - zadania
Kurs z matematyki - zadania Miara łukowa kąta Zadanie Miary kątów wyrażone w stopniach zapisać w radianach: a) 0, b) 80, c) 90, d), e) 0, f) 0, g) 0, h), i) 0, j) 70, k), l) 80, m) 080, n), o) 0 Zadanie
Bardziej szczegółowoWYDZIAŁ MATEMATYCZNO PRZYRODNICZY. SZKOŁA NAUK
WYDZIAŁ MAEMAYCZNO PRZYRODNICZY. SZKOŁA NAUK 1. Dokumentacja dotycząca opisu efektów dla programu. Studia podyplomowe z informatyki i technologii informacyjnych dla nauczycieli Nazwa kierunku studiów i
Bardziej szczegółowoJuwenilia logiczne Romana Suszki
Juwenilia logiczne Romana Suszki Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 12 maja 2009 Jerzy Pogonowski (MEG) Juwenilia logiczne Romana Suszki 12 maja 2009 1
Bardziej szczegółowoProgram szkoleniowy Efektywni50+ Moduł III Standardy wymiany danych
Program szkoleniowy Efektywni50+ Moduł III 1 Wprowadzenie do zagadnienia wymiany dokumentów. Lekcja rozpoczynająca moduł poświęcony standardom wymiany danych. Wprowadzenie do zagadnień wymiany danych w
Bardziej szczegółowoPodstawowe działania w rachunku macierzowym
Podstawowe działania w rachunku macierzowym Marcin Detka Katedra Informatyki Stosowanej Kielce, Wrzesień 2004 1 MACIERZE 1 1 Macierze Macierz prostokątną A o wymiarach m n (m wierszy w n kolumnach) definiujemy:
Bardziej szczegółowoInstrukcja obsługi panelu operacyjnego XV100 w SZR-MAX-1SX
Instrukcja obsługi panelu operacyjnego XV100 w SZR-MAX-1SX 1. Pierwsze uruchomienie... 3 2. Ekran podstawowy widok diagramu... 4 3. Menu... 5 - Historia... 5 - Ustawienia... 6 - Ustawienia / Nastawa czasów...
Bardziej szczegółowo1 Jeżeli od momentu złożenia w ARR, odpisu z KRS lub zaświadczenia o wpisie do ewidencji działalności
Załącznik nr 2 Zasady przyznawania autoryzacji dla zakładów produkcyjnych (przetwórczych) i zakładów konfekcjonujących oraz autoryzacji receptury produktów pośrednich 1. Autoryzację w ramach niniejszego
Bardziej szczegółowoOFERTA WYKŁADÓW, WARSZTATÓW I LABORATORIÓW DLA UCZNIÓW KLAS IV- VI SZKÓŁ PODSTAWOWYCH, GIMNAZJALNYCH I ŚREDNICH
OFERTA WYKŁADÓW, WARSZTATÓW I LABORATORIÓW DLA UCZNIÓW KLAS IV- VI SZKÓŁ PODSTAWOWYCH, GIMNAZJALNYCH I ŚREDNICH Strona 1 z 9 SPIS ZAJĘĆ WRAZ Z NAZWISKAMI WYKŁADOWCÓW dr hab. Mieczysław Kula Poznaj swój
Bardziej szczegółowoTEORIA GIER W EKONOMII WYKŁAD 1: GRY W POSTACI EKSTENSYWNEJ I NORMALNEJ
TEORIA GIER W EKONOMII WYKŁAD : GRY W POSTACI EKSTENSYWNEJ I NORMALNEJ dr Robert Kowalczyk Katedra Analizy Nieliniowej Wydział Matematyki i Informatyki UŁ Schemat gry. Początek gry. 2. Ciąg kolejnych posunięć
Bardziej szczegółowoWprowadzenie do programowania języki i gramatyki formalne. dr hab. inż. Mikołaj Morzy
Wprowadzenie do programowania języki i gramatyki formalne dr hab. inż. Mikołaj Morzy plan wykładu wprowadzenie gramatyki podstawowe definicje produkcje i drzewa wywodu niejednoznaczność gramatyk hierarchia
Bardziej szczegółowoKlasa I szkoły ponadgimnazjalnej język polski
Klasa I szkoły ponadgimnazjalnej język polski 1. Informacje ogólne Badanie osiągnięć uczniów I klas odbyło się 16 września 2009 r. Wyniki badań nadesłało 12 szkół. Analizie poddano wyniki 990 uczniów z
Bardziej szczegółowoSylabus: Wydział / Kierunek / Specjalność WYDZIAŁ NAUK o ZDROWIU/ZDROWIE PUBLICZNE. Liczba godzin dydaktycznych
Sylabus: Wydział / Kierunek / Specjalność WYDZIAŁ NAUK o ZDROWIU/ZDROWIE PUBLICZNE INFORMACJE OGÓLNE Studia (odpowiednie podkreślić) I stopnia - stacjonarne I stopnia - niestacjonarne I stopnia - pomostowe:
Bardziej szczegółowoBudowa systemów komputerowych
Budowa systemów komputerowych dr hab. inż. Krzysztof Patan, prof. PWSZ Instytut Politechniczny Państwowa Wyższa Szkoła Zawodowa w Głogowie k.patan@issi.uz.zgora.pl Współczesny system komputerowy System
Bardziej szczegółowoSpis treści. WD_New_000_TYT.indd 13 17-01-12 17:06:07
1 Wprowadzenie.................................. 1 2 Kierunki rozwoju procesów myślowych teorii naukowych, organizacji, zarządzania i problemów decyzyjnych..................... 7 2.1 Teorie naukowe a problemy
Bardziej szczegółowoLABORATORIUM STEROWANIE SILNIKA KROKOWEGO
Zachodniopomorski Uniwersytet Technologiczny WYDZIAŁ ELEKTRYCZNY Zakład Cybernetyki i Elektroniki LABORATORIUM TECHNIKA MIKROPROCESOROWA STEROWANIE SILNIKA KROKOWEGO Opracował: mgr inŝ. Andrzej Biedka
Bardziej szczegółowoASD - ćwiczenia III. Dowodzenie poprawności programów iteracyjnych. Nieformalnie o poprawności programów:
ASD - ćwiczenia III Dowodzenie poprawności programów iteracyjnych Nieformalnie o poprawności programów: poprawność częściowa jeżeli program zakończy działanie dla danych wejściowych spełniających założony
Bardziej szczegółowotel/fax 018 443 82 13 lub 018 443 74 19 NIP 7343246017 Regon 120493751
Zespół Placówek Kształcenia Zawodowego 33-300 Nowy Sącz ul. Zamenhoffa 1 tel/fax 018 443 82 13 lub 018 443 74 19 http://zpkz.nowysacz.pl e-mail biuro@ckp-ns.edu.pl NIP 7343246017 Regon 120493751 Wskazówki
Bardziej szczegółowoPROJEKT WSPÓŁFINANSOWANY ZE ŚRODKÓW UNII EUROPEJSKIEJ W RAMACH EUROPEJSKIEGO FUNDUSZU SPOŁECZNEGO OPIS PRZEDMIOTU
OPIS PRZEDMIOTU Nazwa przedmiotu Kod przedmiotu Przetwarzanie równoległe i rozproszone Wydział Wydział Matematyki, Fizyki i Techniki Instytut/Katedra Instytut Mechaniki i Informatyki Stosowanej Kierunek
Bardziej szczegółowoStrukturalne metodyki projektowania systemûw informatycznych
Strukturalne metodyki projektowania systemûw informatycznych Kalendarium 1976 ó Chen P. (Entity Relationship Model ñ ERD ) 1978 ó DeMarco T. 1979 ó Yourdon E., Constantine L. 1983 ó Jackson M. 1989 ñ Yourdon
Bardziej szczegółowoEGZAMIN MATURALNY Z INFORMATYKI CZERWIEC 2011 POZIOM ROZSZERZONY WYBRANE: CZĘŚĆ I. Czas pracy: 90 minut. Liczba punktów do uzyskania: 20
Centralna Komisja Egzaminacyjna Arkusz zawiera informacje prawnie chronione do momentu rozpoczęcia egzaminu. Układ graficzny CKE 2010 KOD WISUJE ZDAJĄCY ESEL Miejsce na naklejkę z kodem EGZAMIN MATURALNY
Bardziej szczegółowoPRZEDMIOTOWY SYSTEM OCENIANIA - JĘZYK ANGIELSKI CELE NAUCZANIA:
PRZEDMIOTOWY SYSTEM OCENIANIA - JĘZYK ANGIELSKI CELE NAUCZANIA: 1. Cele wychowawcze Nauczanie języka obcego jest częścią kształcenia ogólnego i powinno przyczynić się do wszechstronnego rozwoju osobowości
Bardziej szczegółowowstrzykiwanie "dodatkowych" nośników w przyłożonym polu elektrycznym => wzrost gęstości nośników (n)
UKŁADY STUDNI KWANTOWYCH I BARIER W POLU LEKTRYCZNYM transport podłużny efekt podpasm energia kinetyczna ruchu do złącz ~ h 2 k 2 /2m, na dnie podpasma k =0 => v =0 wstrzykiwanie "dodatkowych" nośników
Bardziej szczegółowoKurs wyrównawczy dla kandydatów i studentów UTP
Kurs wyrównawczy dla kandydatów i studentów UTP Część III Funkcja wymierna, potęgowa, logarytmiczna i wykładnicza Magdalena Alama-Bućko Ewa Fabińska Alfred Witkowski Grażyna Zachwieja Uniwersytet Technologiczno
Bardziej szczegółowoHarmonogramowanie projektów Zarządzanie czasem
Harmonogramowanie projektów Zarządzanie czasem Zarządzanie czasem TOMASZ ŁUKASZEWSKI INSTYTUT INFORMATYKI W ZARZĄDZANIU Zarządzanie czasem w projekcie /49 Czas w zarządzaniu projektami 1. Pojęcie zarządzania
Bardziej szczegółowoWyrok z dnia 3 lutego 2000 r. III RN 192/99
Wyrok z dnia 3 lutego 2000 r. III RN 192/99 Od podstawy obliczenia podatku dochodowego od osób fizycznych odlicza się kwoty wypłacone przez podatnika z tytułu umowy renty ustanowionej bez wynagrodzenia
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ółowoProcedura nadawania uprawnień do potwierdzania, przedłuŝania waŝności i uniewaŝniania profili zaufanych epuap. Załącznik nr 1
Załącznik nr 1 do zarządzenia Nr 204/2014 Burmistrza Miasta Kudowa-Zdrój z dnia 5 sierpnia 2014 r. Procedura nadawania uprawnień do potwierdzania, przedłuŝania waŝności i uniewaŝniania profili zaufanych
Bardziej szczegółowoPRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA ANGIELSKIEGO
PRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA ANGIELSKIEGO 1. Na początku roku szkolnego nauczyciel zapoznaje uczniów z przedmiotowym systemem oceniania. 2. Każdy uczeń jest oceniany sprawiedliwie. 3. Kontrola
Bardziej szczegółowo2.Prawo zachowania masy
2.Prawo zachowania masy Zdefiniujmy najpierw pewne podstawowe pojęcia: Układ - obszar przestrzeni o określonych granicach Ośrodek ciągły - obszar przestrzeni którego rozmiary charakterystyczne są wystarczająco
Bardziej szczegółowoPAKIET MathCad - Część III
Opracowanie: Anna Kluźniak / Jadwiga Matla Ćw3.mcd 1/12 Katedra Informatyki Stosowanej - Studium Podstaw Informatyki PAKIET MathCad - Część III RÓWNANIA I UKŁADY RÓWNAŃ 1. Równania z jedną niewiadomą MathCad
Bardziej szczegółowoKLAUZULE ARBITRAŻOWE
KLAUZULE ARBITRAŻOWE KLAUZULE arbitrażowe ICC Zalecane jest, aby strony chcące w swych kontraktach zawrzeć odniesienie do arbitrażu ICC, skorzystały ze standardowych klauzul, wskazanych poniżej. Standardowa
Bardziej szczegółowoKomentarz technik ochrony fizycznej osób i mienia 515[01]-01 Czerwiec 2009
Strona 1 z 19 Strona 2 z 19 Strona 3 z 19 Strona 4 z 19 Strona 5 z 19 Strona 6 z 19 Strona 7 z 19 W pracy egzaminacyjnej oceniane były elementy: I. Tytuł pracy egzaminacyjnej II. Założenia do projektu
Bardziej szczegółowoProcesy rozwiązywania problemów. Diagnozowanie problemu: metody graficzne (1).
45 min Inwentyka Procesy innowacyjne dr hab. inż. M. Sikorski 1 Procesy rozwiązywania problemów. Diagnozowanie problemu: metody graficzne (1). Data wykładu:............. Razem slajdów: 14 Inwentyka procesy
Bardziej szczegółowoKURS GEOMETRIA ANALITYCZNA
KURS GEOMETRIA ANALITYCZNA Lekcja 1 Działania na wektorach bez układu współrzędnych. ZADANIE DOMOWE www.etrapez.pl Strona 1 Część 1: TEST Zaznacz poprawną odpowiedź (tylko jedna jest prawdziwa). Pytanie
Bardziej szczegółowoWprowadzenie do fleksji
Uniwersytet Kardynała Stefana Wyszyńskiego 1 Przedmiot i zakres fleksji 2 3 Słowotwórstwo a fleksja FLEKSJA (kategorialna i regularna) SŁOWOWÓRSTWO (niekategorialne i nieregularne) Problemy fleksji Przedmiot
Bardziej szczegółowoCHIŃSZCZYZNA PO POLSKU
Adina Zemanek CHIŃSZCZYZNA PO POLSKU PRAKTYCZNA GRAMATYKA JĘZYKA CHIŃSKIEGO Tom 2 Chińszczyzna po polsku. Praktyczna gramatyka języka chińskiego Projekt okładki: Elżbieta Kidacka Redaktor prowadzący: Jolanta
Bardziej szczegółowoGRAMATYKI BEZKONTEKSTOWE
GRAMATYKI BEZKONTEKSTOWE PODSTAWOWE POJĘCIE GRAMATYK Przez gramatykę rozumie się pewien układ reguł zadający zbiór słów utworzonych z symboli języka. Słowa te mogą być i interpretowane jako obiekty językowe
Bardziej szczegółowoDFD Diagram przepływu danych (Data Flow Diagram) dr Tomasz Ordysiński
DFD Diagram przepływu danych (Data Flow Diagram) dr Tomasz Ordysiński DFD - definicja Jedną z metod wykorzystywanych na etapie analizy i projektowania służących do modelowania funkcji systemu jest Diagram
Bardziej szczegółowoWartości domyślne, szablony funkcji i klas
Bogdan Kreczmer bogdan.kreczmer@pwr.wroc.pl Zakład Podstaw Cybernetyki i Robotyki Instytut Informatyki, Automatyki i Robotyki Politechnika Wrocławska Kurs: Copyright c 2012 Bogdan Kreczmer Niniejszy dokument
Bardziej szczegółowoKOMISJA WSPÓLNOT EUROPEJSKICH. Wniosek DECYZJA RADY
KOMISJA WSPÓLNOT EUROPEJSKICH Bruksela, dnia 13.12.2006 KOM(2006) 796 wersja ostateczna Wniosek DECYZJA RADY w sprawie przedłużenia okresu stosowania decyzji 2000/91/WE upoważniającej Królestwo Danii i
Bardziej szczegółowoKATEDRA INFORMATYKI STOSOWANEJ PŁ ANALIZA I PROJEKTOWANIE SYSTEMÓW INFORMATYCZNYCH
KATEDRA INFORMATYKI STOSOWANEJ PŁ ANALIZA I PROJEKTOWANIE SYSTEMÓW INFORMATYCZNYCH Przygotował: mgr inż. Radosław Adamus 1 1 Na podstawie: Subieta K., Język UML, V Konferencja PLOUG, Zakopane, 1999. Wprowadzenie
Bardziej szczegółowoJĘZYK ROSYJSKI POZIOM ROZSZERZONY
EGZAMIN MATURALNY W ROKU SZKOLNYM 2013/2014 JĘZYK ROSYJSKI POZIOM ROZSZERZONY ROZWIĄZANIA ZAAŃ I SCHEMAT PUNKTOWANIA MAJ 2014 ZAANIA OTWARTE Zadanie 1. Przetwarzanie tekstu (0,5 pkt) 1.1. туристов 1.2.
Bardziej szczegółowoJAO - Wprowadzenie do Gramatyk bezkontekstowych
JAO - Wprowadzenie do Gramatyk bezkontekstowych Definicja gramatyki bezkontekstowej Podstawowymi narzędziami abstrakcyjnymi do opisu języków formalnych są gramatyki i automaty. Gramatyka bezkontekstowa
Bardziej szczegółowoWskazówki dotyczące przygotowania danych do wydruku suplementu
Wskazówki dotyczące przygotowania danych do wydruku suplementu Dotyczy studentów, którzy rozpoczęli studia nie wcześniej niż w 2011 roku. Wydruk dyplomu i suplementu jest możliwy dopiero po nadaniu numeru
Bardziej szczegółowoUrządzenie do odprowadzania spalin
Urządzenie do odprowadzania spalin Nr. Art. 158930 INSTRUKCJA OBSŁUGI Informacje wstępne: Po otrzymaniu urządzenia należy sprawdzić czy opakowanie jest w stanie nienaruszonym. Jeśli po dostarczeniu produktu
Bardziej szczegółowoZarządzanie projektami. wykład 1 dr inż. Agata Klaus-Rosińska
Zarządzanie projektami wykład 1 dr inż. Agata Klaus-Rosińska 1 DEFINICJA PROJEKTU Zbiór działań podejmowanych dla zrealizowania określonego celu i uzyskania konkretnego, wymiernego rezultatu produkt projektu
Bardziej szczegółowoPlan wykładu. Kompilatory. Literatura. Translatory. Literatura Translatory. Paweł J. Matuszyk
Plan wykładu (1) Paweł J. Matuszyk AGH Kraków 1 2 tor leksykalny tor syntaktyczny Generator pośredniego Generator wynikowego Hopcroft J. E., Ullman J. D., Wprowadzenie do teorii automatów, języków i obliczeń,
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ółowoGramatyka i słownictwo
WYMAGANIA PROGRAMOWE Z JĘZYKA ANGIELSKIEGO KL. 4 a/b SP4 Gramatyka i słownictwo uczeń potrafi poprawnie operować niedużą ilością struktur prostych (czasownik to be - w formie pełnej i skróconej, zaimki
Bardziej szczegółowoWiedza niepewna i wnioskowanie (c.d.)
Wiedza niepewna i wnioskowanie (c.d.) Dariusz Banasiak Katedra Informatyki Technicznej Wydział Elektroniki Wnioskowanie przybliżone Wnioskowanie w logice tradycyjnej (dwuwartościowej) polega na stwierdzeniu
Bardziej szczegółowoOPIS PRZEDMIOTU. Podstawy edukacji matematycznej. Wydzia Pedagogiki i Psychologii
OPIS PRZEDMIOTU Nazwa przedmiotu Kod przedmiotu Wydzia Wydzia Pedagogiki i Psychologii Instytut/Katedra INSTYTUT PEDAGOGIKI, Zak ad Pedagogiki Wczesnoszkolnej i Edukacji Plastycznej Kierunek pedagogika,
Bardziej szczegółowoSpis treści 1. Wstęp 2. Projektowanie systemów informatycznych
Spis treści 1. Wstęp... 9 1.1. Inżynieria oprogramowania jako proces... 10 1.1.1. Algorytm... 11 1.2. Programowanie w językach wysokiego poziomu... 11 1.3. Obiektowe podejście do programowania... 12 1.3.1.
Bardziej szczegółowoSEMINARIUM DYPLOMOWE. Budownictwo semestr VIII
WYŻSZA SZKOŁA EKOLOGII I ZARZĄDZANIA Wydział Architektury 02-061 Warszawa, ul. Wawelska 14 SEMINARIUM DYPLOMOWE Budownictwo semestr VIII CZĘŚĆ II Warszawa 2010 r. Uwagi ogólne Pracadyplomowajest widocznymi
Bardziej szczegółowoPRZEDMIOTOWY SYSTEM OCENIANIA. z Matematyki. Krysztof Jerzy
PRZEDMIOTOWY SYSTEM OCENIANIA z Matematyki Krysztof Jerzy 1 Matematyka jest jednym z głównych przedmiotów nauczania w szkole, między innymi, dlatego, że służy stymulowaniu rozwoju intelektualnego uczniów.
Bardziej szczegółowoSPRAWDZIAN W KLASIE SZÓSTEJ SZKOŁY PODSTAWOWEJ OD ROKU SZKOLNEGO 2014/2015
Centralna Komisja Egzaminacyjna ul. J. Lewartowskiego 6, 00-190 Warszawa www.cke.edu.pl sekret.cke@cke.edu.pl SPRAWDZIAN W KLASIE SZÓSTEJ SZKOŁY PODSTAWOWEJ OD ROKU SZKOLNEGO 2014/2015 Cześć! W kwietniu
Bardziej szczegółowoProcedura nadawania uprawnień do potwierdzania Profili Zaufanych w Urzędzie Gminy w Ryjewie
WÓJT GMINY RYJEWO Załącznik Nr 2 do Zarządzenia Nr 13/15 Wójta Gminy Ryjewo z dnia 20 lutego 2015 roku w sprawie zmiany treści zarządzenia Nr 45/14 Wójta Gminy Ryjewo z dnia 30 czerwca 2014 roku w sprawie
Bardziej szczegółowoInstalacja. Zawartość. Wyszukiwarka. Instalacja... 1. Konfiguracja... 2. Uruchomienie i praca z raportem... 4. Metody wyszukiwania...
Zawartość Instalacja... 1 Konfiguracja... 2 Uruchomienie i praca z raportem... 4 Metody wyszukiwania... 6 Prezentacja wyników... 7 Wycenianie... 9 Wstęp Narzędzie ściśle współpracujące z raportem: Moduł
Bardziej szczegółowoPodstawowe pojęcia: Populacja. Populacja skończona zawiera skończoną liczbę jednostek statystycznych
Podstawowe pojęcia: Badanie statystyczne - zespół czynności zmierzających do uzyskania za pomocą metod statystycznych informacji charakteryzujących interesującą nas zbiorowość (populację generalną) Populacja
Bardziej szczegółowo8. Konfiguracji translacji adresów (NAT)
8. Konfiguracji translacji adresów (NAT) Translacja adresów nazywana również maskaradą IP jest mechanizmem tłumaczenia adresów prywatnych sieci lokalnej na adresy publiczne otrzymane od operatora. Rozróżnia
Bardziej szczegółowoEfektywna analiza składniowa GBK
TEORETYCZNE PODSTAWY INFORMATYKI Efektywna analiza składniowa GBK Rozbiór zdań i struktur zdaniowych jest w wielu przypadkach procesem bardzo skomplikowanym. Jego złożoność zależy od rodzaju reguł produkcji
Bardziej szczegółowoSurowiec Zużycie surowca Zapas A B C D S 1 0,5 0,4 0,4 0,2 2000 S 2 0,4 0,2 0 0,5 2800 Ceny 10 14 8 11 x
Przykład: Przedsiębiorstwo może produkować cztery wyroby A, B, C, i D. Ograniczeniami są zasoby dwóch surowców S 1 oraz S 2. Zużycie surowca na jednostkę produkcji każdego z wyrobów (w kg), zapas surowca
Bardziej szczegółowoWrocław, dnia 31 lipca 2014 r. Nasz znak: IZ/3840/43/2014 INFORMACJA NR 1
Wrocław, dnia 31 lipca 2014 r. Nasz znak: IZ/3840/43/2014 INFORMACJA NR 1 Dot. : przetargu nieograniczonego na zadanie p.n.: Dostawa i montaŝ kontenerowego zaplecza dla obsługi jazu, wraz z robotami związanymi
Bardziej szczegółowoZadanie 1. Liczba szkód w każdym z trzech kolejnych lat dla pewnego ubezpieczonego ma rozkład równomierny:
Matematyka ubezpieczeń majątkowych 5.2.2008 r. Zadanie. Liczba szkód w każdym z trzech kolejnych lat dla pewnego ubezpieczonego ma rozkład równomierny: Pr ( N = k) = 0 dla k = 0,, K, 9. Liczby szkód w
Bardziej szczegółowoPlan wykładu. Rozmyte zapytania do Baz Danych. Wstęp. Wstęp informacja rozmyta. Logika rozmyta w Bazach Danych nieprecyzyjne wartości atrybutów
Rozmyte zapytania do Baz Danych Krzysztof Dembczyński Instytut Informatyki Krzysztof.Dembczynski@cs.put.poznan.pl Plan wykładu Wstęp Logika rozmyta w Bazach Danych Rozmyty Relacyjny Model Danych (RRMD)
Bardziej szczegółowo1. Rozwiązać układ równań { x 2 = 2y 1
Dzień Dziecka z Matematyką Tomasz Szymczyk Piotrków Trybunalski, 4 czerwca 013 r. Układy równań szkice rozwiązań 1. Rozwiązać układ równań { x = y 1 y = x 1. Wyznaczając z pierwszego równania zmienną y,
Bardziej szczegółowoAnaliza wyników egzaminu gimnazjalnego przeprowadzonego w roku szkolnym 2011/2012 w części z języka francuskiego
Analiza wyników egzaminu gimnazjalnego przeprowadzonego w roku szkolnym 2011/2012 w części z języka francuskiego Egzamin gimnazjalny z języka francuskiego miał formę pisemną i został przeprowadzony 26
Bardziej szczegółowoGramatyki regularne i automaty skoczone
Gramatyki regularne i automaty skoczone Alfabet, jzyk, gramatyka - podstawowe pojcia Co to jest gramatyka regularna, co to jest automat skoczony? Gramatyka regularna Gramatyka bezkontekstowa Translacja
Bardziej szczegółowoAutomatyczne przetwarzanie recenzji konsumenckich dla oceny użyteczności produktów i usług
Uniwersytet Ekonomiczny w Poznaniu Wydział Informatyki i Gospodarki Elektronicznej Katedra Informatyki Ekonomicznej Streszczenie rozprawy doktorskiej Automatyczne przetwarzanie recenzji konsumenckich dla
Bardziej szczegółowoInsERT GT Własne COM 1.0
InsERT GT Własne COM 1.0 Autor: Jarosław Kolasa, InsERT Wstęp... 2 Dołączanie zestawień własnych do systemu InsERT GT... 2 Sposób współpracy rozszerzeń z systemem InsERT GT... 2 Rozszerzenia standardowe
Bardziej szczegółowoPrzykładowe stawki kosztów podlegających refundacji w ramach działania Funkcjonowanie LGD
Przykładowe stawki kosztów podlegających refundacji w ramach działania Funkcjonowanie LGD Opracowane na podstawie wytycznych Ministerstwa Rolnictwa i Rozwoju Wsi dla ARiMR dotyczących Pomocy Technicznej
Bardziej szczegółowoANALOGOWE UKŁADY SCALONE
ANALOGOWE UKŁADY SCALONE Ćwiczenie to ma na celu zapoznanie z przedstawicielami najważniejszych typów analogowych układów scalonych. Będą to: wzmacniacz operacyjny µa 741, obecnie chyba najbardziej rozpowszechniony
Bardziej szczegółowoBIZNESU I JĘZYKÓW OBCYCH
POZNAŃSKA WYŻSZA SZKOŁA BIZNESU I JĘZYKÓW OBCYCH» Od studenta do menadżera»zarządzanie karierą międzynarodową»między starym a nowym - sztuka w świecie biznesu...www.pwsbijo.pl POZNAŃSKA WYŻSZA SZKOŁA BIZNESU
Bardziej szczegółowoKursy rozpoczynamy co kilka dni,
Kursy rozpoczynamy co kilka dni, Nauczymy Cię bezpiecznie nurkować, Zapeniamy sprzęt, materiały do nauki i dobrą atmosferę, Stawiamy na jakość, a nie na ilość, szkolimy w małych grupach. 1 / 6 JEŻELI CHCESZ:
Bardziej szczegółowoARKUSZ PRÓBNEJ MATURY Z OPERONEM MATEMATYKA
Miejsce na identyfikację szkoły ARKUSZ PRÓBNEJ MATURY Z OPERONEM MATEMATYKA POZIOM PODSTAWOWY LISTOPAD 014 Czas pracy: 170 minut Instrukcja dla zdającego 1. Sprawdź, czy arkusz egzaminacyjny zawiera 1
Bardziej szczegółowo