Constructionvignette|upright|Les grues sont essentielles pour des travaux importants tels que les gratte-ciel. La construction est le fait d'assembler différents éléments d'un édifice en utilisant des matériaux et des techniques appropriées. Le secteur économique de la construction, appelé « bâtiment et travaux publics » (BTP) dans une partie de l'Europe francophone, regroupe toutes les activités de conception et de construction des bâtiments publics et privés, industriels ou non, et des infrastructures telles que les routes ou les canalisations.
Conception de logicielLa conception de logiciel met en œuvre un ensemble d'activités qui à partir d'une demande d'informatisation d'un processus (demande qui peut aller de la simple question orale jusqu'au cahier des charges complet) permettent la conception, l'écriture et la mise au point d'un logiciel (et donc de programmes informatiques) jusqu'à sa livraison au demandeur. En règle générale, la fabrication d'un logiciel va suivre trois grandes phases : Phase d'analyse (fonctionnelle) ou de conceptionDurant cette phase, on effectue simultanément l'étude des données et l'étude des traitements à effectuer.
CohérentismeLe cohérentisme est une théorie épistémologique qui postule que la justification et la véracité des croyances reposent sur leur cohérence interne au sein d'un système de connaissances. Selon le cohérentisme, la validité d'une croyance dépend de son harmonie avec d'autres croyances déjà acceptées. Une croyance est justifiée si elle s'intègre sans contradiction au sein du réseau global de croyances d'un individu. L'idée sous-jacente est que les croyances individuelles ne sont pas évaluées de manière isolée, mais plutôt en fonction de leur capacité à créer un ensemble de pensées logiquement connectées.
Théorie vérificationniste de la significationLa théorie vérificationniste de la signification, ou Vérificationnisme (en allemand Verifikationismus) est une conception épistémologique affirmant qu'un énoncé n'a de signification cognitive, c'est-à-dire n'est susceptible d'être vrai ou faux, que s'il est vérifiable par l'expérience : c'est pourquoi on parle aussi d'empirisme logique. Les autres énoncés sont soit analytiques, et « vides de sens » (sinnlos), soit synthétiques mais non vérifiables par l'expérience, et donc « absurdes » (unsinnig).
