Бекітілдіутвержден


Метатеория. Введение в исчисление предикатов



бет24/26
Дата19.11.2016
өлшемі4,91 Mb.
#1999
түріПротокол
1   ...   18   19   20   21   22   23   24   25   26
Метатеория. Введение в исчисление предикатов

В первой половине лекции обсуждается понятие метатеории и метатеорем. Приводится теорема о дедукции, ее доказательство, обратная теорема о дедукции. В завершение рассматривается пример. Вторая половина лекции посвящена введению в исчисление предикатов (ИП): рассматриваются основные определения и понятия, дается формальное определение ИП.
            1. Интерпретация и полнота исчисления предикатов

В начале лекции кратко повторяются основные понятия и термины исчисления предикатов (ИП): алфавит, множество формул, множество аксиом, множество правил вывода. Далее рассматриваются понятия интерпретации и полноты ИП. Приводится теорема Гёделя о полноте, теоремы о разрешимости ИП.
            1. Метод резолюций в исчислении высказываний и исчислении предикатов

Лекция целиком посвящена методу резолюций в исчислении высказываний и исчислении предикатов. Подробно излагается идея и суть метода, даются основные определения и понятия, на житейском примере разбирается алгоритм работы. В заключении рассматривается метод аналитических таблиц как альтернатива методу резолюций

Ожидаемые результаты:сформировать у студентовпредставление об основных задачах теории кодирования и методах, используемых при их решении, знание идей и методов, используемых при шифровании информации, знание сущности используемых методов, области их применения и возможности их программной реализации

Компетенции: способен осуществлять и обосновывать выбор проектных решений по видам обеспечения информационных систем

EC 3.1

Identifier discipline:ATC 5303

Title discipline: Algorithms and teоriya of calculations

Prerequisites: Programming

Postrequisites: methodology of training and education of computer science and education informatization XXI century

Studying purpose:The course is devoted to acquaintance to such fundamental mathematical concepts, as calculations and the proof.

Summary of the main sections:The course provides studying of the theory of algorithms and axiomatic approach to mathematical logic Concept of algorithm. Classification of algorithmic models. Acquaintance to Turing's car At the beginning of lecture it is told about history of emergence of mathematics, formation of the concepts "Proof" and "Calculation". The concept "Algorithm" is defined, the main requirements imposed to algorithm are provided. In the second half of lecture it is told about classification of algorithmic models, acquaintance to Turing's cars begins.

Turing's car. Vychislimost. Examples. Ways of a task

At the beginning of lecture the concept of a vychislimost is discussed. Further the description, ways of a task is provided, features of programming of the Turing's cars (TC) are specified. The main operations over MT are considered, the theorem of existence of universal MT is proved.Recursive functions

Introduction in the theory of recursive functions. Definition is given, examples, ways of a task of recursive functions are reviewed, the corresponding theorems are formulated and proved.

Solvable and listed sets. Introduction in the theory of final machine guns

In the first part questions of resolvability and enumerability of sets, convergence of algorithms are discussed, the formulation of the theorem of Rice is provided. The second part of lecture is devoted to introduction in the theory of the final machine guns (FMG). Formal determination of KA is given, ways of a task, examples are considered.

Properties and options of final machine guns

properties and options of the final machine guns (FMG). Definition is given, and examples of equivalent machine guns are given.

Algorithmic opportunities of final machine guns. Petri's networks

In lecture the concept of a regular set is considered. The formulation of the theorem of Kleene is provided. The block description of the final machine gun is considered. Concepts of composition and decomposition are discussed. Petri's networks are in summary considered.

Formal systems. Properties, interpretation, modeling

Lecture is devoted to the formal systems (FS). Strict definition of FS is given, examples are given, FS properties are considered.

Formal grammars

In lecture are considered and strictly such concepts as formal language, grammar of language, grammar language are defined



Expected results: form students understanding of the main problems of coding theory and methods used in solving them, the knowledge of ideas and techniques used in the encryption of information, knowledge of the essence of the methods used, their applications and the possibility of their program implementation

Competencies: able to carry out and justify the choice of design decisions on types of information systems

Пәннің шифры: BBMKK 5302

Пән атауы: Ізденуші магистранттар үшін ағылшын тілі

