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

интерпретация, 
моделирование
 
Лекция 
посвящена 
формальным 
системам 
(ФС). 
Дается 
строгое 
определение 
ФС, 
приводятся 
примеры, 
рассматриваются 
свойства ФС.
 
1.1.1.1.1.13 
Формальные 
грамматики
 
В 
лекции 
рассматриваются  и  строго 
определяются 
такие 
понятия  как  формальный 
язык,  грамматика  языка, 
язык 
грамматики. 
Приводится 
классификация 
формальных грамматик по 
Хомскому. 
Рассматриваются 
примеры.
 
1.1.1.1.1.14 
Логика. 
Исчисления 
высказываний  и 
исчисление 
предикатов
 
В 
начале 
лекции 
рассказывается 
об 
истории 
возникновения 
понятия  "  Логика".  Далее 
обсуждаются 
основные 
различия 
между 
исчислением 
высказываний 
и 
исчислением  предикатов. 
Рассматриваются  правила
 
вывода  Modus  Ponens, 
приводятся  примеры  их 
использования.
 
1.1.1.1.1.15 
Метатеория. 
Введение 
в 
исчисление 
предикатов
 
В первой половине лекции 
обсуждается 
понятие 
метатеории и метатеорем. 
Приводится  теорема
 
о 
дедукции, 
ее 
доказательство,  обратная 
теорема  о  дедукции.  В 

завершение 
рассматривается  пример. 
Вторая  половина  лекции 
посвящена  введению  в 
исчисление 
предикатов 
(ИП): 
рассматриваются 
основные  определения  и 
понятия, 
дается 
формальное  определение 
ИП.
 
1.1.1.1.1.16 
Интерпретаци
я 
и 
полнота 
исчисления 
предикатов
 
В  начале  лекции  кратко 
повторяются 
основные 
понятия 
и 
термины 
исчисления 
предикатов 
(ИП):  алфавит,  множество 
формул, 
множество 
аксиом, множество правил 
вывода. 
Далее 
рассматриваются  понятия 
интерпретации  и  полноты 
ИП.  Приводится  теорема 
Гѐделя 
о 
полноте, 
теоремы  о  разрешимости 
ИП.
 
1.1.1.1.1.17 
Метод 
резолюций 
в 
исчислении 
высказываний  и 
исчислении 
предикатов
 
Лекция 
целиком 
посвящена 
методу 
резолюций  в  исчислении 
высказываний 
и 
исчислении 
предикатов. 
Подробно излагается идея 
и  суть  метода,  даются 
основные  определения  и 
понятия,  на  житейском 
примере 
разбирается 
алгоритм 
работы. 
В 
заключении 
рассматривается 
метод 
аналитических  таблиц  как 
альтернатива 
методу 
резолюций
 
Ожидаемые 
результаты:сформироват

ь 
у 
студентовпредставление 
об 
основных 
задачах 
теории 
кодирования 
и 
методах, 
используемых 
при  их  решении,  знание  
идей 
и 
методов, 
используемых 
при 
шифровании
 
информации, 
знание 
 
сущности 
используемых 
методов, 
области  их  применения  и 
возможности 
их 
программной реализации
 
Компетенции: 
способен 
осуществлять 
и 
обосновывать 
выбор 
проектных  решений  по 
видам 
обеспечения 
информационных систем
 
Пәннің  шифры: 
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 
Пән атауы:
 
Білім берудегі 
мультимедиа 
қосымшаларын құру
 
Пререквизиттер:
 
программалау
 
Постреквизиттер:
 
іс
-
тәжірибе
 
Мақсаты:
 
Мультимедиа 
технологияларының
 
негізін; 
 
Мультимедиа
-
ресурстардың жіктемесін
; 
-
 
Оқытуда 
қолданылатын 
мультимедиалық 
программалар 
және 
аппараттық ; 
 
-
 
ӛздерінің 
жеке 
қосымшаларын 
ӛңдеу 
ретін меңгерулері керек
 
 
Пәнге  берілген  қысқаша 
сипаттама:
 
Мультимедиа 
ұғымы.  
Мультимедиа    білім  беру 
құралы 
ретінде.  
Мультимедиа
-
ресурстардың 
жіктемесіжәне 
олардың 
компоненті.
 
Мультимедиа
-
ресурстардың 
сапасына 
қойылатын  дидактикалық 
талаптар. 
Мультимедиалық 
қосымшаларды 
жасауда 
қолданылатын 
программалық 
және 
аппараттық 
құралдар.   
Телекоммуникациалық  
КВ 2.2
 
Шифр 
дисциплины:
SMPO 5302 
Название  дисциплины:
 
Создание  мультимединых 
приложении 
в 
образовании
 
Пререквизиты: 
программирование
 
Постреквизиты: практика
 
Цель 
изучения: 
ознакомление с областями 
применения  мультимедиа 
приложений, 
изучение 
конфигурации  технических 
средств 
мультимедиа, 
знакомство 
с 
программными 
средствами  мультимедиа, 
а 
также 
этапами 
и 
технологией 
создания 
продуктов мультимедиа.
 
