НАУЧНЫЕ УЧРЕЖДЕНИЯ
НАУЧНЫЕ УЧРЕЖДЕНИЯ
ОНЦ СО РАН участвует в координации и интеграции исследований научных организаций, расположенных на территории региона
Первые подразделения
математического и химического профиля в Омске были созданы в 1978 году
Национальные проекты России
Национальные проекты России
Призваны внести существенные изменения в экономику, социальную сферу, инфраструктуру, качество жизни людей
Представляют собой масштабные государственные программы, направленные на развитие ключевых сфер жизни общества
ИНСТИТУТ РАДИОФИЗИКИ И ФИЗИЧЕСКОЙ ЭЛЕКТРОНИКИ
ИНСТИТУТ РАДИОФИЗИКИ И ФИЗИЧЕСКОЙ ЭЛЕКТРОНИКИ
Фундаментальные научные исследования в интересах промышленности
От исследований и разработок до технологических решений
ЦЕНТР КОЛЛЕКТИВНОГО ПОЛЬЗОВАНИЯ
ЦЕНТР КОЛЛЕКТИВНОГО ПОЛЬЗОВАНИЯ
Уникальное современное высокоточное оборудование для научных исследований
Уникальное современное высокоточное оборудование для научных исследований
БИБЛИОТЕКА
БИБЛИОТЕКА
Фонд формируется
с уче­том научных направлений, развивающихся в академических научных учреждениях Омска.
Доступ к важнейшим
научно-образовательным электронным отечественным и зарубежным электронным базам

Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость

С 20 по 24 сентября 2013 г. в Омском научном центре СО РАН прошла Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость.
  • 1.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    Выставка, подготовленная сотрудниками научной билиотеки ОНЦ СО РАН
  • 2.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    Топчий В.А., д.-ф.м.н., профессор, директор Омского филиала Института математики им. С.Л. Соболева СО РАН
  • 3.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    Зыкин С.В., д.т.н., профессор, зав. лабораторией ОФ ИМ СО РАН
  • 4.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    Гончаров С.С., чл.-корр. РАН, директор Института математики им. С.Л. Соболева СО РАН, г. Новосибирск. Лекция "Проблемы обработки информации больших баз данных и интернета"
  • 5.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    Гончаров С.С., чл.-корр. РАН, директор Института математики им. С.Л. Соболева СО РАН, г. Новосибирск. Лекция "Проблемы обработки информации больших баз данных и интернета"
  • 6.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    Гончаров С.С., чл.-корр. РАН, директор Института математики им. С.Л. Соболева СО РАН, г. Новосибирск. Лекция "Проблемы обработки информации больших баз данных и интернета"
  • 7.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    Перцев Н.В., д.ф.-м.н., профессор, ведущий научный сотрудник Омского филиала ИМ СО РАН. Лекция "Стохастические модели и вычислительные алгоритмы в исследованиях неоднородных популяций"
  • 8.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    Перцев Н.В., д.ф.-м.н., профессор, ведущий научный сотрудник Омского филиала ИМ СО РАН. Лекция "Стохастические модели и вычислительные алгоритмы в исследованиях неоднородных популяций"
  • 9.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    Зыбарев Ю.М., к.т.н., зам. директора Института вычислительной математики и математической геофизики СО РАН, г. Новосибирск. Лекция "О современных тенденциях в IT-индустрии"
  • 10.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    Тарасенко А.Г., рулевой софтовой компании "7bits". Лекция "Стажировка в ИТ-компании как способ адаптации выпускника вуза к работе программиста"
  • 11.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    Тарасенко А.Г., рулевой софтовой компании "7bits". Лекция "Стажировка в ИТ-компании как способ адаптации выпускника вуза к работе программиста"
  • 12.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    В Президиуме Круглого стола "О подготовке специалистов для ИТ-компаний"
  • 13.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    Участники конференции в Центральной научной библиотеке ОНЦ СО РАН
  • 14.jpg
    Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
    Участники конференции в Центральной научной библиотеке ОНЦ СО РАН
Loading...