Пререквизиттер: Информатиканы оқытудың теориясы мен әдістемесі

Постреквизиттер:диссертациялық жұмыс

Мақсаты:Ұлт аралық білімнің дамуына байланысты ғылыми коммуникацияның халықаралық тілі ретінде ағылшын тілін меңгеру қажеттілігі туындады

Пәнге берілген қысқаша сипаттама:ғылыми айтылуды жазбаша түрде жете меңгеру аса маңызды. Дискуссия жүргізе алу мен ғылыми мәселелерді талқылау дағдыларын, сұрақтарды үлгілі құрастыра алу, сыни ойлау- бұл зерттеушілік мақсат қойған адамдарға академиялық өсуге әкеледі.

Күтілетін нәтиже:Зерттеу сұрақтарын қоюға (гипотеза) білімдерін меңгереді, ғылыми әдістерді қолдану мен мақсат пен міндетті формалдау, ғылыми ізденіс нәтижесінде қорытынды құрастыру.

Құзіреті:зерттеуші терең ғылыми іздеуге біліктілікке ие болады және академиялық білімін жоғарылатады.


Шифр дисциплины:AMI5302

Название дисциплины:Англиский для магистрантов иследователей

Пререквизиты: Теоретические основы информатики

Постреквизиты: диссертационная работа

Цель изучения:

В связи с нарастающей интернационализацией образования и науки возникла необходимость а овладении Английским языком на продвинутом уровне в качестве международного языка научной коммуникации.



Краткое содержание основных разделов: Особую важность приобретает свободное владение письменной научной речью. Умение вести дискуссии, овладение навыками обсуждения научных проблем, грамотная постановка вопросов, критическое мышление – все это способствует академическому росту тех лиц, кто поставил перед собой исследовательскую цель.

Ожидаемые результаты:

Магистранты в ходе курса будут владеть знаниями постановки исследовательских вопросов (гипотезы), формулирования цели и задач и использования научных методов, умения перефразирования, работы с литературными источникам, составления заключения по результатам научного поиска.



Компетенции:В результате исследователь повысит академические знания и получит квалификационные навыки для глубокого научного исследования.


Code of discipline: ERM 5302

Name of discipline: Englsh for Researchers for masters

Prerequisites:Teoretical basics of informatics

Postrekvizity: masters thesis

The purpose of the study:Due to the growing internationalization of education and science was necessary and mastery of the English language at an advanced level as the international language of scientific communication. Of particular importance is the fluency of written scientific speech. The ability to conduct discussions, mastering the skills of discussion of scientific issues, competent questioning, critical thinking - all of which contribute to the academic growth of those persons who set himself the goal of the research.

Students in the course will have knowledge formulation of research questions (hypotheses), to formulate goals and objectives and the use of scientific methods, paraphrasing skills, working with references, drawing up the report on the results of scientific research. As a result, the researcher will enhance the academic knowledge and skills to get the qualification of deep research.



Title: English for Researchers/English for Academic Purposes

Why we need this course?

Due to the growing internationalization of education and science is an urgent need to master the English language at an advanced level as the international language of scientific communication

Of particular importance is the fluency of written scientific speech.

The Aim: to master an Academic English for writing papers, dissertations and doing Research Project.

Content of the Course: This Course is divided into several units each of them is dedicated to special theme. For example, Critical Thinking. It will be explained what it means to think critically, why we need to think critically and how we can write in the critical way.

The students will be able to improve Skills and Proficiency

- how to write an essay;

- how to make effective use of paragraphs in writing. The function and features of a paragraph are explained, together with guidelines for using paragraphs to be a clear and coherent in written structure;

- research writing in English, helping you avoid many common errors.

Expectations:

Postgraduate Students will improve Academic English Style, Spelling, Punctuation, Grammar and Vocabulary.




ТК 2.2

Пәннің шифры: BBMKK5302

Пән атауы: Білім берудегі мультимедиа қосымшаларын құру

Пререквизиттер: программалау

Постреквизиттер: іс-тәжірибе

Мақсаты: Мультимедиа технологияларының негізін; Мультимедиа-ресурстардың жіктемесін;

  • Оқытуда қолданылатын мультимедиалық программалар және аппараттық ;

  • өздерінің жеке қосымшаларын өңдеу ретін меңгерулері керек


Пәнге берілген қысқаша сипаттама:

Мультимедиа ұғымы. Мультимедиа білім беру құралы ретінде. Мультимедиа-ресурстардың жіктемесіжәне олардың компоненті. Мультимедиа-ресурстардың сапасына қойылатын дидактикалық талаптар. Мультимедиалық қосымшаларды жасауда қолданылатын программалық және аппараттық құралдар. Телекоммуникациалық құралдар мультимедиа құралы ретінде.

Білім беруде мультимедианы қолдану мүмкіндіктері.Оқытуда мультимедианы қолданудың артықшылықтары мен кемшіліктері. Оқытуда қолданылатын мультимедиа-ресурстардың сапасына қойылатын әдістемелік талаптар. Оқытушы бағдарламаларды құру тәсілдері. Электронды оқулықтар.НТМL-дың мультимедиалық мүмкіндіктері. Бейне түсіруші Camtasia Studio бағдарламасы. Графиктік бейнелерді өңдейтін программалар.

ActivBoard интерактивті тақтасының мүмкіндіктері.ActivStudio программасының мүмкіндіктері. Macromedia Flash программасы туралы жалпы түсінік. Анимация жасау тәсілдері. Macromedia Flash программасында дыбыс пен графиканы импорттау. Action Script көмегімен фильм кадрларын басқару.

Күтілетін нәтиже: Мультимедиа қосымшаларын құру технологияларын. HTML тілінің мультимедиялық мүмкіндіктерін

Құзіреті: Арнайы құзыреттер:


  • Мультимедиа қосымшаларын құру технологияларын меңгеру. HTML тілінің мультимедиялық мүмкіндіктерін, Аудио-видео программалардың, интерактивті тақталардың негізін және мүмкіндіктерін оқып-үйрену, ActionScript тілінде сценарийлер құра білу;

  • Кәсіби қызметте теориялық білімдерді қолдана алу біліктері мен дағдыларын меңгеру.

Әлеуметтік құзыреттер: логикалық, аналитикалық, концептуалды ойлаудың дағдыларын меңгеру.


КВ 2.2

Шифр дисциплины:SMPO 5302

Название дисциплины: Создание мультимединых приложении в образовании

Пререквизиты: программирование

Постреквизиты: практика

Цель изучения: ознакомление с областями применения мультимедиа приложений, изучение конфигурации технических средств мультимедиа, знакомство с программными средствами мультимедиа, а также этапами и технологией создания продуктов мультимедиа.

Краткое содержание основных разделов:

Понятие «мультимедиа». История развития мультимедиа. Средства мультимедиа технологии. Области применения. Классы систем мультимедиа. Основные типы мультимедиа продуктов. Основные понятия мультимедиа. Специфика использования текста в мультимедиа продуктах. Гипертекст. Шрифты и их разделение по графической основе. Основные форматы текстовых файлов. Физиологический аспект зрительного восприятия движения. Виды анимации. ПО для создания анимированных сцен. Типы видеосигналов. Методы сжатия видеоинформации. ПО для Нелинейного видеомонтажа. Форматы видеофайлов.

Специфика использования звука в мультимедиа продуктах. Методы синтеза звука. Форматы звуковых файлов. MIDI. ПО для создания и обработки звука. Этапы и технология создания мультимедиа продуктов. Аппаратные средства мультимедиа .

Ожидаемые результаты:

Уметьиспользовать технологии мультимедиа для создания, обработки и компоновки стандартных форматов файлов текстовой, графической, звуковой, видео информации, методы 2-х и 3-х мерной анимации и объединять информационные объекты пользовательским интерфейсом на единой аппаратно-инструментальной платформе компьютера в локальной или глобальной сети Internet; иметь навыки создания мультимедиа-приложений для профессиональной деятельности на примерах разработки статических и динамических сценариях индивидуальных мультимедиа-проектов.



Компетенции:

способен самостоятельно приобретать и использовать в практической деятельности новые знания и умения, в том числе в новых областях знаний, непосредственно связанных со сферой деятельности, расширять и углублять своё научное мировоззрение; способен применять современные методы исследования; способен создать мультимедиа-приложений для профессиональной деятельности.




EC 2.2

Identifier discipline:CMAE 5302