Краткое 
содержание 
основных разделов:
 
Понятие  «мультимедиа». 
История 
развития 
мультимедиа. 
Средства 
мультимедиа  технологии. 
Области 
применения. 
Классы 
систем 
мультимедиа. 
Основные 
типы 
мультимедиа 
продуктов. 
Основные 
понятия 
мультимедиа. 
Специфика использования 
текста 
в 
мультимедиа 
продуктах. 
Гипертекст. 
Шрифты  и  их  разделение 
по  графической  основе. 
Основные 
форматы 
текстовых 
файлов. 
Физиологический 
аспект 
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 

құралдар 
мультимедиа 
құралы ретінде.
 
Білім 
беруде  
мультимедианы  қолдану 
мүмкіндіктері.Оқытуда 
мультимедианы 
қолданудың 
артықшылықтары 
мен 
кемшіліктері.
 
Оқытуда 
қолданылатын 
мультимедиа
-
ресурстардың 
сапасына 
қойылатын 
әдістемелік 
талаптар.
 
 
Оқытушы 
бағдарламаларды 
құру 
тәсілдері. 
Электронды 
оқулықтар.НТМL
-
дың 
мультимедиалық 
мүмкіндіктері. 
Бейне 
түсіруші  Camtasia  Studio 
бағдарламасы.    Графиктік 
бейнелерді 
ӛңдейтін 
программалар.
 
ActivBoard  интерактивті 
тақтасының 
мүмкіндіктері.
ActivStudio 
программасының 
 
мүмкіндіктері. 
Macromedia 
Flash программасы туралы 
жалпы  түсінік.  Анимация 
жасау 
тәсілдері. 
Macromedia 
Flash 
программасында 
дыбыс 
пен графиканы импорттау. 
Action  Script  кӛмегімен 
фильм 
кадрларын 
басқару.
 
Күтілетін 
нәтиже:
 
Мультимедиа 
қосымшаларын 
құру 
технологияларын. 
HTML 
тілінің 
мультимедиялық 
мүмкіндіктерін
 
Құзіреті:
 
Арнайы 
құзыреттер:
 
-
 
Мультимедиа 
қосымшаларын 
құру 
технологияларын  меңгеру. 
HTML 
тілінің 
мультимедиялық 
мүмкіндіктерін,      Аудио
-
видео  программалардың, 
зрительного 
восприятия 
движения. 
Виды 
анимации. 
ПО 
для 
создания  анимированных 
сцен. 
Типы 
видеосигналов. 
Методы 
сжатия видеоинформации. 
ПО 
для 
Нелинейного 
видеомонтажа.  Форматы 
видеофайлов. 
 
Специфика использования 
звука 
в 
мультимедиа 
продуктах. 
Методы 
синтеза  звука.  Форматы 
звуковых  файлов. 
MIDI. 
ПО 
для 
создания 
и 
обработки  звука.  Этапы  и 
технология 
создания 
мультимедиа 
продуктов. 
Аппаратные 
средства 
мультимедиа .
 
Ожидаемые результаты:
 
Уметьиспользовать 
технологии  мультимедиа 
для создания, обработки и 
компоновки  стандартных 
форматов 
файлов 
текстовой, 
графической, 
звуковой, 
видео 
информации, методы 2
-
х и 
3-
х  мерной  анимации  и 
объединять 
информационные  объекты 
пользовательским 
интерфейсом  на  единой 
аппаратно
-
инструментальной 
платформе  компьютера  в 
локальной или глобальной
 
сети 
Internet; 
иметь 
навыки
 
создания 
мультимедиа
-
приложений 
для 
профессиональной 
деятельности на примерах 
разработки  статических  и 
динамических  сценариях 
индивидуальных 
мультимедиа
-
проектов.
 
Компетенции:
 
способен  самостоятельно 
приобретать 
и 
использовать 
в 
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 
 

интерактивті  тақталардың 
негізін және мүмкіндіктерін 
оқып
-
үйрену,  ActionScript 
тілінде  сценарийлер  құра 
білу;
 
-
 
Кәсіби 
қызметте 
теориялық 
білімдерді 
қолдана  алу  біліктері  мен 
дағдыларын меңгеру.
 
Әлеуметтік құзыреттер:
 
логикалық,  аналитикалық, 
концептуалды 
ойлаудың 
дағдыларын меңгеру.
 
 
практической 
деятельности 
новые 
знания  и  умения,  в  том 
числе  в  новых  областях 
знаний,  непосредственно 
связанных 
со 
сферой 
деятельности,  расширять 
и   углублять своѐ научное 
мировоззрение;  способен 
применять  современные 
методы 
исследования; 
способен 
создать  
мультимедиа
-
приложений  
для    профессиональной 
деятельности.
 
 
ТК 
3.3 

жүктеу/скачать 2,09 Mb.

Достарыңызбен бөлісу: