Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Междисциплинарная подготовка научных кадров монография Т.А. Кузнецова

.pdf
Скачиваний:
1
Добавлен:
15.11.2022
Размер:
771.14 Кб
Скачать

Таблица 1

Учебный план подготовки по программе Computer Science and Philosophy

 

Год

 

Дисциплины

 

 

 

Проекты

 

Отчетность

 

 

Computer Science (CS)

Philosophy (Ph)

 

 

 

 

 

 

 

First

Core Computing (50 %)

 

 

Core Philosophy

 

 

 

Five

 

written

 

year

 

 

 

 

 

 

 

 

 

 

 

 

papers,

plus

 

1. Computer Science courses

(50 %)

 

 

 

 

 

 

 

 

1.1. Functional Programming

2. Philosophy courses

 

 

 

Computer Sci-

 

 

1.2. Design and Analysis of Al-

2.1. General Philosophy

 

 

 

ence practicals

 

 

gorithms

2.2. Elements of Deductive Logic

 

 

 

 

 

 

 

 

1.3. Imperative Programming

2.3. Turing on Computability and

 

 

 

 

 

 

 

 

1.4. Discrete Mathematics

 

 

Intelligence

 

 

 

 

 

 

 

 

 

 

 

1.5. Probability

 

 

 

 

 

 

 

 

 

 

 

 

 

Second

Computing Second Year Options

 

Philosophy

Second Year Options

Group project

 

Two

Computer

 

year

 

 

 

 

 

 

 

 

 

 

 

Science papers,

11

(50 %)

 

 

(50 %)

 

 

 

Contents

(2010–

 

1. Computer Science courses

 

 

2. Philosophy courses

2011)

 

 

plus

Computer

 

 

 

 

 

 

 

 

1.1. Models of Computation

 

 

2.1. Knowledge and Reality

1. Robot Path

 

Science

practi-

 

 

1.2. Advanced Data Structures

 

2.2. History

of Philosophy from

 

cals

 

 

 

 

 

Planning

 

 

 

 

 

 

and Algorithms

 

 

Descartes to Kant

2. Decompilation

 

 

 

 

 

1.3. Compilers

 

 

2.3. Philosophy of Science

 

 

 

 

 

 

 

3. Case studies

 

 

 

 

 

 

1.4. Formal Program Design

 

 

2.4. Philosophy of Mind

 

 

 

 

 

 

 

 

with CSP and

 

 

 

 

 

 

1.5. Concurrency

 

 

2.5. Ethics

 

 

 

 

 

 

 

 

 

1.6. Concurrent Programming

 

 

 

 

 

 

FDR

 

 

 

 

 

 

 

1.7. Object-Oriented Program-

 

 

 

 

 

 

4. Garbage collec-

 

 

 

 

 

ming

 

 

 

 

 

 

tion for OBC

 

 

 

 

 

 

1.8. Databases

 

 

 

 

 

 

5. A Family

of

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Modeless

Struc-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ture Editors

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Окончание табл. 1

 

Год

 

 

 

Дисциплины

 

 

 

 

 

 

 

 

Проекты

 

Отчетность

 

Third

 

Computing

Third

Year

Options

Philosophy Third Year

 

 

 

 

 

 

Six 3-hour writ-

 

year

 

(25–75 %)

 

 

 

 

 

Options

 

 

 

 

 

 

 

 

ten papers inc

 

(BA)

 

1. Computer Science Options

 

 

 

(25–75 %)

 

 

 

 

 

 

at least one in

 

 

 

1.1. Intelligent Systems

 

 

 

 

2. Philosophy Options

 

 

 

 

 

 

CS & three in

 

 

 

1.2. Knowledge Representation and Rea-

2.1. Formal Logic

 

 

 

 

 

 

Philosophy,

 

 

 

soning

 

 

 

 

 

2.2. Philosophy of Mathe-

 

 

 

 

 

 

plus CS practi-

 

 

 

1.3. Machine Learning

 

 

 

 

matics

 

 

 

 

 

 

cals

 

 

 

1.4. Reasoning about Information Update

 

 

2.3. Philosophy of Cogni-

 

 

 

 

 

 

 

 

 

 

1.5. Computational Complexity

 

 

 

tive Science

 

 

 

 

 

 

 

 

 

 

1.6. Computer-Aided Formal Verification

 

 

2.4. The Philosophy of

 

 

 

 

 

 

 

 

 

 

1.7. Computers in Society

 

 

 

Logic and Language

 

 

 

 

 

 

 

12

 

 

1.8. Computer Security

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1.9. Lambda Calculus and Types

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Fourth

 

Computing

Fourth

Year

Options

Philosophy Fourth Year

Optional

CS Project

CS: written

 

year

 

(0–100 %)

 

 

 

 

 

Options

 

 

or Philosophy thesis

 

paper or take-

 

(op-

 

Contents (2010–2011)

 

 

 

 

(0–100

%)

(33

%)

 

 

 

home exam plus

 

tional)

 

1. Advanced

Options in Computer Sci-

2. Philosophy Options

Contents

(2010–

practicals. Phi-

 

Masters

ence

 

 

 

 

 

2.1. Advanced options in

2011)

 

 

 

losophy: 3-hour

 

degree

 

1.1. Computational Linguistics

 

 

 

Philosophy

1. Robot Path Plan-

 

written paper &

 

 

 

1.2. Information Retrieval

 

 

 

2.2. Optional Philosophy

ning

 

 

 

5,000 essay

 

 

 

1.3. Theory

of Data

and Knowledge

thesis

2. Decompilation

 

 

 

 

 

Bases

 

 

 

 

 

 

 

 

 

3. Case

studies with

 

 

 

 

 

1.4. Automata, Logic & Games

 

 

 

 

 

 

 

CSP and FDR

 

 

 

 

 

1.5. Probabilistic Model Checking

 

 

 

 

 

 

4. Garbage collection

 

 

 

 

 

1.6. Program Analysis

 

 

 

 

 

 

 

 

for OBC

 

 

 

 

 

 

 

1.7. Optional Computer Science project

 

 

 

 

 

 

5. A Family of Mode-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

less Structure Editors

 

 

Примерами Taught Programmes являются междисциплинарные академические магистерские программы (M.Sc.), реализуемые факультетом информатики и вычислительной техники (Computer Science) совместно с другими факультетами, которые могут быть отнесены к дуальным:

очная форма обучения – M.Sc. in Mathematics and the Foundations of Computer Science;

очно-заочная форма обучения – M.Sc. in Software Engi-

neering и M.Sc. in Software and Systems Security.

Рассмотрим программу M.Sc. Mathematics and Foundations of Computer Science (срок обучения – 12 месяцев, или три семестра, включая летний), реализуемую совместно с факультетом математики, строящуюся на стыке математики и теоретической информатики (computer science). Программа содержит два блока академических дисциплин, реализуемых в виде лекционных курсов – Lecture Courses (табл. 2) двух уровней сложности

(Schedule I – базовый, II – продвинутый) [4]:

Секция A – (Section A): теоретический – математический блок (Mathematical Foundations);

Секция B – (Section B): прикладной – приложения тео-

рии (Applicable Theories).

Таблица 2 List of Lecture Courses 2010/2011 (Curriculum) программы

M.Sc. Mathematics and Foundations of Computer Science

Section A: Mathematical Foundations

Schedule I

Title

Lecturer

Term

Algebraic Number Theory

Prof Flynn

HT

Analytic Number Theory

Prof Heath-Brown

MT

 

 

 

Analytic Topology

Dr Suabedissen

MT

Axiomatic Set Theory

Prof Zilber

HT

 

 

 

Godel's Incompleteness Theorems

Dr Isaacson

MT

Group Theory

Prof Collins

HT

 

 

 

Introduction to Representation Theory

Dr Henke

MT

13

 

 

Окончание табл. 2

Lambda Calculus and Types

Dr Tzevelekos

MT

Lie Algebras

Prof J Wilson

MT

 

 

 

Model Theory

Dr Koenigsmann

 

Schedule II

 

 

 

 

 

Title

Lecturer

Term

Algebraic Geometry

Dr Berczi

MT

 

 

 

Building Infinite Groups

Prof Wilson

HT

 

 

 

Recursion Theory*

Dr Koenigsmann

HT

 

 

 

Section B: Applicable Theories

Schedule I

Title

Lecturer

Term

Applied Probability

Dr Hammond

MT

 

 

 

Categories, Proofs and Programs

Dr Doering

MT

Communication Theory

Dr Stirzaker

MT

 

 

 

Computational Complexity

Dr Kreutzer

HT

Concurrency

Prof Roscoe

HT

 

 

 

Foundations of Computer Science

Prof Benedikt

MT

 

 

 

Graph Theory

Prof McDiarmid

MT

 

 

 

Reasoning about Information Update

Dr Sadrazadeh

HT

 

 

 

Schedule II

 

 

Title

Lecturer

Term

Automata, Logic and Games

Prof Ong

HT

 

 

 

Computational Number Theory*

Prof Heath-Brown

TT

Computer Aided Formal Verification

Prof Melham

MT

 

 

 

Elliptic Curves

Prof Heath-Brown

HT

 

 

 

Probabistic Combinatorics

Prof Riordan

HT

 

 

 

Probability and Computing

Dr Worrell

MT

 

 

 

Quantum Computer Science

Dr Doering

HT

 

 

 

Random Graphs

Prof Riordan

TT

 

 

 

Representation Theory of Symmetric Groups

Dr Danz

HT

Theory of Data and Knowledge Bases

Prof Gottlob

HT

 

 

 

Математическая часть программы концентрируется на задачах, решаемых с помощью компьютерных методов, и теоретических разделах, применяемых в программировании и вычис-

14

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

Вчасти, посвященной проблемам информатики и вычислительной техники, рассматриваются вопросы сложности вычислений, параллельных и последовательных вычислений и др.

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

Вкачестве итоговой аттестации рассматривается написание

изащита диссертации (dissertation), выполняемой на стыке наук, соответствующей тематике предметного поля одной из секций и рассматривающей прикладные вопросы одной из областей науки, инжиниринга, промышленности или экономики. Ресурсную поддержку в написании диссертации осуществляют специали-

сты исследовательской группы Programming Research Group в научно-исследовательской лаборатории Computing Laboratory.

Схожий подход к организации обучения применяется при реализации программ M.Sc. Mathematical and Computational Finance (реализуемой совместно с факультетом статистики), M.Sc.

in Mathematical Modelling and Scientific Computing и др.

Примером исследовательских междисциплинарных программ Reseach Programmes являются сопряженные магистерская и докторская программы Computational Biology, направленные на подготовку на стыке биологии, медицины, математики и информатики. Программы имеют две специализации: Computational Modelling of Physiological Systems, дающая подготовку в области численного моделирования физиологических систем и

Computational Systems Biology, нацеленная на разработку биоло-

гических вычислительных систем. По окончании присваиваются степени M.Sc. by Research in Computer Science и D.Phil. in Computer Science. Междисицплинарность программы реализуется через НИР, выполняемую в рамках исследовательской группы Computational Biology Group на базе научно-исследовательской

15

лаборатории Computing Laboratory факультета Computer Science.

Студенты и аспиранты выполняют теоретические и прикладные междисциплинарные исследования, направленные на применение достижений Computer Science в клинической практике и при решении актуальных проблем биологии. Ключевые практические задачи включают моделирование физиологических процессов (сердечно-сосудистых процессов, механики мягких тканей, развития раковых опухолейидр.), анализ биологических систем.

Докторские программы реализуются на базе пяти докторских учебных центров, открытых при университете. Примером центра, занимающегося послевузовской подготовкой на стыке физики и наук о жизни (биология, медицина и др.), является Life

Sciences Interface Doctoral Training Centre – LSI DTC (Доктор-

ский учебный центр пограничных исследований), осуществляющий докторскую подготовку по сопряженным (M.Sc. + D.Phil.) двухуровневым инновационным междисциплинарным образовательным программам (срок обучения – четыре года), направленным на подготовку к исследованиям в областях:

Biological Physics (реализует физический факультет –

Department of Physics);

Medical Imaging and Signals (реализует факультет компьютерных наук – Department of Engineering Science);

Bioinformatics, Evolution and Genetics (реализует факультет статистики – Department of Statistics);

Computational Biology (реализует компьютерная лабора-

тория – Computing Laboratory).

Предшествующее образование – бакалавриат по направлениям: математика, физика, инженерные науки, информатика.

В целом реализация междисциплинарных программ ведется при кооперации 10 факультетов университета.

Степени D.Phil.1 присваиваются в результате освоения программ по направлениям:

Life Sciences;

1 Степень, присуждаемая в старейших университетах Великобритании, сопоставимая с Ph.D.

16

Systems Biology;

Systems Approaches to Biomedical Science (реализуется совместно с Industrial Doctorate Centre (IDC)).

Учебный план первого года обучения включает 13 модулей

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

practical theoretical research skills: исследовательская

подготовка – получение продвинутых теоретических знаний и исследовательских умений в области математики, вычислительной техники, информатики, физики (mathematical modelling,

scientific computing, computer programming, and statistical methods);

basic background: приобретение необходимых базовых знаний в науках о жизни (biology, biochemistry, experimental

techniques, biological physics).

Полный учебный план Curriculum приведен ниже [4].

Curriculum междисциплинарной программы подготовки D.Phil., реализуемой докторским учебным центром Life Sciences

Interface Doctoral Training Centre – LSI DTC

Академический компонент. Базовые модули – Core Modules

Biological Systems: The building blocks of living systems; Biological diversity; Selfish genes, evolution and the origin o f biological complexity; Mechanisms of disease.

Programming: Introduces the student to computer programming by examining a range of common computational tasks when implemented in three distinct programming languages. This provides an understanding of the strengths and weaknesses of these common languages, allowing the student to choose their tools according to the computing problem faced.

Molecular Genetics and Cell Biology: DNA structure and replication; genes; regulatory regions; the genetic code. RNA Proteins: their structure and interaction; metabolic pathways; cell division; cell structure; cell signalling; developmental biology.

17

Introductory Mathematics: solution of separable ordinary linear differential equations, matrices, solution of difference equations, fundamental concepts in probability and stochastic processes

An Introduction to Mathematical Biology using Matlab: Introduction to Matlab; introduction to scientific programming. Revision of elementary mathematics including: basic statistical analyses and data summary; functions; numerical linear algebra; numerical solution of ordinary differential equations; discrete and stochastic modelling; analytical methods in applied mathematics including dimensional analysis and asymptotic methods; principles of software engineering.

Biological Experimental Techniques (incorporating Theory of Biological Experimental Techniques): DNA extraction, sequencing and manipulation; protein expression, purification and characterisation; microscopy and cellular imaging.

An Introduction to Organic Chemistry: Introduce and develop the fundamental data and concepts of organic chemistry; apply these data and concepts to chemical problem solving; Lewis bonding, bond polarisation. Lewis acids. Structures and isomers. Stereochemistry. Enantiomers: chirality, stereogenicity. Molecular orbitals, hybridisation. Functional groups: carbonyls, imines, oximes, nitriles. Lewis acids and bases. Curly arrows and mechanism. Resonance.

Structural Biology: Protein structure, structure determination (theory and practical) molecular dynamics, free energy methods, homology modelling, electrostatics

Statistical Data Analysis: probability; statistical inference; statistical modelling; regression; hypothesis testing; model choice; markov chains; hidden markov models; statistical computing.

Advanced Mathematical Biology: modelling techniques; pdes; analysis; applications of reaction diffusion equations including Turing instability and pattern formation, and travelling waves; continuum mechanics; numerical methods (finite difference and finite element) for pdes; introduction to optimisation.

Medicinal Chemistry: Cheminformatics, including introduction to ligand-protein docking using AutoDock and related tools; principles of drug discovery; medicinal chemistry; principles of drug development.

Toxicology & DMPK and Systems Pharmacology: Case histories; ADME (absorption, distribution, metabolism, excretion); PK/PBPK modelling; Absorption and permeability; Phase I and II xenobiotic metabolism;

18

Drug transporters; Adverse drug reactions; Drug-drug interactions; Pharmacogenomics and polymorphisms.

Biological Physics: Revision of basic Physics (classical mechanics, thermodynamics, statistical mechanics, quantum mechanics) OR extended study of topics in biophysics. Physics of chemical reactions, membranes and membrane proteins, bioenergetics, molecular motors. Practicals on biophysical techniques.

Академический компонент. Продвинутые модули –

Advanced Modules

GROUP 1 Computational Biology:

Theoretical Systems Biology

Biomedical Imaging – Theory, Biomarker Design and Image Acqui-

sition

GROUP 2

Biomedical Imaging – Image and Signal Analysis

Advanced Experimental Techniques

Genomic Epidemiology and Biomarker Discovery

GROUP 3

Biophysics and Bionanotechnology Bioinformatics and Mathematical Genetics Drug Discovery

A more detailed guide to the advanced modules in the first year will be made available in the course of Michaelmas Term.

Advanced Module taught in the second year and beyond

C++ Programming

Enterprise and Entrepreneurship (предпринимательская дея-

тельность)

Короткий исследовательский проект – Short research projects (уровень M.Sc.)

Два исследовательских проекта: Following on from the intensive training provided in the core courses and advanced courses over the first two terms, students spend the remainder of their first year undertaking two 10-week research projects in two different research groups within the university, which are tailored to meet the likely requirements of their substantive D.Phil. project. Students are encouraged to undertake one primarily theoretical, and one primarily experimental rotation. Students are required

19

to write a short dissertation on each of these rotations, written in the style of

a journal article.

Объем отчетов по НИР – 5 000 слов

Research Skills

Research Skills covers: Rhetoric; bioethics; reading scientific literature across disciplines; scientific writing; poster production; publishing a research paper; presentation and communication skills; management skills; managing your DTC DPhil; interview techniques; career development.

НИР и диссертация – D.Phil. thesis

Объем докторской диссертации – 80 000 слов

После освоения всех модулей академического компонента студенты выполняют два исследовательских проекта, тематика которых связана с одной или двумя прикладными областями (срок выполнения – 11 недель). Выполнение исследовательских проектов соответствует завершению магистерского уровня образовательной программы. По окончании проектной деятельности обучаемый выбирает один из этих проектов в качестве основы для продвинутых комплексных экспериментальных лабораторных исследований докторского уровня. Последующая работа над проектом ведется в одной из прикладных областей в рамках выбранной исследовательской группы под руководством научного руководителя (supervisor).

Учебный план последующих лет обучения включает продвинутые (advanced) дисциплины, направленные на формирование продвинутых знаний в области математического и численного моделирования, биоинформатики, численного анализа, научных коммуникаций. Кроме того, программа направлена на приобретение практического опыта и навыков (Research Skills)

использования современного лабораторного оборудования. Research Skills включают также практические навыки: риторики, биоэтики, чтения специальной научной литературы, написания научных статей и работ, изготовления наглядных пособий, публикации отчетов по НИР, создания и проведения презентаций, научных коммуникаций, менеджмента в науке и исследованиях, самоменеджмента, взятия интервью, развития карьеры.

20