Title discipline:Creation of multimedical others the appendix in education

Prerequisites: programming

Postrequisites: practic

Studying purpose:The purpose of a course consists in formation of basic knowledge on computer networks, Internet-technologies, multimedia to technologies, and also to teach to work in computer local and global networks, to create hypertext documents in HTML format with use of language of scenarios, to create animation.

Summary of the main sections:Thanks to distribution of resources, computer networks increase the computing productivity of separate computers, e-mail, business correspondence, provide quick access to extensive information from any region of a planet. The world famous global Internet network represents the storage of information available in any corner of the earth. Use of services Internet, in particular, transport services, generated new technology – Intranet which allows to connect separate corporate networks in the uniform computing system. Therefore development of information technologies in the last decades demands from future experts of knowledge of means and methods of computer communications whom treat, in particular, a markup language of the documents Hyper Text Markup Language (HTML), language of the scenarios VBScript, JavaScript

Expected results: main teams of creation and marking of the hypertext document; main methods, functions, objects and VBScript (JavaScript) language teams; main Flash-technologies methods. to work in local and global networks, with e-mail and teleconferences; to create the simplest packages of hypertext documents; to be able to place hypertext documents in Internet system;

to create the elementary programs in the environment of Macromedia Flash

JavaScript

Competencies: it is capable to get and use independently in practical activities new knowledge and abilities, seeks for self-development


ТК 3.3

Пәннің шифры: DKK 5304

Пән атауы: Delphi-де қосымша құру

Пререквизиттер: Программалау

Постреквизиттер: кәсиби қызмет

Мақсаты:

логикалық, аналитикалық, концептуалды ойлаудың дағдыларын меңгеру.

Реляциялық деректер қорымен жұмысқа арналған құралдар.Құралдар. Компоненттер. Деректер қоры қателіктері.

Пәнге берілген қысқаша сипаттама:

Объектілі-бағытталған программалаудың негізгі ұғымдары. Delphi кіріктірілген ортасына қысқаша шолу. Қосымша құру. Визуалды компоненттердің жалпы сипаттамасы. Мәтінді бейнелеу және біржолды мәтінді енгізу және редактрлеу. Сызықтық алгоритмді программалау. Көпжолдық редакторлар. Тізімдермен жұмыс. Тармақталу алгоритмін программалау. Батырмалармен жұмыс. Ауыстырып қосқыштармен жұмыс. Басқару элементтерін біріктіру. Форманың сипаттамалары. Формалардың өзара әрекетін ұйымдастыру. Стандартты диалогтар. Менюмен жұмыс. Delphi-дің графикалық мүмкіндіктері. Графикалық қарапайым элементтерді салу тәсілдері.



Күтілетін нәтиже: объектілі-бағытталған программалаудың негізгі ұғымдарын меңгеруі;

  • программаны өңдеу барысында объектілі-бағытталған программалауды пайдалана білуі;

  • объектілі-бағытталған программалаудың артықшылығын пайдаланып, оны анық сезіне білулері керек.

  • Визуальды компоненттер кітапханасын пайдалана білуді;

  • Менюмен жұмысты;

  • Қосымшалар өңдеуді;

  • Ақпаратты баспаға шығаруды;

  • Мультимедианы пайдалануды;

  • Графикамен жұмысты;

Құзіреті: Арнайы құзыреттер:

  • қажетті теориялық білімдерді және практикалық біліктіліктер мен дағдыларды меңгеру;

  • алған теориялық білімдерді практикада қолдана білу;

  • ақпараттық ресурстардан ақпараттарды іздеу және қолдану.

Әлеуметтік құзыреттер: логикалық, аналитикалық, концептуалды ойлаудың дағдыларын меңгеру.

КВ 3.3

Шифр дисциплины:SPD5304

Название дисциплины: Создание приложений в Delphi

Пререквизиты: программирование

Постреквизиты: профессиональная деятельность

Цель изучения:

Рассматривается создание сервлетов и JSP-страниц, описывается применение компонентов InternetBeans среды JBuilder, приводятся механизмы публикации данных на Интернет-страницах. Рассматривается создание серверных приложений в среде Delphi. Описывается применение серверных ASPстраниц.



Краткое содержание основнх разделов:

