Una definición de ordenador?, voy a intentar la mia. Es un aparato capaz de ser programado de forma tal que al recibir datos devuelve información.
Tipos de ordenador?, hay varias formas de categorizar los ordenadores, por su funcionamiento interno los hay digitales y analogicos, los hay electronicos o electromecanicos.
También puedes dividirlas en ordenadores con arquitectura VonNewman o Aiken.
Dentro de los digitales podes encontrar supercomputadoras (también llamadas computadoras a secas) tal como las Cray, Onix o Sperry. Minicomputadoras como los sistemas Alpha, VMS, AS400. Microcomputadoras como PC, Mac, Amiga 2000 y Homecomputers como las legendarias Commdore y MSX.
Diferencias entre PCs y PSs, en realidad las PS son PC con arquitectura de hardware diferente pero son compatibles a nivel de software.
PC es un estandar para microcomputadoras, también lo es Mac.