Содержание
17 отношения: Apress, C Sharp, C++, F Sharp, Microsoft Research, Кембридж, Кембриджский университет, Австралия, Автоматическое доказательство, Страуструп, Бьёрн, Формальная спецификация, Формальная верификация, Хейлсберг, Андерс, Информатика, Великобритания, Лондон, 1998 год.
Apress
Apress, Inc. — одно из крупнейших издательств, занимающееся выпуском книг по информационным технологиям.
Посмотреть Сайм, Дон и Apress
C Sharp
C# (произносится си шарп) — объектно-ориентированный язык программирования.
Посмотреть Сайм, Дон и C Sharp
C++
++ (читается си-плюс-плюс) — компилируемый, статически типизированный язык программирования общего назначения.
Посмотреть Сайм, Дон и C++
F Sharp
F# (произносится эф-шарп) — это мультипарадигмальный язык программирования из семейства языков.NET Framework, поддерживающий функциональное программирование в дополнение к императивному (процедурному) и объектно-ориентированному программированию.
Посмотреть Сайм, Дон и F Sharp
Microsoft Research
Microsoft Research (MSR) — подразделение корпорации Microsoft, созданное в 1991 году для исследования различных вопросов и тем в области информатики.
Посмотреть Сайм, Дон и Microsoft Research
Кембридж
Ке́мбридж (Cambridge,, дословно «мост через реку Кам») — город в Великобритании, находящийся на востоке Англии, административный центр графства, выделенный в отдельный район со статусом «сити» в южной части неметропольного графства Кембриджшир, один из старейших университетских центров Европы.
Посмотреть Сайм, Дон и Кембридж
Кембриджский университет
Ке́мбриджский университет (University of Cambridge, Universitas Cantabrigiensis) — университет Великобритании, один из старейших (второй после Оксфордского) и крупнейших в стране.
Посмотреть Сайм, Дон и Кембриджский университет
Австралия
Австра́лия (Australia, МФА:, от austrālis — «южный»), официальная форма — Австрали́йский Сою́з (Commonwealth of Australia, МФА) — государство в Южном полушарии, занимающее одноимённый материк, остров Тасмания и несколько других островов Индийского и Тихого океанов; является шестым государством по площади в мире.
Посмотреть Сайм, Дон и Австралия
Автоматическое доказательство
Автоматическое доказательство (Automated Theorem Proving, ATP, а также Automated deduction) — доказательство, реализованное программно.
Посмотреть Сайм, Дон и Автоматическое доказательство
Страуструп, Бьёрн
Бьёрн Страуструп (Bjarne Stroustrup, род. (Орхус, Дания) — программист, автор языка программирования C++.
Посмотреть Сайм, Дон и Страуструп, Бьёрн
Формальная спецификация
В информатике формальная спецификация — это математическое описание программной или аппаратной системы, которая может быть реализована в соответствии с этим описанием.
Посмотреть Сайм, Дон и Формальная спецификация
Формальная верификация
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию.
Посмотреть Сайм, Дон и Формальная верификация
Хейлсберг, Андерс
Андерс Хейлсберг (Anders Hejlsberg; род. 2 декабря 1960, Копенгаген) — датский инженер-программист.
Посмотреть Сайм, Дон и Хейлсберг, Андерс
Информатика
Информа́тика (Informatique; Computer science) — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Посмотреть Сайм, Дон и Информатика
Великобритания
Великобрита́ния (русское название от Great Britain) или Соединённое Короле́вство (United Kingdom, сокращённо: UK), полная официальная форма — Соединённое Королевство Великобрита́нии и Се́верной Ирла́ндии (The United Kingdom of Great Britain and Northern Ireland), — островное государство на северо-западе от континентальной Европы.
Посмотреть Сайм, Дон и Великобритания
Лондон
Ло́ндон (London) — столица и крупнейший город Соединённого Королевства Великобритании и Северной Ирландии.
Посмотреть Сайм, Дон и Лондон
1998 год
Объявлен ООН Международным годом океана (резолюция ООН 49/131).
Посмотреть Сайм, Дон и 1998 год
Также известен как Дон Сайм.