Компоненты INTERNETBEANS. Страница INTERNETBEANS.Страница InternetBeans среды JBuilder содержит компоненты, позволяющие заменять на этапе выполнения сервлета "пустые" данные на данные, предоставляемые модулем данных.

Компонент IxPageProducer предназначен для связывания HTML-файла с используемым модулем данных.Компонент IxControlпозволяет связать элемент управления из HTML-шаблона с объектом сервлета. Этот объект может использоваться для определения связи с полем таблицы модуля данных. Для каждого текстового элемента управления из HTML-файла должен быть создан отдельный объект типа IxControl.

Компонент IxTable позволяет отображать в HTML-документах динамически генерируемые таблицы набора данных.

Создание сервлета, используемого для публикации данных

Ожидаемые результаты:В процессе обучения дисциплины и сдачи экзамена студент должен знать основные понятия объектно-ориентированного программирования и среду Delphi

Компетенции: способность применять к решению прикладных задач базовые алгоритмы обработки информации, выполнять оценку сложности алгоритмов, программировать и тестировать программы


EC 3.3

Identifier discipline:ACD 5304

Title discipline: Application creation in Delphi

Prerequisites:programming

Postrequisites: professional activities

Studying purpose:

Creation of servlets and JSP pages is considered, application of the InternetBeans components of the JBuilder environment is described, mechanisms of the publication of data on Internet pages are given. Creation of server applications in the environment of Delphi is considered. Application of server ASPстраниц is described.



Summary of the main sections:

КомпонентыINTERNETBEANS. The INTERNETBEANS.Страница InternetBeans page of the JBuilder environment contains the components, allowing to replace at a stage of performance of a servlet "empty" data with the data provided by the module of data.

The IxPageProducer component is intended for linkng of the HTML file with the used module of data. The IxControl component allows to connect a management element from a HTML template with object of a servlet. This object can be used for definition of communication with a field of the table of the module of data. For each text element of management from the HTML file the separate object like IxControl has to be created.

The IxTable component allows to display dynamically generated tables of a data set in HTML documents.

Creation of the servlet

Expected results: In the process of learning discipline and exam the student should know the basic concepts of object-oriented programming environment and Delphi

Competencies: the ability to apply to the solution of applied problems the basic algorithms of information processing to perform evaluation of the complexity of algorithms, program and test program


ТК 3.2

Пәннің шифры:KK5304

Пән атауы:С#-та қосымша құру

Пререквизитері: Программалау

Постреквизиттері: ХХІ ғасырдың әдіснамасы және информатика мен білімді ақпараттандыру аясында оқыту әдістемесі және тәрбиелеу

Мақсаты:

Программалау жайлы түсініктерін ұлғайту, ғылыми зерттеу қызметінде қолдану инструменті екенін меғгерту.



Пәнге берілген қысқаша сипаттама:

Сипрограммалаутілдерініңтобы – көптегенесептердісипаттауғажәнеесептеупроцестеріменмәліметтердіөңдеужұмысынжасаудыңалдыңғықатарлымеханизмінқұрайтынбірталайкөрнектідеыңғайлыпрограммалаутілдері. Бұлтоптілдерініңқұрылымықолданушығаөзініңжұмысындатөменненжоғарықарай жобалау, құрылымдыпрограммалаужәнемодулдардысатылапжобалау, жылдаморындалатынықшамдыпрограммаларқұружолдарынқолдануғамүмкіндікбереді. СоғанқарамастанСитіліөтеқарапайымтіл: оғанжоғарғыдеңгейліпрограммалаутілдерінеқарағандаассемблергетәнкейбірқұралдаркіреді. СитобыныңсоңғықарапайыммодификациясыныңбіріС#болыпсаналады. Си тілін көбіне жүйелік программистер кеңінен қолданады. Жүйелік программистерді соншалықты қызықтырғаны әртүрлі жадты, сонымен бірге регистрлерді қолдану мүмкіндігі, көрсеткіштердің енгізілуі, сол сияқты күрделі құрылымды мәліметтермен жұмыс жасау мүмкіндігі, процессорды пайдалану және символдық жолдармен ыңғайлы жұмыс жасау мүмкіндігі.




Достарыңызбен бөлісу:
1   ...   18   19   20   21   22   23   24   25   26




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет