Html тілінде математикалық логика пәнінен электрондық оқулық құру

КІРІСПЕ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... .. 6

1 HTML ТІЛІ ТУРАЛЫ ТҮСІНІК ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 8
1.1 АЛҒАШҚЫ WEB . БЕТТІҢ МЫСАЛЫ ... ... ... ... ... ... ... ... ... ... ... ... 8
1.2 ТЕКСТТЕРДІ ФОРМАТТАУ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 12
1.3 ТАҚЫРЫПТАР МЕН АБЗАЦТАРДЫ ФОРМАТТАУ ЖӘНЕ ТІЗІМДЕР ... ... .. 14
1. 4 ГИПЕРСІЛТЕМЕЛЕР ТҮРЛЕРІ ЖӘНЕ ГРАФИКАНЫ ҚОЮ ТЕГІ ... ... . 16
1. 5 ФИЛЬМДЕР. ФОНДЫҚ МУЗЫКА ЖӘНЕ БЕТТЕРДІҢ ПАРАМЕТРЛЕРІН ТУРАЛАУ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 19
1. 6 ФРЕЙМДЕР ТУРАЛЫ ТҮСІНІК ЖӘНЕ ТАБЛИЦАЛАР ТҮРЛЕРІ ... ... ... 21

2 HTML ТІЛІНДЕ «МАТЕМАТИКАЛЫҚ ЛОГИКА» ПӘНІНЕН ЭЛЕКТРОНДЫҚ ОҚУЛЫҚ ҚҰРУ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... .. 26
2.1 ИНДЕКС БЕТ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 26
2. 2 ТЕСТ ТЕРЕЗЕСІ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... .. 29

3 ЭКОНОМИКАЛЫҚ БӨЛІМ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 32
3.1 ЖҮЙЕНІ ҚҰРУҒА ЖӘНЕ ЕНГІЗУГЕ КЕТКЕН ШЫҒЫН ЕСЕПТЕУЛЕРІ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 32
3. 2 ЭКОНОМИКАЛЫҚ СФЕРАСЫНЫҢ ЕСЕПТЕУЛЕРІ ... ... ... ... . 35
4 БИЗНЕС.ЖОСПАР БӨЛІМІ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 37

ҚОРЫТЫНДЫ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 43
ТҮЙІН ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 45
ҚОСЫМША ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... .. 47
ҚОЛДАНЫЛҒАН ӘДЕБИЕТТЕР ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 81
        
        МАЗМҰНЫ
Кіріспе
............................................................................
.................................. 6
1 HTML тілі туралы түсінік
................................................................. 8
1.1 Алғашқы Web – беттің мысалы
............................................... 8
1.2 ТЕКСТТЕРДІ ... ... ... МЕН ... ... ... ... 4 ГИПЕРСІЛТЕМЕЛЕР түрлері және ГРАФИКАНЫ
ҚОЮ ТЕГІ
............................................................................
............................. 16
1. 5 ФИЛЬМДЕР. ФОНДЫҚ МУЗЫКА және БЕТТЕРДІҢ ... ... 6 ... ... ... ... ... 21
2 Html тілінде «Математикалық логика» пәнінен электрондық оқулық
құру.............................................................. 26
2.1 индекс бет
............................................................................
................ 26
2. 2 ТЕст ... 29
3 ... ... ... ... ... және ... кеткен шығын есептеулері
............................................................................
.................... 32
3. 2 Экономикалық сферасының есептеулері ................. 35
4 ... ... ... 43
Түйін
............................................................................
.................................... 45
ҚОСЫМША
............................................................................
.......................... 47
ҚОЛДАНЫЛҒАН
ӘДЕБИЕТТЕР............................................................ 81
АННОТАЦИЯ
Қазіргі кезде қоғамдағы берілгендерді ... ... ... ... ... ... енгізу, сақтау
және шығару қажет ... ... ... ... ... ... Мұнда HTML тілінде «Математикалық логика» пәні бойынша
электрондық оқулық ... ... ... при обработке данных автоматизированной системы
используется ввод вывод и ... ... Цель ... ... электронный учебник”. Здесь выполняется создание электронного
учебника по ... ... в ... HTML.
annotation
In the given time at data processing of the automated system the input ... and storage of the data is used. The purpose of degree work " ... the ... textbook ". Creation of the electronic textbook on "
to Mathematical logic " in language HTML here is carried ... ... екі ... бір желіге жалғануы үшін олар бір – бірін
түсінуі қажет. Олар бір – бірімен бір тілде ... ... яғни бір ... ... ... сигналдармен алмасуы керек. Мұндай ... және ... ... ... форматы протокол деп
аталады. Протоколдар ... ... ... және ... ... ... ... параметрлері, қабылдап беретін
құрылғылар: желілік карталар, модемдер және т.б. ) және ... ... ... ... ... ... ... алгоритмдері ,
кедергіден қорғау және беріктікті қамтамасыз ету, ... ... ... желінің мінездері. Протоколдар төменгі дәрежелі және
жоғарғы дәрежелі болып бөлінеді. ... ... ...... ал ... ...... дәрежелі болып саналады.
Жоғарғы дәрежелі протоколдарың базасын төменгі ... ... IP – ... ... ... ... табылады. Ол бүкіл әлемдік
желінің электрлік параметрлерін ... және онда ... ... параметрлерін көрсетеді. IP – адрес информация пакет арқылы
беріліп жатқанын және ондағы ... ... ... мен ... ... бақылайды. IP протоколы өте жоғарғы дәрежелі ... Protocol – ... беру ... ... ... Ол кедергіден қорғаудың әдістерін анықтайды және мәліметтермен
бірге берілетін қосымша информацияны.
HTML – ... HTTP (Hyper Text Transfer Protocol – ... ... асыратын протокол) протоколын қолданып жібереді. ... ... ... ... Өте көп ... ... Бұл ... көмегімен Web – көрсеткіштер мен Web – ...... ... ... ... Web – көрсеткіштер
қолданушылардан документті алатын Web – сервердің адресін қабылдайды, ... ... HTTP – ... ... Web – ... ... ... тапсырманы іздейді және ол мәлімет ... сол ... ... ... ... жобамның тақырыбы «HTML тілінде “Математикалық ... ... ... ... ... Мен ол үшін ең ... HTML ортасы
туралы барлық мәліметті жинадым, содан соң оны ... ... ... ... электрондық оқулықтың лекциясын НТМL тіліне аударып, оны
да өңдедім. Содан соң барып мұны ... ... ... ... Ол үшін ... мен ... ... сонымен қатар
гиперсілтемелер құрдым. Бір – ... ... ... құрылды. Оның
әрқайсысының аты бар және сол ... ... ... ... ... , яғни ... ... тесттер деген пункттер бар.
Мысалы үшін лекция тақырыбы деген пунктінде лекция ... ... ... ... ... Және де тест ... пунктінде тест
бағдарламасының жұмыс істеу принципі ашып көрсетілген
1 HTML тілі ... ... ... Web – ... мысалы
Ең алдымен HTML – тілін үйрену үшін ... бар ... ... бар ... ... ... HTML – ... html
немесе htm деген кеңейтілулері болады. ... ... MS DOS – ... ... ... сәл ... оңайырақ келеді. Екі
кеңейтуді де қолдана ... ... ... HTML – документ адам
тіліндегідей тілде жазылады, бірақ түсініксіз сөздермен жазылады. Одан ... ... ... Web – бет




Алғашқы Web – беттің мысалы


Бұл Web – бет алғашқы құрған мысал болып табылады. Осылай кішкене ... ... ... де ... Бұл ... міндетті түрде html немесе htm
кеңейтулі файлда сақтау керек екенін ұмытпаңыз.



Сурет *. Web – документтің дайын ... ... * – да ... отырғанымыздай Web – беттің көп бөлігін ... ... ... ... ... ... ... отырғаны бұл “>” , “



«Мазмұн» ... HTML ... ... ... HTML ... ... ... барлық тұжырымдар ақыл
қорытындысы арқылы, яғни адамның ойлау
қабілеті
заңының жолдарын қолданып,  дәлелденетін ғылым ... ... ... ... оқу логика
пәні болып табылады.
Логика өз алдына ғылым болып грек
философы Аристотельдің  (384-322 ж.ж б.э.д) еңбегінде
нақтыланған. Ол өзіне ... ... ... осы жүйе кейін формальды немесе Аристотель
логикасы деп аталды.
Формальды логика еш өзгеріссіз 20
ғасырдай ... ... ... ... Аристотель
логикасының жетіспеушіліктерін көрсетті және оның
әрі қарай дамуын талап етті.
Математикалық негізде ... ... ... ... ... ... математигі
Г.Лейбниц (1646-1716) XVI ғ. аяғында
айтты. Ол логиканың негізгі ұғымдарын арнайы ... ... ... тиіс дейді. Бұл кез-келген
ойларды ... ... ... ... ... ... ...
Д. Буль (1815-
1864). Ол айтылымдар әріптермен белгіленген алгебраны
құрды жәнебұл айтылымдар ... ... ... ... ендіру, бұл
ғылымға маңызды болды. Дәл осы символдарды
логикаға ендіру жаңа математикалықлогика
ғылымының негізін қалады.
         Логикада
математиканы қолдану ... ... ... формада
кқруге мүмкіндік берді және есептеуіш аппараттарды
адамның ойлау қабілеті жетпейтін есептерді шешуде қолдану
логиканың зерттеу облысын кеңейтті.     XIXғ. аяғ ;ында математика ... ... ие ... ... яғни
оның негізгі 
ұғымдары мен идеялары бойынша.Бұл
мәселенің логикалық негізі болды жәнебұл
математикалық логиканың әрі қарай дамуына алып
келді. ... ... ... ... ... ... ... итальян математигі Д. Пеано (1858-
1932) еңбектерінде көрсетілген.
     Математикалық
ойлаудың ерекшеліктері математикалық абстракция және
олардың байланыстарының түрлілігінің
ерекшеліктеріментүсіндіріледі. Осыған орай ... ... ... ... ... себептерінің бірі
әртүрліматематикалық теорияларды құруда
аксиоматикалықә дістердің кең таралуы болып
табылады.
Математикалық
теорияны аксио матикық құруда алдын-ала кейбір белгісіз
жүйе
ұғымы және ... ... Осы ... мен қ ... деп аталады.Әрі қарай дәлелдеусіз теория
қарастыратын негізгі орынаксиома қолданылады. Барлық
алдағы теорияныңмазмұны аксиомадан логикалық
түрде шығарады Математикалық теорияда
аксиоматикалық құ ... ... ... ... ... ... алғашқыдаәлсіз
түсіндірілді. Эвклид мұнда негізгіұғымдарға
(нүкте, түзу, жазықтық)анықтама бергісі
келді. Теорияны дәлелдеуде еш ... ... ... ... ... XIX ғ. ... ... болды. Осы әдісті
өзгертуде   Н. И. Лобаче
вский(1792-1856) еңбектерінің маңызы зор
болды.       Лобачевский
алғашқы болып Евклидтің 5 постулатының
дәлелденбейтінін айтты ... осы ... ... ... ... ... ... математигі Ф.Клейн
(1849-1925) Лобачевский геометриясын дәлелдеді. Осылайша
математика тарихында ... ... ... ... теорияның ділелденбейтін мәселесі
көрсетілді.  
    
Қарсылықты емес аксиоматикалық теория осы
теорияның аксиома жүйесіне қойылатын негізгі
талаптардың бірі болып табылады.
     Қарсылықты емес
математикалық теорияны ... ... бар. ... бірі ... ... ... ұғым мен қатынас ретінде кейбір
жиынның элементтері
және олардың арасындағы қатынас таңдалады,
одан кейін тексеріледі.
Математикалық теория үшін
интерпретацияның ... жиын ... ... ... ... аяғында жиын теориясында кемшіліктер пайда болды (жиын
теориясының парадоксы). ... ... ... Б. ... ...  
Барлық ойланды жиынды екі класқа бөлеміз. Жиынды
“дұрыс”, деп ... егер ол ... ... ... және     
“дұрыс емес” кері жағдайда Мысалы, барлық кітаптар
жиыны дұрыс жиын, ал ойдағы заттаржиыны дұрыс емес жиын .
L ... ... ... ... болсын.Онда  L қай жиын класына
жатады?     ЕгерL –
“дұрыс” жиын болса, онда L Î ... ... жиын ... ... ... ... ... кіреді, сондықтан ол“дұрыс
емес”.
Егер L – “дұрыс емес” жиын ... Ï L, ... ... ... жоқ, бірақ  L өз элементі ретінде өзі
кірмейді, сондықтан ол 
“дұрыс”. Осылайша дұрыс жиын
ұғымындақарама-қайшылық
туындайды.     Теорияжиынында
қарама-қарсылықты жою ЦЕРМЕЛО-ныаксиоматикалық жиын
теориясын ... ... алып ... ... байланысты бұл теория осы заманғы жиын
теориясы құрылды.     Математиканынегіздеудің ... ... ... ... ... мектебінде дамытылды.Олар
математикалық теорияны құруды синтаксистік
теория  негізіне сүйене отырып
құрды.      Осылайша,
математикалық теорияның қарсылықты еместігін
дәлелдеу басқа ... ... ... ... оны
Гильберт математика немесе дәлелдеу теориясы деп атады.
     Осытұрғыда синтаксистік, яғни
фромальданған аксиоматикалық теорияны математикалық
логика негізінқұру мәселесі ... ... ... ... формуланы шығару шартынтаңдауда әртүрлі
синтаксистік логикалық теорияныаламыз. Олардың
әрқайсысын логика есептелімі деп
атаймыз.Бұл курста біз ... ... ... ... HTML ... мазмұны» терезесінің HTML коды


ТАРАУ1


1 ТАРАУ. ТҰЖЫРЫМДАР
АЛГЕБРАСЫ
1.1.
Тұжырым ұғымы
1.2.
Тұжырымдарға қолданылатын логикалық амалдар. ... ... ... ... ... ... тепе-тең ақиқат және тепе-тең жалған
формулалары
1.9. Негізгі тепе-
теңдіктер
1.10.
Формулаларды ... ... ... Нормал
және жетілдірілген формалар
1.13.
Формулаларды ақиқаттық мәндер кестесі бойынша қалпына келтіру
1.14. ... ... ... ... ... HTML ... ... ТҰЖЫРЫМДАР
АЛГЕБРАСЫ
1.1.
Тұжырым ұғымы



«Тест» терезесінің HTML коды


Test

function test1(obj)
{ var ... ... (var i=0; ... ... ӘДЕБИЕТТЕР
 
1.
   Ершов Ю.Л.,
ПалютинЕ.А., «Математическая логика». М., Наука,
1979.!supportLists]>2.
    Жетпісов Қ .
, ... Ж.А., ... ... ... И.А.,
Максимова Л.Л., «Задачи по  теории
множеств, математической статистике и теории алгоритмов». М., Наука, 1975.
!supportLists]>4.
    Лихтарников Л.М.,Сукачева Т.Г., «Математическая
логика». СПб.: «Лань», 1998.
... ... и ... ... М.: ... 1986.
6. ... «Введение в математическую логику», М., 1976.

   
 
... ... ... HTML коды:







«Математикалық логика » пәнінен электрондық
оқулық







   

  «Математикалық логика »
пәнінен электрондық оқулық Нұ
сқ а: МЛ-1.0
Дисктегі
өлшемі: 30,0 МБ ... ... ... ... 83 ... ... «HTML» ... оқытушы Сарсенова
Г.М(тел:8(3252)23-24-28) жетекшілігімен  
«Информатика»  
кафедрасының студенті    А.Т  
Кузембаевпен (тел:8(32547)63-3-52) жасалды.


ҚОЛДАНЫЛҒАН ӘДЕБИЕТТЕР
1. ... ... ... курс. «ПИТЕР».Санкт-
Петербург, 2000.
2. Дж. Вайскопф. Microsoft Front Page ... ... ... ... ... ... А ... Самоучитель Microsoft Front Page 2000. «ПИТЕР».
Санкт-Петербург, 2000.
4. А.Федорчук. «Как создаются WEB-сайты»:краткий курс. ... ... ... ... ... ... ... Жданов “Краткий курс Dream Weaver
3”
6. Александр Левин “Интернет-это очень просто”
7. WEB-дизайн:книга Якоба ... ... ... ... Под ... ... В.Б “Создание Web-страниц”
9. Под редакцией Ю.М.Алексеева “Быстро и легко создаем, ... ... ... ...... самоучительработы в сети Интернет”
11. Методическая инструкция ... ... ... ... работа). Общее требования к содержанию ... ... ... ... по разработке бизнес-планов для ... и ... ... ... М.Ф, ... ... Б.Б, ... Т.К, Есиркепова А.М. Шымкент-ЮКГУ. 2006г.
13. Балафанов Е.К., Бөрібаев Б.Б., ... А.Б. ... ... ... ... С. ... у вас ... Санк-Петербург., 1998.
15. Денисов. Іпtегпеt Ехрlогег 5.0 Справочник. Санк-Петербург:Питер. 1997.
16. Денмор А. Самаучитель Интернет. ... ... ... М. ... и ... интерфейс. // Мир Іпtегпеt .
1999.
18. Досжанов Б., Альменаева Р. Қазақ тілінде электрондык оқулықтар мен
Web-парақтар даярлау әдістері. ... ... ... ... В.П. Мой компьютер. М.:АСТ. - 1998.
19. Дьяконов В.П. Компьютер в быту. ... - ... ... Д.П. ... ... ... N4,
Москва.,2002.
Ю.Ефимов, Шафрин Основы информационной технологии. М.,2002.
21. Левина О. ... ... и ... как ... ... ... Майкөтов М., Омарова Г. НТМL тіліне кіріспе. Информатика негіздері:
ғылыми-әдістемелік журналы, N2,3,4.2002.
23. Олейников М. Интернет для всех. Москва.,2000.
24. ... А. Как ... ... краткий курс.
Санк-Петербург:Питер. 2000.
25. Харли Хан. Желтые ... ... & WеЬ. 2001. ... Санк-Петербург: Питер. 2001.
26. Желтые страницы Іпtегпеt, 2001. Русские ... ... ... ... Холмогоров В. Основы Веб-мастерства: учебный курс. ... ... ... Дж. ... 1001 ... WЕВ для программистов. М
-----------------------

Пән: Информатика
Жұмыс түрі: Курстық жұмыс
Көлемі: 40 бет
Бұл жұмыстың бағасы: 500 теңге









Ұқсас жұмыстар
Тақырыб Бет саны
Электрондық оқу басылымдарын ендіру және қолдану62 бет
Автоматты басқару жүйесін жобалау12 бет
Сызықты программалау есебінің (спе) элементтері31 бет
Информатикадан сыныптан тыс жұмыстар әдістемесі4 бет
Сұрақ кітапшасы 3804 нұсқа 8 сынып12 бет
"Автомобильдердің электротехникалық және электрондық жабдықтары" -курсы мазмұны және әдістемесі51 бет
"Физика" пәнінен тест сұрақтар6 бет
"Философия тарихы" пәнінен тест сүрақтары5 бет
"Қазақ әдебиеті" пәнінен тест сұрақтар3 бет
1. қ.р. және тағам өнімдерінің ғылыми мекемелері 2. тағам өнімдерін модельдеудің математикалық әдістерін қолдану5 бет


Исходниктер
Пәндер
Көмек / Помощь
Арайлым
Біз міндетті түрде жауап береміз!
Мы обязательно ответим!
Жіберу / Отправить


Зарабатывайте вместе с нами

Рахмет!
Хабарлама жіберілді. / Сообщение отправлено.

Сіз үшін аптасына 5 күн жұмыс істейміз.
Жұмыс уақыты 09:00 - 18:00

Мы работаем для Вас 5 дней в неделю.
Время работы 09:00 - 18:00

Email: info@stud.kz

Phone: 777 614 50 20
Жабу / Закрыть

Көмек / Помощь