Warum spricht man in Tuvalu Englisch?
durch die britische Kolonisierung
Tuvalu
Tuvalu

=== Sprachen ===
Amtssprachen sind Tuvaluisch und Englisch, die beide auf allen Inseln vertreten sind. Zusätzlich werden auch Samoanisch sowie auf dem Nui-Atoll Kiribati (Gilbertesisch) gesprochen.
Das Tuvaluische ist eine polynesische Sprache, die in verschiedenen Inseldialekten gesprochen wird und keine einheitliche Schriftform kennt. Das Englische wurde durch die britische Kolonisierung auf die Inseln gebracht.
Tuvalu bedeutet auf Tuvaluisch „acht zusammengehörend“, in Bezug auf die acht Inseln, aus denen Tuvalu geographisch besteht. Nach dem Beitritt von Niulakita zum Inselverband in den 1950ern war der Name nicht mehr stimmig. Daher gab es des Öfteren die Diskussion, das Land umzubenennen in „Tuiva“, wobei „iva“ für neun steht.
Tuvalu Gitarrenverstärker Hoare-Kalkül
Tuvalu

== Kultur und Medien ==
Die Musik von Tuvalu ist seit der zweiten Hälfte des 19. Jahrhunderts durch Musikstile von Samoa und durch westliche Missionare geprägt, die europäische Volkslieder und mehrstimmige Kirchenchoräle einführten. Der heute beliebteste Tanzstil heißt ''fatele''.
Das Tuvalu Media Department (TMD) (von 2006 bis 2008 ''Tuvalu Media Corporation'' (TMC)) sendet auf einer AM-Frequenz den Hörfunksender Radio Tuvalu aus. Der Sender verfügt seit 2011 auch über ein UKW-Studio und ist auf allen neun Atollen und Inseln zu hören. Es wird täglich von 6:30 Uhr bis 8 Uhr, 11:25 Uhr bis 13 Uhr und 18:25 Uhr bis 22 Uhr gesendet; in den übrigen Zeiten wird das britische BBC eingespeist. Sendungen werden auf Englisch oder Tuvaluisch ausgestrahlt.
Die einzige Zeitung des Landes „Sikuleo o Tuvalu – Tuvalu Ech“o (ehemals „Tuvalu Echoes“) wurde 2012 eingestellt.
Derzeit (Stand 2013) ist der Empfang von Fernsehen nur noch eingeschränkt über sky Pacific möglich. Das TMD ist am Aufbau eines tuvaluischen Fernsehsenders interessiert.
TMD ist Mitglied der Pacific Islands News Association.
Die Top-Level-Domain von Tuvalu, .tv, wird häufig für Internetpräsenzen von Fernsehsendern verwendet (siehe auch Zweckentfremdungen von Top-Level-Domains). Gitarrenverstärker

=== Topteil & Box ===
Sind Verstärker und Box getrennt, so spricht man von Topteil (englisch ''Head'') und Box (englisch ''Cabinet''). Sind die genannten Teile aufeinandergestapelt, so spricht man von einem Turm (englisch ''Stack''). Hier unterteilt man wiederum in einen ''Half-Stack'' (Verstärker mit einer Box) und einen ''Full-Stack'' (Verstärker steht auf 2 Boxen). Bei den Boxen der sogenannten Stacks handelt es sich üblicherweise um Einheiten mit jeweils 4 mal 12″-Gitarrenlautsprecher. Es gibt allerdings auch 1×12″-, 2×12″- oder 4×10″-Boxen. Hoare-Kalkül

== Hoare-Tripel ==
Das zentrale Element des Hoare-Kalküls ist das Hoare-Tripel, das beschreibt, wie ein Programmteil den Zustand einer Berechnung verändert:
Dabei sind  und  Zusicherungen (englisch ''assertions''),  ist ein Programmsegment.  ist die Vorbedingung (englisch ''precondition'') und  die Nachbedingung (englisch ''postcondition''). Wenn die Vorbedingung zutrifft, gilt nach der Ausführung des Programmsegments die Nachbedingung. Zusicherungen sind Formeln der Prädikatenlogik.
Ein Tripel kann auf folgende Weise verstanden werden: Falls  für den Programmzustand vor der Ausführung von  gilt, dann gilt  danach. Falls  nicht terminiert, dann gibt es kein danach, also kann in diesem Fall  jede beliebige Aussage sein. Tatsächlich kann man für  die Aussage ''falsch'' wählen, um auszudrücken, dass  nicht terminiert. Man spricht hier von partieller Korrektheit. Falls  immer terminiert und danach  wahr ist, spricht man von totaler Korrektheit. Die Terminierung muss unabhängig bewiesen werden.
Falls keine Vorbedingung existiert, schreibt man: